Hessian Equation
   HOME
*





Hessian Equation
In mathematics, ''k''-Hessian equations (or Hessian equations for short) are partial differential equations (PDEs) based on the Hessian matrix. More specifically, a Hessian equation is the ''k''-trace, or the ''k''th elementary symmetric polynomial of eigenvalues of the Hessian matrix. When ''k'' ≥ 2, the ''k''-Hessian equation is a fully nonlinear partial differential equation. It can be written as _k f, where 1\leqslant k \leqslant n, _k \sigma_k(\lambda(^2u)), and \lambda(^2u)=(\lambda_1,\cdots,\lambda_n), are the eigenvalues of the ''Hessian matrix'' ^2u= partial_i \partial_ju and \sigma_k(\lambda)=\sum_\lambda_\cdots\lambda_, is a k th elementary symmetric polynomial. Much like differential equations often study the actions of differential operators (e.g. elliptic operators and elliptic equations), Hessian equations can be understood as simply eigenvalue equations acted upon by the Hessian differential operator. Special cases include the Monge–Ampère equation. and Po ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Partial Differential Equation
In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a Multivariable calculus, multivariable function. The function is often thought of as an "unknown" to be solved for, similarly to how is thought of as an unknown number to be solved for in an algebraic equation like . However, it is usually impossible to write down explicit formulas for solutions of partial differential equations. There is, correspondingly, a vast amount of modern mathematical and scientific research on methods to Numerical methods for partial differential equations, numerically approximate solutions of certain partial differential equations using computers. Partial differential equations also occupy a large sector of pure mathematics, 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 a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hessian Matrix
In mathematics, the Hessian matrix or Hessian is a square matrix of second-order partial derivatives of a scalar-valued function, or scalar field. It describes the local curvature of a function of many variables. The Hessian matrix was developed in the 19th century by the German mathematician Ludwig Otto Hesse and later named after him. Hesse originally used the term "functional determinants". Definitions and properties Suppose f : \R^n \to \R is a function taking as input a vector \mathbf \in \R^n and outputting a scalar f(\mathbf) \in \R. If all second-order partial derivatives of f exist, then the Hessian matrix \mathbf of f is a square n \times n matrix, usually defined and arranged as follows: \mathbf H_f= \begin \dfrac & \dfrac & \cdots & \dfrac \\ .2ex \dfrac & \dfrac & \cdots & \dfrac \\ .2ex \vdots & \vdots & \ddots & \vdots \\ .2ex \dfrac & \dfrac & \cdots & \dfrac \end, or, by stating an equation for the coefficients using indices i and j, (\mathbf H_f)_ = \fra ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Elementary Symmetric Polynomial
In mathematics, specifically in commutative algebra, the elementary symmetric polynomials are one type of basic building block for symmetric polynomials, in the sense that any symmetric polynomial can be expressed as a polynomial in elementary symmetric polynomials. That is, any symmetric polynomial is given by an expression involving only additions and multiplication of constants and elementary symmetric polynomials. There is one elementary symmetric polynomial of degree in variables for each positive integer , and it is formed by adding together all distinct products of distinct variables. Definition The elementary symmetric polynomials in variables , written for , are defined by :\begin e_1 (X_1, X_2, \dots,X_n) &= \sum_ X_j,\\ e_2 (X_1, X_2, \dots,X_n) &= \sum_ X_j X_k,\\ e_3 (X_1, X_2, \dots,X_n) &= \sum_ X_j X_k X_l,\\ \end and so forth, ending with : e_n (X_1, X_2, \dots,X_n) = X_1 X_2 \cdots X_n. In general, for we define : e_k (X_1 , \ldots , X_n )=\sum_ X ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Differential Operator
In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function (in the style of a higher-order function in computer science). This article considers mainly linear differential operators, which are the most common type. However, non-linear differential operators also exist, such as the Schwarzian derivative. Definition An order-m linear differential operator is a map A from a function space \mathcal_1 to another function space \mathcal_2 that can be written as: A = \sum_a_\alpha(x) D^\alpha\ , where \alpha = (\alpha_1,\alpha_2,\cdots,\alpha_n) is a multi-index of non-negative integers, , \alpha, = \alpha_1 + \alpha_2 + \cdots + \alpha_n, and for each \alpha, a_\alpha(x) is a function on some open domain in ''n''-dimensional space. The operator D^\alpha is interpreted as D^\alp ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Elliptic Operator
In the theory of partial differential equations, elliptic operators are differential operators that generalize the Laplace operator. They are defined by the condition that the coefficients of the highest-order derivatives be positive, which implies the key property that the principal symbol is invertible, or equivalently that there are no real characteristic directions. Elliptic operators are typical of potential theory, and they appear frequently in electrostatics and continuum mechanics. Elliptic regularity implies that their solutions tend to be smooth functions (if the coefficients in the operator are smooth). Steady-state solutions to hyperbolic and parabolic equations generally solve elliptic equations. Definitions Let L be linear differential operator of order ''m'' on a domain \Omega in R''n'' given by Lu = \sum_ a_\alpha(x)\partial^\alpha u where \alpha = (\alpha_1, \dots, \alpha_n) denotes a multi-index, and \partial^\alpha u = \partial^_1 \cdots \partial_n^ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Elliptic Partial Differential Equation
Second-order linear partial differential equations (PDEs) are classified as either elliptic, hyperbolic, or parabolic. Any second-order linear PDE in two variables can be written in the form :Au_ + 2Bu_ + Cu_ + Du_x + Eu_y + Fu +G= 0,\, where , , , , , , and are functions of and and where u_x=\frac, u_=\frac and similarly for u_,u_y,u_. A PDE written in this form is elliptic if :B^2-AC, applying the chain rule once gives :u_=u_\xi \xi_x+u_\eta \eta_x and u_=u_\xi \xi_y+u_\eta \eta_y, a second application gives :u_=u_ _x+u_ _x+2u_\xi_x\eta_x+u_\xi_+u_\eta_, :u_=u_ _y+u_ _y+2u_\xi_y\eta_y+u_\xi_+u_\eta_, and :u_=u_ \xi_x\xi_y+u_ \eta_x\eta_y+u_(\xi_x\eta_y+\xi_y\eta_x)+u_\xi_+u_\eta_. We can replace our PDE in x and y with an equivalent equation in \xi and \eta :au_ + 2bu_ + cu_ \text= 0,\, where :a=A^2+2B\xi_x\xi_y+C^2, :b=2A\xi_x\eta_x+2B(\xi_x\eta_y+\xi_y\eta_x) +2C\xi_y\eta_y , and :c=A^2+2B\eta_x\eta_y+C^2. To transform our PDE into the desired canonical fo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Monge–Ampère Equation
In mathematics, a (real) Monge–Ampère equation is a nonlinear second-order partial differential equation of special kind. A second-order equation for the unknown function ''u'' of two variables ''x'',''y'' is of Monge–Ampère type if it is linear in the determinant of the Hessian matrix of ''u'' and in the second-order partial derivatives of ''u''. The independent variables (''x'',''y'') vary over a given domain ''D'' of R2. The term also applies to analogous equations with ''n'' independent variables. The most complete results so far have been obtained when the equation is elliptic. Monge–Ampère equations frequently arise in differential geometry, for example, in the Weyl and Minkowski problems in differential geometry of surfaces. They were first studied by Gaspard Monge in 1784 and later by André-Marie Ampère in 1820. Important results in the theory of Monge–Ampère equations have been obtained by Sergei Bernstein, Aleksei Pogorelov, Charles Fefferman, and Louis Nir ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Poisson's Equation
Poisson's equation is an elliptic partial differential equation of broad utility in theoretical physics. For example, the solution to Poisson's equation is the potential field caused by a given electric charge or mass density distribution; with the potential field known, one can then calculate electrostatic or gravitational (force) field. It is a generalization of Laplace's equation, which is also frequently seen in physics. The equation is named after French mathematician and physicist Siméon Denis Poisson. Statement of the equation Poisson's equation is \Delta\varphi = f where \Delta is the Laplace operator, and f and \varphi are real or complex-valued functions on a manifold. Usually, f is given and \varphi is sought. When the manifold is Euclidean space, the Laplace operator is often denoted as and so Poisson's equation is frequently written as \nabla^2 \varphi = f. In three-dimensional Cartesian coordinates, it takes the form \left( \frac + \frac + \frac \right)\varphi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Geometric Analysis
Geometric analysis is a mathematical discipline where tools from differential equations, especially elliptic partial differential equations (PDEs), are used to establish new results in differential geometry and differential topology. The use of linear elliptic PDEs dates at least as far back as Hodge theory. More recently, it refers largely to the use of nonlinear partial differential equations to study geometric and topological properties of spaces, such as submanifolds of Euclidean space, Riemannian manifolds, and symplectic manifolds. This approach dates back to the work by Tibor Radó and Jesse Douglas on minimal surfaces, John Forbes Nash Jr. on isometric embeddings of Riemannian manifolds into Euclidean space, work by Louis Nirenberg on the Minkowski problem and the Weyl problem, and work by Aleksandr Danilovich Aleksandrov and Aleksei Pogorelov on convex hypersurfaces. In the 1980s fundamental contributions by Karen Uhlenbeck,Jackson, Allyn. (2019)Founder of geometric anal ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]