 |
Sobolev Embedding
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^ ... [...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] |
 |
Cone Condition
In geometry, a cone is a three-dimensional figure that tapers smoothly from a flat base (typically a circle) to a point not contained in the base, called the ''apex'' or '' vertex''. A cone is formed by a set of line segments, half-lines, or lines connecting a common point, the apex, to all of the points on a base. In the case of line segments, the cone does not extend beyond the base, while in the case of half-lines, it extends infinitely far. In the case of lines, the cone extends infinitely far in both directions from the apex, in which case it is sometimes called a ''double cone''. Each of the two halves of a double cone split at the apex is called a ''nappe''. Depending on the author, the base may be restricted to a circle, any one-dimensional quadratic form in the plane, any closed one-dimensional figure, or any of the above plus all the enclosed points. If the enclosed points are included in the base, the cone is a solid object; otherwise it is an open surface, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Charles B
Charles is a masculine given name predominantly found in English and French speaking countries. It is from the French form ''Charles'' of the Proto-Germanic name (in runic alphabet) or ''*karilaz'' (in Latin alphabet), whose meaning was "free man". The Old English descendant of this word was '' Ċearl'' or ''Ċeorl'', as the name of King Cearl of Mercia, that disappeared after the Norman conquest of England. The name was notably borne by Charlemagne (Charles the Great), and was at the time Latinized as ''Karolus'' (as in ''Vita Karoli Magni''), later also as '' Carolus''. Etymology The name's etymology is a Common Germanic noun ''*karilaz'' meaning "free man", which survives in English as churl (James (wikt:Appendix:Proto-Indo-European/ǵerh₂-">ĝer-, where the ĝ is a palatal consonant, meaning "to rub; to be old; grain." An old man has been worn away and is now grey with age. In some Slavic languages, the name ''Drago (given name), Drago'' (and variants: ''Dragom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Hölder Continuous
Hölder: * ''Hölder, Hoelder'' as surname * Hölder condition * Hölder's inequality In mathematical analysis, Hölder's inequality, named after Otto Hölder, is a fundamental inequality (mathematics), inequality between Lebesgue integration, integrals and an indispensable tool for the study of Lp space, spaces. The numbers an ... * Hölder mean * Jordan–Hölder theorem {{Disambig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Riesz Transform
In the mathematical theory of harmonic analysis, the Riesz transforms are a family of generalizations of the Hilbert transform to Euclidean spaces of dimension ''d'' > 1. They are a type of singular integral operator, meaning that they are given by a convolution of one function with another function having a singularity at the origin. Specifically, the Riesz transforms of a complex-valued function ƒ on R''d'' are defined by for ''j'' = 1,2,...,''d''. The constant ''c''''d'' is a dimensional normalization given by :c_d = \frac = \frac. where ω''d''−1 is the volume of the unit (''d'' − 1)-ball. The limit is written in various ways, often as a principal value, or as a convolution with the tempered distribution :K(x) = \frac \, p.v. \frac. The Riesz transforms arises in the study of differentiability properties of harmonic potentials in potential theory and harmonic analysis. In particular, they arise in the proof of the Calderón-Zyg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Riesz Potential
In mathematics, the Riesz potential is a potential named after its discoverer, the Hungarian mathematician Marcel Riesz. In a sense, the Riesz potential defines an inverse for a power of the Laplace operator on Euclidean space. They generalize to several variables the Riemann–Liouville integrals of one variable. Definition If 0 < ''α'' < ''n'', then the Riesz potential ''I''α''f'' of a ''f'' on R''n'' is the function defined by where the constant is given by : This is well-defined provided ''f'' decays sufficiently rapidly at infinity, specifically if ''f'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Fractional Integration
In fractional calculus, an area of mathematical analysis, the differintegral is a combined differentiation/integration operator. Applied to a function ƒ, the ''q''-differintegral of ''f'', here denoted by :\mathbb^q f is the fractional derivative (if ''q'' > 0) or fractional integral (if ''q'' So, \frac = \mathcal^\left\ which generalizes to \mathbb^qf(t) = \mathcal^\left\. Under the bilateral Laplace transform, here denoted by \mathcal and defined as \mathcal (t)=\int_^\infty e^ f(t)\, dt, differentiation transforms into a multiplication \mathcal\left frac\right= s\mathcal (t) Generalizing to arbitrary order and solving for \mathbb^qf(t), one obtains \mathbb^qf(t)=\mathcal^\left\. Representation via Newton series is the Newton interpolation over consecutive integer orders: \mathbb^qf(t) =\sum_^ \binom m \sum_^m\binom mk(-1)^f^(x). For fractional derivative definitions described in this section, the following identities hold: :\mathbb^q(t^n)=\fract^ :\mathbb^q(\sin( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Compact Support
In mathematics, the support of a real-valued function f is the subset of the function domain of elements that are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used widely in mathematical analysis. Formulation Suppose that f : X \to \R is a real-valued function whose domain is an arbitrary set X. The of f, written \operatorname(f), is the set of points in X where f is non-zero: \operatorname(f) = \. The support of f is the smallest subset of X with the property that f is zero on the subset's complement. If f(x) = 0 for all but a finite number of points x \in X, then f is said to have . If the set X has an additional structure (for example, a topology), then the support of f is defined in an analogous way as the smallest subset of X of an appropriate type such that f vanishes in an appropriate sense on its complement. The notion ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Completely Continuous
In functional analysis, a branch of mathematics, a compact operator is a linear operator T: X \to Y, where X,Y are normed vector spaces, with the property that T maps bounded subsets of X to relatively compact subsets of Y (subsets with compact closure in Y). Such an operator is necessarily a bounded operator, and so continuous. Some authors require that X,Y are Banach, but the definition can be extended to more general spaces. Any bounded operator ''T'' that has finite rank is a compact operator; indeed, the class of compact operators is a natural generalization of the class of finite-rank operators in an infinite-dimensional setting. When ''Y'' is a Hilbert space, it is true that any compact operator is a limit of finite-rank operators, so that the class of compact operators can be defined alternatively as the closure of the set of finite-rank operators in the norm topology. Whether this was true in general for Banach spaces (the approximation property) was an unsolved question ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Sectional Curvature
In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature ''K''(σ''p'') depends on a two-dimensional linear subspace σ''p'' of the tangent space at a point ''p'' of the manifold. It can be defined geometrically as the Gaussian curvature of the surface (topology), surface which has the plane σ''p'' as a tangent plane at ''p'', obtained from geodesics which start at ''p'' in the directions of σ''p'' (in other words, the image of σ''p'' under the exponential map (Riemannian geometry), exponential map at ''p''). The sectional curvature is a real-valued function on the 2-Grassmannian fiber bundle, bundle over the manifold. The sectional curvature determines the Riemann curvature tensor, Riemann curvature tensor completely. Definition Given a Riemannian manifold and two linearly independent tangent vectors at the same point, ''u'' and ''v'', we can define :K(u,v)= Here ''R' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Injectivity Radius
This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology. The following articles may also be useful; they either contain specialised vocabulary or provide more detailed expositions of the definitions given below. * Connection * Curvature * Metric space * Riemannian manifold See also: * Glossary of general topology * Glossary of differential geometry and topology * List of differential geometry topics Unless stated otherwise, letters ''X'', ''Y'', ''Z'' below denote metric spaces, ''M'', ''N'' denote Riemannian manifolds, , ''xy'', or , xy, _X denotes the distance between points ''x'' and ''y'' in ''X''. Italic ''word'' denotes a self-reference to this glossary. ''A caveat'': many terms in Riemannian and metric geometry, such as ''convex function'', ''convex set'' and others, do not have exactly the same meaning as in general mathematical usage. __NOTOC__ A Affine connection Al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Complete Manifold
In mathematics, a complete manifold (or geodesically complete manifold) is a (pseudo-) Riemannian manifold for which, starting at any point , there are straight paths extending infinitely in all directions. Formally, a manifold M is (geodesically) complete if for any maximal geodesic \ell : I \to M, it holds that I=(-\infty,\infty). A geodesic is maximal if its domain cannot be extended. Equivalently, M is (geodesically) complete if for all points p \in M, the exponential map at p is defined on T_pM, the entire tangent space at p. Hopf–Rinow theorem The Hopf–Rinow theorem gives alternative characterizations of completeness. Let (M,g) be a ''connected'' Riemannian manifold and let d_g : M \times M \to complete (every d_g-Cauchy sequence converges), * All closed and bounded subsets of M are compact. Examples and non-examples Euclidean space \mathbb^n, the n-sphere, sphere \mathbb^n, and the tori \mathbb^n (with their natural Riemannian metrics) are all complete manifo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |