|
Young's Convolution Inequality
In mathematics, Young's convolution inequality is a mathematical inequality about the convolution of two functions, named after William Henry Young. Statement Euclidean Space In real analysis, the following result is called Young's convolution inequality: Suppose f is in the Lebesgue spaceL^p(\Reals^d) and g is in L^q(\Reals^d) and \frac + \frac = \frac + 1 with 1 \leq p, q, r \leq \infty. Then \, f * g\, _r \leq \, f\, _p \, g\, _q. Here the star denotes convolution, L^p is Lebesgue space, and \, f\, _p = \Bigl(\int_ , f(x), ^p\,dx \Bigr)^ denotes the usual L^p norm. Equivalently, if p, q, r \geq 1 and \frac + \frac + \frac = 2 then \left, \int_ \int_ f(x) g(x - y) h(y) \,\mathrmx \,\mathrmy \ \leq \left(\int_ \vert f\vert^p\right)^\frac \left(\int_ \vert g\vert^q\right)^\frac \left(\int_ \vert h\vert^r\right)^\frac Generalizations Young's convolution inequality has a natural generalization in which we replace \Reals^d by a unimodular group G. If we let \mu be a bi-inv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inequality (mathematics)
In mathematics, an inequality is a relation which makes a non-equal comparison between two numbers or other mathematical expressions. It is used most often to compare two numbers on the number line by their size. There are several different notations used to represent different kinds of inequalities: * The notation ''a'' ''b'' means that ''a'' is greater than ''b''. In either case, ''a'' is not equal to ''b''. These relations are known as strict inequalities, meaning that ''a'' is strictly less than or strictly greater than ''b''. Equivalence is excluded. In contrast to strict inequalities, there are two types of inequality relations that are not strict: * The notation ''a'' ≤ ''b'' or ''a'' ⩽ ''b'' means that ''a'' is less than or equal to ''b'' (or, equivalently, at most ''b'', or not greater than ''b''). * The notation ''a'' ≥ ''b'' or ''a'' ⩾ ''b'' means that ''a'' is greater than or equal to ''b'' (or, equivalently, at least ''b'', or not less than ''b''). The r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convolution
In mathematics (in particular, functional analysis), convolution is a mathematical operation on two functions ( and ) that produces a third function (f*g) that expresses how the shape of one is modified by the other. The term ''convolution'' refers to both the result function and to the process of computing it. It is defined as the integral of the product of the two functions after one is reflected about the y-axis and shifted. The choice of which function is reflected and shifted before the integral does not change the integral result (see commutativity). The integral is evaluated for all values of shift, producing the convolution function. Some features of convolution are similar to cross-correlation: for real-valued functions, of a continuous or discrete variable, convolution (f*g) differs from cross-correlation (f \star g) only in that either or is reflected about the y-axis in convolution; thus it is a cross-correlation of and , or and . For complex-valued fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proceedings Of The Royal Society A
''Proceedings of the Royal Society'' is the main research journal of the Royal Society. The journal began in 1831 and was split into two series in 1905: * Series A: for papers in physical sciences and mathematics. * Series B: for papers in life sciences. Many landmark scientific discoveries are published in the Proceedings, making it one of the most historically significant science journals. The journal contains several articles written by the most celebrated names in science, such as Paul Dirac, Werner Heisenberg, Ernest Rutherford, Erwin Schrödinger, William Lawrence Bragg, Lord Kelvin, J.J. Thomson, James Clerk Maxwell, Dorothy Hodgkin and Stephen Hawking. In 2004, the Royal Society began ''The Journal of the Royal Society Interface'' for papers at the interface of physical sciences and life sciences. History The journal began in 1831 as a compilation of abstracts of papers in the ''Philosophical Transactions of the Royal Society'', the older Royal Society publicati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Henry Young
William Henry Young FRS (London, 20 October 1863 – Lausanne, 7 July 1942) was an English mathematician. Young was educated at City of London School and Peterhouse, Cambridge. He worked on measure theory, Fourier series, differential calculus, amongst other fields, and made contributions to the study of functions of several complex variables. He was the husband of Grace Chisholm Young, with whom he authored and co-authored 214 papers and 4 books. Two of their children became professional mathematicians (Laurence Chisholm Young, Cecilia Rosalind Tanner). Young's Theorem was named after him. In 1913 he was the first to be appointed to the newly created chair of Hardinge Professorship of Pure Mathematics in Calcutta University which he held from 1913 to 1917. He also held the part-time Professorship of Philosophy and the History of Mathematics at the University of Liverpool from 1913 to 1919. He was elected a Fellow of the Royal Society on 2 May 1907. He served as the pre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Analysis
In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability. Real analysis is distinguished from complex analysis, which deals with the study of complex numbers and their functions. Scope Construction of the real numbers The theorems of real analysis rely on the properties of the real number system, which must be established. The real number system consists of an uncountable set (\mathbb), together with two binary operations denoted and , and an order denoted . The operations make the real numbers a field, and, along with the order, an ordered field. The real number system is the unique '' complete ordered field'', in the sense that any other complete ordered field is isomorphic to it. Intuitively, completen ... [...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. Applications Statistics In statistics, measures of central tendency and statistical dispersion, such as the mean, median, and standard deviation, are defined in terms of metrics, and measures of central tendency can be characterized as solutions to variational problems. In penalized regression, "L1 penalty" and "L2 penalty" refer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unimodular Group
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups. This measure was introduced by Alfréd Haar in 1933, though its special case for Lie groups had been introduced by Adolf Hurwitz in 1897 under the name "invariant integral". Haar measures are used in many parts of analysis, number theory, group theory, representation theory, statistics, probability theory, and ergodic theory. Preliminaries Let (G, \cdot) be a locally compact Hausdorff topological group. The \sigma-algebra generated by all open subsets of G is called the Borel algebra. An element of the Borel algebra is called a Borel set. If g is an element of G and S is a subset of G, then we define the left and right translates of S by ''g'' as follows: * Left translate: g S = \. * Right translate: S g = \. Left and right translates map Borel sets onto Borel sets. A measure \mu on th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haar Measure
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups. This measure was introduced by Alfréd Haar in 1933, though its special case for Lie groups had been introduced by Adolf Hurwitz in 1897 under the name "invariant integral". Haar measures are used in many parts of analysis, number theory, group theory, representation theory, statistics, probability theory, and ergodic theory. Preliminaries Let (G, \cdot) be a locally compact Hausdorff topological group. The \sigma-algebra generated by all open subsets of G is called the Borel algebra. An element of the Borel algebra is called a Borel set. If g is an element of G and S is a subset of G, then we define the left and right translates of S by ''g'' as follows: * Left translate: g S = \. * Right translate: S g = \. Left and right translates map Borel sets onto Borel sets. A measur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weierstrass Transform
In mathematics, the Weierstrass transform of a function , named after Karl Weierstrass, is a "smoothed" version of obtained by averaging the values of , weighted with a Gaussian centered at ''x''. Specifically, it is the function defined by :F(x)=\frac\int_^\infty f(y) \; e^ \; dy = \frac\int_^\infty f(x-y) \; e^ \; dy~, the convolution of with the Gaussian function :\frac e^~. The factor 1/√(4 π) is chosen so that the Gaussian will have a total integral of 1, with the consequence that constant functions are not changed by the Weierstrass transform. Instead of one also writes . Note that need not exist for every real number , when the defining integral fails to converge. The Weierstrass transform is intimately related to the heat equation (or, equivalently, the diffusion equation with constant diffusion coefficient). If the function describes the initial temperature at each point of an infinitely long rod that has constant thermal conductivity equal to 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hölder Inequality
{{Disambig ...
Hölder: * ''Hölder, Hoelder'' as surname * Hölder condition * Hölder's inequality * Hölder mean * Jordan–Hölder theorem In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the context of modules arises from the fact that many natu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fubini's Theorem
In mathematical analysis Fubini's theorem is a result that gives conditions under which it is possible to compute a double integral by using an iterated integral, introduced by Guido Fubini in 1907. One may switch the order of integration if the double integral yields a finite answer when the integrand is replaced by its absolute value. \, \iint\limits_ f(x,y)\,\text(x,y) = \int_X\left(\int_Y f(x,y)\,\texty\right)\textx=\int_Y\left(\int_X f(x,y) \, \textx \right) \texty \qquad \text \qquad \iint\limits_ , f(x,y), \,\text(x,y) <+\infty. Fubini's theorem implies that two iterated integrals are equal to the corresponding double integral across its integrands. Tonelli's theorem, introduced by in 1909, is similar, but applies to a non-negative measurable function rather than one integrable over their domains. A related theorem is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
