|
Shiu-Yuen Cheng
Shiu-Yuen Cheng (鄭紹遠) is a Hong Kong mathematician. He is currently the Chair Professor of Mathematics at the Hong Kong University of Science and Technology. Cheng received his Ph.D. in 1974, under the supervision of Shiing-Shen Chern, from University of California at Berkeley. Cheng then spent some years as a post-doctoral fellow and assistant professor at Princeton University and the State University of New York at Stony Brook. Then he became a full professor at University of California at Los Angeles. Cheng chaired the Mathematics departments of both the Chinese University of Hong Kong and the Hong Kong University of Science and Technology in the 1990s. In 2004, he became the Dean of Science at HKUST. In 2012, he became a fellow of the American Mathematical Society. He is well known for contributions to differential geometry and partial differential equations, including Cheng's eigenvalue comparison theorem, Cheng's maximal diameter theorem, and a number of works with Sh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shiu-Yuen Cheng
Shiu-Yuen Cheng (鄭紹遠) is a Hong Kong mathematician. He is currently the Chair Professor of Mathematics at the Hong Kong University of Science and Technology. Cheng received his Ph.D. in 1974, under the supervision of Shiing-Shen Chern, from University of California at Berkeley. Cheng then spent some years as a post-doctoral fellow and assistant professor at Princeton University and the State University of New York at Stony Brook. Then he became a full professor at University of California at Los Angeles. Cheng chaired the Mathematics departments of both the Chinese University of Hong Kong and the Hong Kong University of Science and Technology in the 1990s. In 2004, he became the Dean of Science at HKUST. In 2012, he became a fellow of the American Mathematical Society. He is well known for contributions to differential geometry and partial differential equations, including Cheng's eigenvalue comparison theorem, Cheng's maximal diameter theorem, and a number of works with Sh ... [...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] |
Legendre Transformation
In mathematics, the Legendre transformation (or Legendre transform), named after Adrien-Marie Legendre, is an involutive transformation on real-valued convex functions of one real variable. In physical problems, it is used to convert functions of one quantity (such as velocity, pressure, or temperature) into functions of the conjugate quantity (momentum, volume, and entropy, respectively). In this way, it is commonly used in classical mechanics to derive the Hamiltonian formalism out of the Lagrangian formalism (or vice versa) and in thermodynamics to derive the thermodynamic potentials, as well as in the solution of differential equations of several variables. For sufficiently smooth functions on the real line, the Legendre transform f^* of a function f can be specified, up to an additive constant, by the condition that the functions' first derivatives are inverse functions of each other. This can be expressed in Euler's derivative notation as Df(\cdot) = \left( D f^* \right) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Louis Nirenberg
Louis Nirenberg (February 28, 1925 – January 26, 2020) was a Canadian-American mathematician, considered one of the most outstanding mathematicians of the 20th century. Nearly all of his work was in the field of partial differential equations. Many of his contributions are now regarded as fundamental to the field, such as his strong maximum principle for second-order parabolic partial differential equations and the Newlander-Nirenberg theorem in complex geometry. He is regarded as a foundational figure in the field of geometric analysis, with many of his works being closely related to the study of complex analysis and differential geometry. Biography Nirenberg was born in Hamilton, Ontario to Ukrainian Jewish immigrants. He attended Baron Byng High School and McGill University, completing his BS in both mathematics and physics in 1945. Through a summer job at the National Research Council of Canada, he came to know Ernest Courant's wife Sara Paul. She spoke to Courant's f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Metric
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz Riemannian metrics or measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to define several geometric notions on a Riemannian manifold, such as angle at an intersection, length of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scalar Curvature
In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor. The definition of scalar curvature via partial derivatives is also valid in the more general setting of pseudo-Riemannian manifolds. This is significant in general relativity, where scalar curvature of a Lorentzian metric is one of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Minkowski Problem
In differential geometry, the Minkowski problem, named after Hermann Minkowski, asks for the construction of a strictly convex compact surface ''S'' whose Gaussian curvature is specified. More precisely, the input to the problem is a strictly positive real function ''ƒ'' defined on a sphere, and the surface that is to be constructed should have Gaussian curvature ''ƒ''(''n''(''x'')) at the point ''x'', where ''n''(''x'') denotes the normal to ''S'' at ''x''. Eugenio Calabi stated: "From the geometric view point it he Minkowski problemis the Rosetta Stone, from which several related problems can be solved." In full generality, the Minkowski problem asks for necessary and sufficient conditions on a non-negative Borel measure on the unit sphere ''S''n-1 to be the surface area measure of a convex body in \mathbb^n. Here the surface area measure ''SK'' of a convex body ''K'' is the pushforward of the ''(n-1)''-dimensional Hausdorff measure restricted to the boundary of ''K'' via ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gauss Map
In differential geometry, the Gauss map (named after Carl F. Gauss) maps a surface in Euclidean space R3 to the unit sphere ''S''2. Namely, given a surface ''X'' lying in R3, the Gauss map is a continuous map ''N'': ''X'' → ''S''2 such that ''N''(''p'') is a unit vector orthogonal to ''X'' at ''p'', namely a normal vector to ''X'' at ''p''. The Gauss map can be defined (globally) if and only if the surface is orientable, in which case its degree is half the Euler characteristic. The Gauss map can always be defined locally (i.e. on a small piece of the surface). The Jacobian determinant of the Gauss map is equal to Gaussian curvature, and the differential of the Gauss map is called the shape operator. Gauss first wrote a draft on the topic in 1825 and published in 1827. There is also a Gauss map for a link, which computes linking number. Generalizations The Gauss map can be defined for hypersurfaces in R''n'' as a map from a hypersurface to the unit sphere ''S''''n'' &min ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension (mathematics), dimension, including the three-dimensional space and the ''Euclidean plane'' (dimension two). The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient History of geometry#Greek geometry, Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the Greek mathematics, ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of ''mathematical proof, proving'' all properties of the space as theorems, by starting from a few fundamental properties, called ''postulates'', which either were considered as eviden ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hermann Weyl
Hermann Klaus Hugo Weyl, (; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is associated with the University of Göttingen tradition of mathematics, represented by Carl Friedrich Gauss, David Hilbert and Hermann Minkowski. His research has had major significance for theoretical physics as well as purely mathematical disciplines such as number theory. He was one of the most influential mathematicians of the twentieth century, and an important member of the Institute for Advanced Study during its early years. Weyl contributed to an exceptionally wide range of mathematical fields, including works on space, time, matter, philosophy, logic, symmetry and the history of mathematics. He was one of the first to conceive of combining general relativity with the laws of electromagnetism. Freeman Dyson wrote that Weyl alone bore ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Space
In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related to parallelism and ratio of lengths for parallel line segments. In an affine space, there is no distinguished point that serves as an origin. Hence, no vector has a fixed origin and no vector can be uniquely associated to a point. In an affine space, there are instead ''displacement vectors'', also called ''translation'' vectors or simply ''translations'', between two points of the space. Thus it makes sense to subtract two points of the space, giving a translation vector, but it does not make sense to add two points of the space. Likewise, it makes sense to add a displacement vector to a point of an affine space, resulting in a new point translated from the starting point by that vector. Any vector space may be viewed as an affine spa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
