|
Leray Projection
The Leray projection, named after Jean Leray, is a linear operator used in the theory of partial differential equations, specifically in the fields of fluid dynamics. Informally, it can be seen as the projection on the divergence-free vector fields. It is used in particular to eliminate both the pressure term and the divergence-free term in the Stokes equations and Navier–Stokes equations. Definition By pseudo-differential approach Source: For vector fields \mathbf u (in any dimension n \geq 2), the Leray projection \mathbb P is defined by : \mathbb P(\mathbf u) = \mathbf u - \nabla \Delta^ (\nabla \cdot \mathbf u). This definition must be understood in the sense of pseudo-differential operators: its matrix valued Fourier multiplier m(\xi) is given by : m(\xi)_ = \delta_-\frac,\quad 1 \leq k,j \leq n. Here, \delta is the Kronecker delta. Formally, it means that for all \mathbf u \in \mathcal S(\R^n)^n, one has : \mathbb P(\mathbf u)_k(x) = \frac \int_ \left( \delta_-\frac\right) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Jean Leray
Jean Leray (; 7 November 1906 – 10 November 1998) was a French mathematician, who worked on both partial differential equations and algebraic topology. Life and career He was born in Chantenay-sur-Loire (today part of Nantes). He studied at École Normale Supérieure from 1926 to 1929. He received his Ph.D. in 1933. In 1934 Leray published an important paper that founded the study of weak solutions of the Navier–Stokes equations. In the same year, he and Juliusz Schauder discovered a topological invariant, now called the Leray–Schauder degree, which they applied to prove the existence of solutions for partial differential equations lacking uniqueness. From 1938 to 1939 he was professor at the University of Nancy. He did not join the Bourbaki group, although he was close with its founders. His main work in topology was carried out while he was a prisoner of war in a camp in Edelbach, Austria from 1940 to 1945. He concealed his expertise on differential equations, fearing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Helmholtz Decomposition
In physics and mathematics, the Helmholtz decomposition theorem or the fundamental theorem of vector calculus states that certain differentiable vector fields can be resolved into the sum of an irrotational ( curl-free) vector field and a solenoidal (divergence-free) vector field. In physics, often only the decomposition of sufficiently smooth, rapidly decaying vector fields in three dimensions is discussed. It is named after Hermann von Helmholtz. Definition For a vector field \mathbf \in C^1(V, \mathbb^n) defined on a domain V \subseteq \mathbb^n, a Helmholtz decomposition is a pair of vector fields \mathbf \in C^1(V, \mathbb^n) and \mathbf \in C^1(V, \mathbb^n) such that: \begin \mathbf(\mathbf) &= \mathbf(\mathbf) + \mathbf(\mathbf), \\ \mathbf(\mathbf) &= - \nabla \Phi(\mathbf), \\ \nabla \cdot \mathbf(\mathbf) &= 0. \end Here, \Phi \in C^2(V, \mathbb) is a scalar potential, \nabla \Phi is its gradient, and \nabla \cdot \mathbf is the divergence of the vector fiel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Square-integrable Function
In mathematics, a square-integrable function, also called a quadratically integrable function or L^2 function or square-summable function, is a real- or complex-valued measurable function for which the integral of the square of the absolute value is finite. Thus, square-integrability on the real line (-\infty, +\infty) is defined as follows. One may also speak of quadratic integrability over bounded intervals such as ,b/math> for a \leq b. An equivalent definition is to say that the square of the function itself (rather than of its absolute value) is Lebesgue integrable. For this to be true, the integrals of the positive and negative portions of the real part must both be finite, as well as those for the imaginary part. The vector space of (equivalence classes of) square integrable functions (with respect to Lebesgue measure) forms the L^p space with p = 2. Among the L^p spaces, the class of square integrable functions is unique in being compatible with an inner product, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Phase Space
The phase space of a physical system is the set of all possible physical states of the system when described by a given parameterization. Each possible state corresponds uniquely to a point in the phase space. For mechanical systems, the phase space usually consists of all possible values of the position and momentum parameters. It is the direct product of direct space and reciprocal space. The concept of phase space was developed in the late 19th century by Ludwig Boltzmann, Henri Poincaré, and Josiah Willard Gibbs. Principles In a phase space, every degree of freedom or parameter of the system is represented as an axis of a multidimensional space; a one-dimensional system is called a phase line, while a two-dimensional system is called a phase plane. For every possible state of the system or allowed combination of values of the system's parameters, a point is included in the multidimensional space. The system's evolving state over time traces a path (a phase-spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Abstract Differential Equation
In mathematics, an abstract differential equation is a differential equation in which the unknown Function (mathematics), function and its derivatives take values in some generic abstract space (a Hilbert space, a Banach space, etc.). Equations of this kind arise e.g. in the study of partial differential equations: if to one of the variables is given a privileged position (e.g. time, in Heat equation, heat or Wave equation, wave equations) and all the others are put together, an ordinary "differential" equation with respect to the variable which was put in evidence is obtained. Adding boundary conditions can often be translated in terms of considering solutions in some convenient function spaces. The classical abstract differential equation which is most frequently encountered is the equation :\frac=Au+f where the unknown function u=u(t) belongs to some function space X, 0\le t\le T \le \infin and A:X\to X is an Operator (mathematics), operator (usually a linear operator) acting on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Partial Differential Equation
In mathematics, a partial differential equation (PDE) is an equation which involves a multivariable function and one or more of its partial derivatives. The function is often thought of as an "unknown" that solves the equation, similar to how is thought of as an unknown number solving, e.g., an algebraic equation like . However, it is usually impossible to write down explicit formulae for solutions of partial differential equations. There is correspondingly a vast amount of modern mathematical and scientific research on methods to numerically approximate solutions of certain partial differential equations using computers. Partial differential equations also occupy a large sector of pure mathematical research, in which the usual questions are, broadly speaking, on the identification of general qualitative features of solutions of various partial differential equations, such as existence, uniqueness, regularity and stability. Among the many open questions are the existence ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Scalar Potential
In mathematical physics, scalar potential describes the situation where the difference in the potential energies of an object in two different positions depends only on the positions, not upon the path taken by the object in traveling from one position to the other. It is a scalar field in three-space: a directionless value ( scalar) that depends only on its location. A familiar example is potential energy due to gravity. A ''scalar potential'' is a fundamental concept in vector analysis and physics (the adjective ''scalar'' is frequently omitted if there is no danger of confusion with '' vector potential''). The scalar potential is an example of a scalar field. Given a vector field , the scalar potential is defined such that: \mathbf = -\nabla P = - \left( \frac, \frac, \frac \right), where is the gradient of and the second part of the equation is minus the gradient for a function of the Cartesian coordinates . In some cases, mathematicians may use a positive sign ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Projection (linear Algebra)
In linear algebra and functional analysis, a projection is a linear transformation P from a vector space to itself (an endomorphism) such that P\circ P=P. That is, whenever P is applied twice to any vector, it gives the same result as if it were applied once (i.e. P is idempotent). It leaves its image unchanged. This definition of "projection" formalizes and generalizes the idea of graphical projection. One can also consider the effect of a projection on a geometrical object by examining the effect of the projection on points in the object. Definitions A projection on a vector space V is a linear operator P\colon V \to V such that P^2 = P. When V has an inner product and is complete, i.e. when V is a Hilbert space, the concept of orthogonality can be used. A projection P on a Hilbert space V is called an orthogonal projection if it satisfies \langle P \mathbf x, \mathbf y \rangle = \langle \mathbf x, P \mathbf y \rangle for all \mathbf x, \mathbf y \in V. A projecti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Einstein Notation
In mathematics, especially the usage of linear algebra in mathematical physics and differential geometry, Einstein notation (also known as the Einstein summation convention or Einstein summation notation) is a notational convention that implies summation over a set of indexed terms in a formula, thus achieving brevity. As part of mathematics it is a notational subset of Ricci calculus; however, it is often used in physics applications that do not distinguish between tangent and cotangent spaces. It was introduced to physics by Albert Einstein in 1916. Introduction Statement of convention According to this convention, when an index variable appears twice in a single term and is not otherwise defined (see Free and bound variables), it implies summation of that term over all the values of the index. So where the indices can range over the set , y = \sum_^3 x^i e_i = x^1 e_1 + x^2 e_2 + x^3 e_3 is simplified by the convention to: y = x^i e_i The upper indices are not ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Linear Operator
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism. If a linear map is a bijection then it is called a . In the case where V = W, a linear map is called a linear endomorphism. Sometimes the term refers to this case, but the term "linear operator" can have different meanings for different conventions: for example, it can be used to emphasize that V and W are real vector spaces (not necessarily with V = W), or it can be used to emphasize that V is a function space, which is a common convention in functional analysis. Sometimes the term ''linear function'' has the same meaning as ''linear map' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Schwartz Space
In mathematics, Schwartz space \mathcal is the function space of all functions whose derivatives are rapidly decreasing. This space has the important property that the Fourier transform is an automorphism on this space. This property enables one, by duality, to define the Fourier transform for elements in the dual space \mathcal^* of \mathcal, that is, for tempered distributions. A function in the Schwartz space is sometimes called a Schwartz function. Schwartz space is named after French mathematician Laurent Schwartz. Definition Let \mathbb be the set of non-negative integers, and for any n \in \mathbb, let \mathbb^n := \underbrace_ be the ''n''-fold Cartesian product. The ''Schwartz space'' or space of rapidly decreasing functions on \mathbb^n is the function space\mathcal \left(\mathbb^n, \mathbb\right) := \left \,where C^(\mathbb^n, \mathbb) is the function space of smooth functions from \mathbb^n into \mathbb, and\, f\, _:= \sup_ \left, \boldsymbol^\boldsymbol (\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Kronecker Delta
In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise: \delta_ = \begin 0 &\text i \neq j, \\ 1 &\text i=j. \end or with use of Iverson brackets: \delta_ = =j, For example, \delta_ = 0 because 1 \ne 2, whereas \delta_ = 1 because 3 = 3. The Kronecker delta appears naturally in many areas of mathematics, physics, engineering and computer science, as a means of compactly expressing its definition above. Generalized versions of the Kronecker delta have found applications in differential geometry and modern tensor calculus, particularly in formulations of gauge theory and topological field models. In linear algebra, the n\times n identity matrix \mathbf has entries equal to the Kronecker delta: I_ = \delta_ where i and j take the values 1,2,\cdots,n, and the inner product of vectors can be written as \mathbf\cdot\mathbf = \sum_^n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
