Carleman's inequality is an
inequality
Inequality may refer to:
Economics
* Attention inequality, unequal distribution of attention across users, groups of people, issues in etc. in attention economy
* Economic inequality, difference in economic well-being between population groups
* ...
in
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 ...
, named after
Torsten Carleman
Torsten Carleman (8 July 1892, Visseltofta, Osby Municipality – 11 January 1949, Stockholm), born Tage Gillis Torsten Carleman, was a Sweden, Swedish mathematician, known for his results in classical analysis and its applications. As the direct ...
, who proved it in 1923 and used it to prove the Denjoy–Carleman theorem on
quasi-analytic classes.
Statement
Let
be a
sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...
of
non-negative
In mathematics, the sign of a real number is its property of being either positive, negative, or zero. Depending on local conventions, zero may be considered as being neither positive nor negative (having no sign or a unique third sign), or it ...
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s, then
:
The constant
(euler number) in the inequality is optimal, that is, the inequality does not always hold if
is replaced by a smaller number. The inequality is strict (it holds with "<" instead of "≤") if some element in the sequence is non-zero.
Integral version
Carleman's inequality has an integral version, which states that
:
for any ''f'' ≥ 0.
Carleson's inequality
A generalisation, due to
Lennart Carleson
Lennart Axel Edvard Carleson (born 18 March 1928) is a Swedish mathematician, known as a leader in the field of harmonic analysis. One of his most noted accomplishments is his proof of Lusin's conjecture. He was awarded the Abel Prize in 2006 fo ...
, states the following:
for any convex function ''g'' with ''g''(0) = 0, and for any -1 < ''p'' < ∞,
:
Carleman's inequality follows from the case ''p'' = 0.
Proof
An elementary proof is sketched below. From the
inequality of arithmetic and geometric means
In mathematics, the inequality of arithmetic and geometric means, or more briefly the AM–GM inequality, states that the arithmetic mean of a list of non-negative real numbers is greater than or equal to the geometric mean of the same list; and ...
applied to the numbers
:
where MG stands for geometric mean, and MA — for arithmetic mean. The
Stirling-type inequality
applied to
implies
:
for all
Therefore,
:
whence
:
proving the inequality. Moreover, the inequality of arithmetic and geometric means of
non-negative numbers is known to be an equality if and only if all the numbers coincide, that is, in the present case, if and only if
for
. As a consequence, Carleman's inequality is never an equality for a convergent series, unless all
vanish, just because the
harmonic series is divergent.
One can also prove Carleman's inequality by starting with
Hardy's inequality Hardy's inequality is an inequality in mathematics, named after G. H. Hardy. It states that if a_1, a_2, a_3, \dots is a sequence of non-negative real numbers, then for every real number ''p'' > 1 one has
:\sum_^\infty \left (\frac\right )^p\leq\l ...
:
for the non-negative numbers ''a''
1,''a''
2,... and ''p'' > 1, replacing each ''a''
''n'' with ''a'', and letting ''p'' → ∞.
Versions for specific sequences
Christian Axler and Mehdi Hassani investigated Carleman's inequality for the specific cases of
where
is the
th prime number, They also investigated the case where
.
They found that if
one can replace
with
in Carleman's inequality, but that if
then
remained the best possible constant.
Notes
References
*
*
*
External links
* {{springer, title=Carleman inequality, id=p/c020410
Real analysis
Inequalities