Nachbin's theorem

Nachbin's theorem

In mathematics, in the area of complex analysis, Nachbin's theorem (named after Leopoldo Nachbin) is commonly used to establish a bound on the growth rates for an analytic function. This article will provide a brief review of growth rates, including the idea of a function of exponential type. Classification of growth rates based on type help provide a finer tool than big O or Landau notation, since a number of theorems about the analytic structure of the bounded function and its integral transforms can be stated. In particular, Nachbin's theorem may be used to give the domain of convergence of the generalized Borel transform, given below.

Contents

Exponential type

A function f(z) defined on the complex plane is said to be of exponential type if there exist constants M and τ such that

|f(re^{i\theta})|\le Me^{\tau r}

in the limit of r\to\infty. Here, the complex variable z was written as z = reiθ to emphasize that the limit must hold in all directions θ. Letting τ stand for the infimum of all such τ, one then says that the function f is of exponential type τ.

For example, let f(z) = sin(πz). Then one says that sin(πz) is of exponential type π, since π is the smallest number that bounds the growth of sin(πz) along the imaginary axis. So, for this example, Carlson's theorem cannot apply, as it requires functions of exponential type less than π.

Ψ type

Bounding may be defined for other functions besides the exponential function. In general, a function Ψ(t) is a comparison function if it has a series

\Psi(t)=\sum_{n=0}^\infty \Psi_n t^n

with Ψn > 0 for all n, and

\lim_{n\to\infty} \frac{\Psi_{n+1}}{\Psi_n} = 0.

Note that comparison functions are necessarily entire, which follows from the ratio test. If Ψ(t) is such a comparison function, one then says that f is of Ψ-type if there exist constants M and τ such that

\left|f\left(re^{i\theta}\right)\right| \le M\Psi(\tau r)

as r\to \infty. If τ is the infimum of all such τ one says that f is of Ψ-type τ.

Nachbin's theorem

Nachbin's theorem states that a function f(z) with the series

f(z)=\sum_{n=0}^\infty f_n z^n

is of Ψ-type τ if and only if

\limsup \left| \frac{f_n}{\Psi_n} \right|^{1/n} = \tau.

Borel transform

Nachbin's theorem has immediate applications in Cauchy theorem-like situations, and for integral transforms. For example, the generalized Borel transform is given by

F(w)=\sum_{n=0}^\infty \frac{f_n}{\Psi_n w^{n+1}}.

If f is of Ψ-type τ, then the exterior of the domain of convergence of F(w), and all of its singular points, are contained within the disk

|w| \le \tau.

Furthermore, one has

f(z)=\frac{1}{2\pi i} \oint_\gamma \Psi (zw) F(w)\, dw

where the contour of integration γ encircles the disk |w| \le \tau. This generalizes the usual Borel transform for exponential type, where Ψ(t) = et. The integral form for the generalized Borel transform follows as well. Let α(t) be a function whose first derivative is bounded on the interval [0,\infty), so that

\frac{1}{\Psi_n} = \int_0^\infty t^n\, d\alpha(t)

where d\alpha(t)=\alpha^{\prime}(t)\,dt. Then the integral form of the generalized Borel transform is

F(w)=\frac{1}{w} \int_0^\infty f \left(\frac{t}{w}\right) \, d\alpha(t).

The ordinary Borel transform is regained by setting α(t) = e t. Note that the integral form of the Borel transform is just the Laplace transform.

Nachbin resummation

Nachbin resummation (generalized Borel transform) can be used to sum divergent series that escape to the usual Borel resummation or even to solve (asymptotically) integral equations of the form:

 g(s)=s\int_{0}^{\infty} K(st)f(t)\,dt

where f(t) may or may not be of exponential growth and the kernel K(u) has a Mellin transform. The solution, pointed out by L. Nachbin himself, can be obtained as  f(x)= \sum_{n=0}^{\infty}\frac{a_n}{M(n+1)}x^{n} with  g(s)= \sum_{n=0}^{\infty}a_{n}s^{-n} and M(n) is the Mellin transform of K(u).

Fréchet space

Collections of functions of exponential type τ can form a complete uniform space, namely a Fréchet space, by the topology induced by the countable family of norms

 \|f\|_{n} = \sup_{z \in \mathbb{C}} \exp \left[-\left(\tau + \frac{1}{n}\right)|z|\right]|f(z)|

See also

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Leopoldo Nachbin — (1922 ndash;1993) was a Brazilian mathematician who is best known for Nachbin s theorem.External links* * [http://www.math.rochester.edu/people/faculty/rarm/leopoldo.html Leopoldo Nachbin, 1922 1993] …   Wikipedia

  • Residue theorem — The residue theorem in complex analysis is a powerful tool to evaluate line integrals of analytic functions over closed curves and can often be used to compute real integrals as well. It generalizes the Cauchy integral theorem and Cauchy s… …   Wikipedia

  • Mellin inversion theorem — In mathematics, the Mellin inversion formula (named after Hjalmar Mellin) tells us conditions under which the inverse Mellin transform, or equivalently the inverse two sided Laplace transform, are defined and recover the transformed function. If… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Line integral — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …   Wikipedia

  • List of mathematics articles (N) — NOTOC N N body problem N category N category number N connected space N dimensional sequential move puzzles N dimensional space N huge cardinal N jet N Mahlo cardinal N monoid N player game N set N skeleton N sphere N! conjecture Nabla symbol… …   Wikipedia

  • Cauchy's integral formula — In mathematics, Cauchy s integral formula, named after Augustin Louis Cauchy, is a central statement in complex analysis. It expresses the fact that a holomorphic function defined on a disk is completely determined by its values on the boundary… …   Wikipedia

  • Integral transform — In mathematics, an integral transform is any transform T of the following form:: (Tf)(u) = int {t 1}^{t 2} K(t, u), f(t), dt.The input of this transform is a function f , and the output is another function Tf . An integral transform is a… …   Wikipedia

  • List of exponential topics — This is a list of exponential topics, by Wikipedia page. See also list of logarithm topics. *Accelerating change *Artin Hasse exponential *Bacterial growth *Baker Campbell Hausdorff formula *Cell growth *Barometric formula *Basic infection number …   Wikipedia

  • Hardy notation — In complexity theory and mathematics, the Hardy notation, introduced by G. H. Hardy, is used for asymptotic comparison of functions, equivalently to Landau notation (also known as Big O notation ).It is defined in terms of Landau notation by:… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”