Mean value problem

Last updated

In mathematics, the mean value problem was posed by Stephen Smale in 1981. [1] This problem is still open in full generality. The problem asks:

Contents

For a given complex polynomial of degree [2] A and a complex number , is there a critical point of (i.e. ) such that

It was proved for . [1] For a polynomial of degree the constant has to be at least from the example , therefore no bound better than can exist.

Partial results

The conjecture is known to hold in special cases; for other cases, the bound on could be improved depending on the degree , although no absolute bound is known that holds for all .

In 1989, Tischler has shown that the conjecture is true for the optimal bound if has only real roots, or if all roots of have the same norm. [3] [4] In 2007, Conte et al. proved that , [2] slightly improving on the bound for fixed . In the same year, Crane has shown that for . [5]

Considering the reverse inequality, Dubinin and Sugawa have proven that (under the same conditions as above) there exists a critical point such that . [6] The problem of optimizing this lower bound is known as the dual mean value problem. [7]

See also

Notes

A. ^ The constraint on the degree is used but not explicitly stated in Smale (1981); it is made explicit for example in Conte (2007). The constraint is necessary. Without it, the conjecture would be false: The polynomial f(z) = z does not have any critical points.

Related Research Articles

In mathematics, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers among the positive integers. It formalizes the intuitive idea that primes become less common as they become larger by precisely quantifying the rate at which this occurs. The theorem was proved independently by Jacques Hadamard and Charles Jean de la Vallée Poussin in 1896 using ideas introduced by Bernhard Riemann.

<span class="mw-page-title-main">Riemann zeta function</span> Analytic function in mathematics

The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter ζ (zeta), is a mathematical function of a complex variable defined as

The fundamental theorem of algebra, also known as d'Alembert's theorem, or the d'Alembert–Gauss theorem, states that every non-constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomials with real coefficients, since every real number is a complex number with its imaginary part equal to zero.

The Liouville Lambda function, denoted by λ(n) and named after Joseph Liouville, is an important arithmetic function. Its value is +1 if n is the product of an even number of prime numbers, and −1 if it is the product of an odd number of primes.

In mathematics, the Weil conjectures were highly influential proposals by André Weil (1949). They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.

In complex analysis, Liouville's theorem, named after Joseph Liouville, states that every bounded entire function must be constant. That is, every holomorphic function for which there exists a positive number such that for all is constant. Equivalently, non-constant holomorphic functions on have unbounded images.

The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space , that is, n-tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables, which the Mathematics Subject Classification has as a top-level heading.

<span class="mw-page-title-main">Mertens function</span> Summatory function of the Möbius function

In number theory, the Mertens function is defined for all positive integers n as

In mathematics, the Mahler measureof a polynomial with complex coefficients is defined as

In mathematics, the Gauss–Kuzmin–Wirsing operator is the transfer operator of the Gauss map that takes a positive number to the fractional part of its reciprocal. It is named after Carl Gauss, Rodion Kuzmin, and Eduard Wirsing. It occurs in the study of continued fractions; it is also related to the Riemann zeta function.

In mathematics, Apéry's theorem is a result in number theory that states the Apéry's constant ζ(3) is irrational. That is, the number

In mathematics, Apéry's constant is the sum of the reciprocals of the positive cubes. That is, it is defined as the number

In mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function f of a complex argument z and an operator T, the aim is to construct an operator, f(T), which naturally extends the function f from complex argument to operator argument. More precisely, the functional calculus defines a continuous algebra homomorphism from the holomorphic functions on a neighbourhood of the spectrum of T to the bounded operators.

<span class="mw-page-title-main">Divisor summatory function</span>

In number theory, the divisor summatory function is a function that is a sum over the divisor function. It frequently occurs in the study of the asymptotic behaviour of the Riemann zeta function. The various studies of the behaviour of the divisor function are sometimes called divisor problems.

In number theory, an average order of an arithmetic function is some simpler or better-understood function which takes the same values "on average".

<span class="mw-page-title-main">Riemann hypothesis</span> Conjecture on zeros of the zeta function

In mathematics, the Riemann hypothesis is the conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part 1/2. Many consider it to be the most important unsolved problem in pure mathematics. It is of great interest in number theory because it implies results about the distribution of prime numbers. It was proposed by Bernhard Riemann (1859), after whom it is named.

<span class="mw-page-title-main">Anatoly Karatsuba</span> Russian mathematician

Anatoly Alexeyevich Karatsuba was a Russian mathematician working in the field of analytic number theory, p-adic numbers and Dirichlet series.

<span class="mw-page-title-main">Grunsky matrix</span>

In complex analysis and geometric function theory, the Grunsky matrices, or Grunsky operators, are infinite matrices introduced in 1939 by Helmut Grunsky. The matrices correspond to either a single holomorphic function on the unit disk or a pair of holomorphic functions on the unit disk and its complement. The Grunsky inequalities express boundedness properties of these matrices, which in general are contraction operators or in important special cases unitary operators. As Grunsky showed, these inequalities hold if and only if the holomorphic function is univalent. The inequalities are equivalent to the inequalities of Goluzin, discovered in 1947. Roughly speaking, the Grunsky inequalities give information on the coefficients of the logarithm of a univalent function; later generalizations by Milin, starting from the Lebedev–Milin inequality, succeeded in exponentiating the inequalities to obtain inequalities for the coefficients of the univalent function itself. The Grunsky matrix and its associated inequalities were originally formulated in a more general setting of univalent functions between a region bounded by finitely many sufficiently smooth Jordan curves and its complement: the results of Grunsky, Goluzin and Milin generalize to that case.

In mathematics, singular integral operators of convolution type are the singular integral operators that arise on Rn and Tn through convolution by distributions; equivalently they are the singular integral operators that commute with translations. The classical examples in harmonic analysis are the harmonic conjugation operator on the circle, the Hilbert transform on the circle and the real line, the Beurling transform in the complex plane and the Riesz transforms in Euclidean space. The continuity of these operators on L2 is evident because the Fourier transform converts them into multiplication operators. Continuity on Lp spaces was first established by Marcel Riesz. The classical techniques include the use of Poisson integrals, interpolation theory and the Hardy–Littlewood maximal function. For more general operators, fundamental new techniques, introduced by Alberto Calderón and Antoni Zygmund in 1952, were developed by a number of authors to give general criteria for continuity on Lp spaces. This article explains the theory for the classical operators and sketches the subsequent general theory.

In mathematics, Vinogradov's mean value theorem is an estimate for the number of equal sums of powers. It is an important inequality in analytic number theory, named for I. M. Vinogradov.

References

  1. 1 2 Smale, S. (1981). "The Fundamental Theorem of Algebra and Complexity Theory" (PDF). Bulletin of the American Mathematical Society. New Series. 4 (1): 1–36. doi: 10.1090/S0273-0979-1981-14858-8 . Retrieved 23 October 2017.
  2. 1 2 Conte, A.; Fujikawa, E.; Lakic, N. (20 June 2007). "Smale's mean value conjecture and the coefficients of univalent functions" (PDF). Proceedings of the American Mathematical Society. 135 (10): 3295–3300. doi: 10.1090/S0002-9939-07-08861-2 . Retrieved 23 October 2017.
  3. Tischler, D. (1989). "Critical Points and Values of Complex Polynomials". Journal of Complexity. 5 (4): 438–456. doi:10.1016/0885-064X(89)90019-8.
  4. Smale, Steve. "Mathematical Problems for the Next Century" (PDF).
  5. Crane, E. (22 August 2007). "A bound for Smale's mean value conjecture for complex polynomials" (PDF). Bulletin of the London Mathematical Society. 39 (5): 781–791. doi:10.1112/blms/bdm063. S2CID   59416831 . Retrieved 23 October 2017.
  6. Dubinin, V.; Sugawa, T. (2009). "Dual mean value problem for complex polynomials". Proceedings of the Japan Academy, Series A, Mathematical Sciences. 85 (9): 135–137. arXiv: 0906.4605 . Bibcode:2009arXiv0906.4605D. doi:10.3792/pjaa.85.135. S2CID   12020364 . Retrieved 23 October 2017.
  7. Ng, T.-W.; Zhang, Y. (2016). "Smale's mean value conjecture for finite Blaschke products". The Journal of Analysis. 24 (2): 331–345. arXiv: 1609.00170 . Bibcode:2016arXiv160900170N. doi:10.1007/s41478-016-0007-4. S2CID   56272500.