Functional (mathematics)
In mathematics, a functional is a certain type of function. The exact definition of the term varies depending on the subfield (and sometimes even the author). * In linear algebra, it is synonymous with a linear form, which is a linear mapping from a vector space V into its field of scalars (that is, it is an element of the dual space V^*) "Let ''E'' be a free module over a commutative ring ''A''. We view ''A'' as a free module of rank 1 over itself. By the dual module ''E''∨ of ''E'' we shall mean the module Hom(''E'', ''A''). Its elements will be called functionals. Thus a functional on ''E'' is an ''A''-linear map ''f'' : ''E'' → ''A''." * In functional analysis and related fields, it refers to a mapping from a space X into the field of real or complex numbers. "A numerical function ''f''(''x'') defined on a normed linear space ''R'' will be called a ''functional''. A functional ''f''(''x'') is said to be ''linear'' if ''f''(α''x'' + β''y'') = α''f''(''x'') + β ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Arclength
Arc length is the distance between two points along a section of a curve. Development of a formulation of arc length suitable for applications to mathematics and the sciences is a problem in vector calculus and in differential geometry. In the most basic formulation of arc length for a vector valued curve (thought of as the trajectory of a particle), the arc length is obtained by integrating speed, the magnitude of the velocity vector over the curve with respect to time. Thus the length of a continuously differentiable curve (x(t),y(t)), for a\le t\le b, in the Euclidean plane is given as the integral L = \int_a^b \sqrt\,dt, (because \sqrt is the magnitude of the velocity vector (x'(t),y'(t)), i.e., the particle's speed). The defining integral of arc length does not always have a closed-form expression, and numerical integration may be used instead to obtain numerical values of arc length. Determining the length of an irregular arc segment by approximating the arc segment as ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lagrangian Mechanics
In physics, Lagrangian mechanics is a formulation of classical mechanics founded on the d'Alembert principle of virtual work. It was introduced by the Italian-French mathematician and astronomer Joseph-Louis Lagrange in his presentation to the Turin Academy of Science in 1760 culminating in his 1788 grand opus, ''Mécanique analytique''. Lagrangian mechanics describes a mechanical system as a pair consisting of a configuration space (physics), configuration space ''M'' and a smooth function L within that space called a ''Lagrangian''. For many systems, , where ''T'' and ''V'' are the Kinetic energy, kinetic and Potential energy, potential energy of the system, respectively. The stationary action principle requires that the Action (physics)#Action (functional), action functional of the system derived from ''L'' must remain at a stationary point (specifically, a Maximum and minimum, maximum, Maximum and minimum, minimum, or Saddle point, saddle point) throughout the time evoluti ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Functional Derivative
In the calculus of variations, a field of mathematical analysis, the functional derivative (or variational derivative) relates a change in a functional (a functional in this sense is a function that acts on functions) to a change in a function on which the functional depends. In the calculus of variations, functionals are usually expressed in terms of an integral of functions, their arguments, and their derivatives. In an integrand of a functional, if a function is varied by adding to it another function that is arbitrarily small, and the resulting integrand is expanded in powers of , the coefficient of in the first order term is called the functional derivative. For example, consider the functional J = \int_a^b L( \, x, f(x), f' \, ) \, dx \, , where . If is varied by adding to it a function , and the resulting integrand is expanded in powers of , then the change in the value of to first order in can be expressed as follows:According to , this notation is customary in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cauchy's Functional Equation
Cauchy's functional equation is the functional equation: f(x+y) = f(x) + f(y).\ A function f that solves this equation is called an additive function. Over the rational numbers, it can be shown using elementary algebra that there is a single family of solutions, namely f \colon x\mapsto cx for any rational constant c. Over the real numbers, the family of linear maps f : x \mapsto cx, now with c an arbitrary real constant, is likewise a family of solutions; however there can exist other solutions not of this form that are extremely complicated. However, any of a number of regularity conditions, some of them quite weak, will preclude the existence of these pathological solutions. For example, an additive function f \colon \R\to\R is linear if: * f is continuous ( Cauchy, 1821). In fact, it suffices for f to be continuous at one point ( Darboux, 1875). * f(x)\ge0 or f(x)\le0 for all x\ge0. * f is monotonic on any interval. * f is bounded above or below on any interval. * f is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Additive Map
In algebra, an additive map, Z-linear map or additive function is a function f that preserves the addition operation: f(x + y) = f(x) + f(y) for every pair of elements x and y in the domain of f. For example, any linear map is additive. When the domain is the real numbers, this is Cauchy's functional equation. For a specific case of this definition, see additive polynomial. More formally, an additive map is a \Z- module homomorphism. Since an abelian group is a \Z- module, it may be defined as a group homomorphism between abelian groups. A map V \times W \to X that is additive in each of two arguments separately is called a bi-additive map or a \Z-bilinear map. Examples Typical examples include maps between rings, vector spaces, or modules that preserve the additive group. An additive map does not necessarily preserve any other structure of the object; for example, the product operation of a ring. If f and g are additive maps, then the map f + g (defined pointwi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hilbert Space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The inner product allows lengths and angles to be defined. Furthermore, Complete metric space, completeness means that there are enough limit (mathematics), limits in the space to allow the techniques of calculus to be used. A Hilbert space is a special case of a Banach space. Hilbert spaces were studied beginning in the first decade of the 20th century by David Hilbert, Erhard Schmidt, and Frigyes Riesz. They are indispensable tools in the theories of partial differential equations, mathematical formulation of quantum mechanics, quantum mechanics, Fourier analysis (which includes applications to signal processing and heat transfer), and ergodic theory (which forms the mathematical underpinning of thermodynamics). John von Neumann coined the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Orthogonal Complement
In the mathematical fields of linear algebra and functional analysis, the orthogonal complement of a subspace W of a vector space V equipped with a bilinear form B is the set W^\perp of all vectors in V that are orthogonal to every vector in W. Informally, it is called the perp, short for perpendicular complement. It is a subspace of V. Example Let V = (\R^5, \langle \cdot, \cdot \rangle) be the vector space equipped with the usual dot product \langle \cdot, \cdot \rangle (thus making it an inner product space), and let W = \, with \mathbf = \begin 1 & 0\\ 0 & 1\\ 2 & 6\\ 3 & 9\\ 5 & 3\\ \end. then its orthogonal complement W^\perp = \ can also be defined as W^\perp = \, being \mathbf = \begin -2 & -3 & -5 \\ -6 & -9 & -3 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end. The fact that every column vector in \mathbf is orthogonal to every column vector in \mathbf can be checked by direct computation. The fact that the spans of these vectors are orthogonal then follows by bilinearity ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kernel (linear Algebra)
In mathematics, the kernel of a linear map, also known as the null space or nullspace, is the part of the domain which is mapped to the zero vector of the co-domain; the kernel is always a linear subspace of the domain. That is, given a linear map between two vector spaces and , the kernel of is the vector space of all elements of such that , where denotes the zero vector in , or more symbolically: \ker(L) = \left\ = L^(\mathbf). Properties The kernel of is a linear subspace of the domain .Linear algebra, as discussed in this article, is a very well established mathematical discipline for which there are many sources. Almost all of the material in this article can be found in , , and Strang's lectures. In the linear map L : V \to W, two elements of have the same image in if and only if their difference lies in the kernel of , that is, L\left(\mathbf_1\right) = L\left(\mathbf_2\right) \quad \text \quad L\left(\mathbf_1-\mathbf_2\right) = \mathbf. From this, it follows ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Inner Product Space
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in \langle a, b \rangle. Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality (zero inner product) of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or ''scalar product'' of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces. The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898. An inner product naturally induces an associated norm, (denoted , x, and , y, in the picture) ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Arclength
Arc length is the distance between two points along a section of a curve. Development of a formulation of arc length suitable for applications to mathematics and the sciences is a problem in vector calculus and in differential geometry. In the most basic formulation of arc length for a vector valued curve (thought of as the trajectory of a particle), the arc length is obtained by integrating speed, the magnitude of the velocity vector over the curve with respect to time. Thus the length of a continuously differentiable curve (x(t),y(t)), for a\le t\le b, in the Euclidean plane is given as the integral L = \int_a^b \sqrt\,dt, (because \sqrt is the magnitude of the velocity vector (x'(t),y'(t)), i.e., the particle's speed). The defining integral of arc length does not always have a closed-form expression, and numerical integration may be used instead to obtain numerical values of arc length. Determining the length of an irregular arc segment by approximating the arc segment as ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lp Norm
In mathematics, the spaces are function spaces defined using a natural generalization of the -norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue , although according to the Bourbaki group they were first introduced by Frigyes Riesz . spaces form an important class of Banach spaces in functional analysis, and of topological vector spaces. Because of their key role in the mathematical analysis of measure and probability spaces, Lebesgue spaces are used also in the theoretical discussion of problems in physics, statistics, economics, finance, engineering, and other disciplines. Preliminaries The -norm in finite dimensions The Euclidean length of a vector x = (x_1, x_2, \dots, x_n) in the n-dimensional real vector space \Reals^n is given by the Euclidean norm: \, x\, _2 = \left(^2 + ^2 + \dotsb + ^2\right)^. The Euclidean distance between two points x and y is the length \, x - y\, _2 of the straight line between t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Integral
In mathematics, an integral is the continuous analog of a Summation, sum, which is used to calculate area, areas, volume, volumes, and their generalizations. Integration, the process of computing an integral, is one of the two fundamental operations of calculus,Integral calculus is a very well established mathematical discipline for which there are many sources. See and , for example. the other being Derivative, differentiation. Integration was initially used to solve problems in mathematics and physics, such as finding the area under a curve, or determining displacement from velocity. Usage of integration expanded to a wide variety of scientific fields thereafter. A definite integral computes the signed area of the region in the plane that is bounded by the Graph of a function, graph of a given Function (mathematics), function between two points in the real line. Conventionally, areas above the horizontal Coordinate axis, axis of the plane are positive while areas below are n ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |