Coarea Formula
In the mathematical field of geometric measure theory, the coarea formula expresses the integral of a function over an open set in Euclidean space in terms of integrals over the level sets of another function. A special case is Fubini's theorem, which says under suitable hypotheses that the integral of a function over the region enclosed by a rectangular box can be written as the iterated integral over the level sets of the coordinate functions. Another special case is integration in spherical coordinates, in which the integral of a function on R''n'' is related to the integral of the function over spherical shells: level sets of the radial function. The formula plays a decisive role in the modern study of isoperimetric problems. For smooth functions the formula is a result in multivariate calculus which follows from a change of variables. More general forms of the formula for Lipschitz functions were first established by Herbert Federer , and for ' functions by . A precis ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lipschitz Function
In mathematical analysis, Lipschitz continuity, named after German mathematician Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exists a real number such that, for every pair of points on the graph of this function, the absolute value of the slope of the line connecting them is not greater than this real number; the smallest such bound is called the ''Lipschitz constant'' of the function (and is related to the '' modulus of uniform continuity''). For instance, every function that is defined on an interval and has a bounded first derivative is Lipschitz continuous. In the theory of differential equations, Lipschitz continuity is the central condition of the Picard–Lindelöf theorem which guarantees the existence and uniqueness of the solution to an initial value problem. A special type of Lipschitz continuity, called contraction, is used in the Banach fixed-poin ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Sard's Theorem
In mathematics, Sard's theorem, also known as Sard's lemma or the Morse–Sard theorem, is a result in mathematical analysis that asserts that the set of critical values (that is, the image of the set of critical points) of a smooth function ''f'' from one Euclidean space or manifold to another is a null set, i.e., it has Lebesgue measure 0. This makes the set of critical values "small" in the sense of a generic property. The theorem is named for Anthony Morse and Arthur Sard. Statement More explicitly, let :f\colon \mathbb^n \rightarrow \mathbb^m be C^k, (that is, k times continuously differentiable), where k\geq \max\. Let X \subset \mathbb R^n denote the '' critical set'' of f, which is the set of points x\in \mathbb^n at which the Jacobian matrix of f has rank [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Unit Ball
Unit may refer to: General measurement * Unit of measurement, a definite magnitude of a physical quantity, defined and adopted by convention or by law **International System of Units (SI), modern form of the metric system **English units, historical units of measurement used in England up to 1824 ** Unit of length Science and technology Physical sciences * Natural unit, a physical unit of measurement * Geological unit or rock unit, a volume of identifiable rock or ice * Astronomical unit, a unit of length roughly between the Earth and the Sun Chemistry and medicine * Equivalent (chemistry), a unit of measurement used in chemistry and biology * Unit, a vessel or section of a chemical plant * Blood unit, a measurement in blood transfusion * Enzyme unit, a measurement of active enzyme in a sample * International unit, a unit of measurement for nutrients and drugs Mathematics * Unit number, the number 1 * Unit, identity element * Unit (ring theory), an element that is i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Sobolev Inequality
In mathematics, there is in mathematical analysis a class of Sobolev inequalities, relating norms including those of Sobolev spaces. These are used to prove the Sobolev embedding theorem, giving inclusions between certain Sobolev spaces, and the Rellich–Kondrachov theorem showing that under slightly stronger conditions some Sobolev spaces are compactly embedded in others. They are named after Sergei Lvovich Sobolev. Sobolev embedding theorem Let denote the Sobolev space consisting of all real-valued functions on whose weak derivatives up to order are functions in . Here is a non-negative integer and . The first part of the Sobolev embedding theorem states that if , and are two real numbers such that :\frac-\frac = \frac -\frac, (given n, p, k and \ell this is satisfied for some q \in [1, \infty) provided (k- \ell) p n, the embedding criterion will hold with r=0 and some positive value of \alpha. That is, for a function f on \mathbb R^n, if f has k derivatives in L^p ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jacobian Matrix And Determinant
In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. If this matrix is square, that is, if the number of variables equals the number of components of function values, then its determinant is called the Jacobian determinant. Both the matrix and (if applicable) the determinant are often referred to simply as the Jacobian. They are named after Carl Gustav Jacob Jacobi. The Jacobian matrix is the natural generalization to vector valued functions of several variables of the derivative and the differential of a usual function. This generalization includes generalizations of the inverse function theorem and the implicit function theorem, where the non-nullity of the derivative is replaced by the non-nullity of the Jacobian determinant, and the multiplicative inverse of the derivative is replaced by the inverse of the Jacobian matrix. The Jacobian determinant is fundamentally use ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lebesgue Integral
In mathematics, the integral of a non-negative Function (mathematics), function of a single variable can be regarded, in the simplest case, as the area between the Graph of a function, graph of that function and the axis. The Lebesgue integral, named after france, French mathematician Henri Lebesgue, is one way to make this concept rigorous and to extend it to more general functions. The Lebesgue integral is more general than the Riemann integral, which it largely replaced in mathematical analysis since the first half of the 20th century. It can accommodate functions with discontinuities arising in many applications that are pathological from the perspective of the Riemann integral. The Lebesgue integral also has generally better analytical properties. For instance, under mild conditions, it is possible to exchange limits and Lebesgue integration, while the conditions for doing this with a Riemann integral are comparatively baroque. Furthermore, the Lebesgue integral can be ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hausdorff Measure
In mathematics, Hausdorff measure is a generalization of the traditional notions of area and volume to non-integer dimensions, specifically fractals and their Hausdorff dimensions. It is a type of outer measure, named for Felix Hausdorff, that assigns a number in [0,∞] to each set in \R^n or, more generally, in any metric space. The zero-dimensional Hausdorff measure is the number of points in the set (if the set is finite) or ∞ if the set is infinite. Likewise, the one-dimensional Hausdorff measure of a simple curve in \R^n is equal to the length of the curve, and the two-dimensional Hausdorff measure of a Lebesgue measure#Construction of the Lebesgue measure, Lebesgue-measurable subset of \R^2 is proportional to the area of the set. Thus, the concept of the Hausdorff measure generalizes the Lebesgue measure and its notions of counting, length, and area. It also generalizes volume. In fact, there are ''d''-dimensional Hausdorff measures for any ''d'' ≥ 0, which is n ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lp Space
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 b ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bounded Variation
In mathematical analysis, a function of bounded variation, also known as ' function, is a real number, real-valued function (mathematics), function whose total variation is bounded (finite): the graph of a function having this property is well behaved in a precise sense. For a continuous function of a single Variable (mathematics), variable, being of bounded variation means that the distance along the Direction (geometry, geography), direction of the y-axis, -axis, neglecting the contribution of motion along x-axis, -axis, traveled by a point (mathematics), point moving along the graph has a finite value. For a continuous function of several variables, the meaning of the definition is the same, except for the fact that the continuous path to be considered cannot be the whole graph of the given function (which is a Glossary of differential geometry and topology#H, hypersurface in this case), but can be every Intersection (set theory), intersection of the graph itself with a hyperplan ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Herbert Federer
Herbert Federer (July 23, 1920 – April 21, 2010) was an American mathematician. He is one of the creators of geometric measure theory, at the meeting point of differential geometry and mathematical analysis.Parks, H. (2012''Remembering Herbert Federer (1920–2010)'' NAMS 59(5), 622-631. Career Federer was born July 23, 1920, in Vienna, Austria. After emigrating to the US in 1938, he studied mathematics and physics at the University of California, Berkeley, earning the Ph.D. as a student of Anthony Morse in 1944. He then spent virtually his entire career as a member of the Brown University Mathematics Department, where he eventually retired with the title of Professor Emeritus. Federer wrote more than thirty research papers in addition to his book ''Geometric measure theory''. The Mathematics Genealogy Project assigns him nine Ph.D. students and well over a hundred subsequent descendants. His most productive students include the late Frederick J. Almgren, Jr. (1933–1997), a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Change Of Variables
In mathematics, a change of variables is a basic technique used to simplify problems in which the original variables are replaced with functions of other variables. The intent is that when expressed in new variables, the problem may become simpler, or equivalent to a better understood problem. Change of variables is an operation that is related to substitution. However these are different operations, as can be seen when considering differentiation (chain rule) or integration (integration by substitution). A very simple example of a useful variable change can be seen in the problem of finding the roots of the sixth-degree polynomial: :x^6 - 9 x^3 + 8 = 0. Sixth-degree polynomial equations are generally impossible to solve in terms of radicals (see Abel–Ruffini theorem). This particular equation, however, may be written :(x^3)^2-9(x^3)+8=0 (this is a simple case of a polynomial decomposition). Thus the equation may be simplified by defining a new variable u = x^3. Subs ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |