Holomorphic functional calculus

Last updated

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.

Contents

This article will discuss the case where T is a bounded linear operator on some Banach space. In particular, T can be a square matrix with complex entries, a case which will be used to illustrate functional calculus and provide some heuristic insights for the assumptions involved in the general construction.

Motivation

Need for a general functional calculus

In this section T will be assumed to be a n × n matrix with complex entries.

If a given function f is of certain special type, there are natural ways of defining f(T). For instance, if

is a complex polynomial, one can simply substitute T for z and define

where T0 = I, the identity matrix. This is the polynomial functional calculus. It is a homomorphism from the ring of polynomials to the ring of n × n matrices.

Extending slightly from the polynomials, if f : CC is holomorphic everywhere, i.e. an entire function, with MacLaurin series

mimicking the polynomial case suggests we define

Since the MacLaurin series converges everywhere, the above series will converge, in a chosen operator norm. An example of this is the exponential of a matrix. Replacing z by T in the MacLaurin series of f(z) = ez gives

The requirement that the MacLaurin series of f converges everywhere can be relaxed somewhat. From above it is evident that all that is really needed is the radius of convergence of the MacLaurin series be greater than ǁTǁ, the operator norm of T. This enlarges somewhat the family of f for which f(T) can be defined using the above approach. However it is not quite satisfactory. For instance, it is a fact from matrix theory that every non-singular T has a logarithm S in the sense that eS = T. It is desirable to have a functional calculus that allows one to define, for a non-singular T, ln(T) such that it coincides with S. This can not be done via power series, for example the logarithmic series

converges only on the open unit disk. Substituting T for z in the series fails to give a well-defined expression for ln(T + I) for invertible T + I with ǁTǁ ≥ 1. Thus a more general functional calculus is needed.

Functional calculus and the spectrum

It is expected that a necessary condition for f(T) to make sense is f be defined on the spectrum of T. For example, the spectral theorem for normal matrices states every normal matrix is unitarily diagonalizable. This leads to a definition of f(T) when T is normal. One encounters difficulties if f(λ) is not defined for some eigenvalue λ of T.

Other indications also reinforce the idea that f(T) can be defined only if f is defined on the spectrum of T. If T is not invertible, then (recalling that T is an n x n matrix) 0 is an eigenvalue. Since the natural logarithm is undefined at 0, one would expect that ln(T) can not be defined naturally. This is indeed the case. As another example, for

the reasonable way of calculating f(T) would seem to be

However, this expression is not defined if the inverses on the right-hand side do not exist, that is, if either 2 or 5 are eigenvalues of T.

For a given matrix T, the eigenvalues of T dictate to what extent f(T) can be defined; i.e., f(λ) must be defined for all eigenvalues λ of T. For a general bounded operator this condition translates to "f must be defined on the spectrum of T". This assumption turns out to be an enabling condition such that the functional calculus map, ff(T), has certain desirable properties.

Functional calculus for a bounded operator

The spectrum s(T) in light blue and the path g in red. Functional calculus illustration1.png
The spectrum σ(T) in light blue and the path γ in red.
The case when the spectrum has multiple connected components and the corresponding path g. Functional calculus illustration2.png
The case when the spectrum has multiple connected components and the corresponding path γ.
The case when the spectrum is not simply connected. Functional calculus illustration3.png
The case when the spectrum is not simply connected.

Let X be a complex Banach space, and L(X) denote the family of bounded operators on X.

Recall the Cauchy integral formula from classical function theory. Let f : CC be holomorphic on some open set DC, and Γ be a rectifiable Jordan curve in D, that is, a closed curve of finite length without self-intersections. Assume that the set U of points lying in the inside of Γ, i.e. such that the winding number of Γ about z is 1, is contained in D. The Cauchy integral formula states

for any z in U.

The idea is to extend this formula to functions taking values in the Banach space L(X). Cauchy's integral formula suggests the following definition (purely formal, for now):

where (ζ−T)−1 is the resolvent of T at ζ.

Assuming this Banach space-valued integral is appropriately defined, this proposed functional calculus implies the following necessary conditions:

  1. As the scalar version of Cauchy's integral formula applies to holomorphic f, we anticipate that is also the case for the Banach space case, where there should be a suitable notion of holomorphy for functions taking values in the Banach space L(X).
  2. As the resolvent mapping ζ → (ζ−T)−1 is undefined on the spectrum of T, σ(T), the Jordan curve Γ should not intersect σ(T). Now, the resolvent mapping will be holomorphic on the complement of σ(T). So to obtain a non-trivial functional calculus, Γ must enclose (at least part of) σ(T).
  3. The functional calculus should be well-defined in the sense that f(T) has to be independent of Γ.

The full definition of the functional calculus is as follows: For TL(X), define

where f is a holomorphic function defined on an open set DC which contains σ(T), and Γ = {γ1, ..., γm} is a collection of disjoint Jordan curves in D bounding an "inside" set U, such that σ(T) lies in U, and each γi is oriented in the boundary sense.

The open set D may vary with f and need not be connected or simply connected, as shown by the figures on the right.

The following subsections make precise the notions invoked in the definition and show f(T) is indeed well defined under given assumptions.

Banach space-valued integral

Cf. Bochner integral

For a continuous function g defined in an open neighborhood of Γ and taking values in L(X), the contour integral ∫Γg is defined in the same way as for the scalar case. One can parametrize each γi ∈ Γ by a real interval [a, b], and the integral is the limit of the Riemann sums obtained from ever-finer partitions of [a, b]. The Riemann sums converge in the uniform operator topology. We define

In the definition of the functional calculus, f is assumed to be holomorphic in an open neighborhood of Γ. It will be shown below that the resolvent mapping is holomorphic on the resolvent set. Therefore, the integral

makes sense.

The resolvent mapping

The mapping ζ → (ζ−T)−1 is called the resolvent mapping of T. It is defined on the complement of σ(T), called the resolvent set of T and will be denoted by ρ(T).

Much of classical function theory depends on the properties of the integral

The holomorphic functional calculus is similar in that the resolvent mapping plays a crucial role in obtaining properties one requires from a nice functional calculus. This subsection outlines properties of the resolvent map that are essential in this context.

The 1st resolvent formula

Direct calculation shows, for z1, z2 ∈ ρ(T),

Therefore,

This equation is called the first resolvent formula. The formula shows (z1T)−1 and (z2T)−1 commute, which hints at the fact that the image of the functional calculus will be a commutative algebra. Letting z2z1 shows the resolvent map is (complex-) differentiable at each z1 ∈ ρ(T); so the integral in the expression of functional calculus converges in L(X).

Analyticity

Stronger statement than differentiability can be made regarding the resolvent map. The resolvent set ρ(T) is actually an open set on which the resolvent map is analytic. This property will be used in subsequent arguments for the functional calculus. To verify this claim, let z1 ∈ ρ(T) and notice the formal expression

suggests we consider

for (z2T)−1. The above series converges in L(X), which implies the existence of (z2T)−1, if

Therefore, the resolvent set ρ(T) is open and the power series expression on an open disk centered at z1 ∈ ρ(T) shows the resolvent map is analytic on ρ(T).

Neumann series

Another expression for (zT)−1 will also be useful. The formal expression

leads one to consider

This series, the Neumann series , converges to (zT)−1 if

Compactness of σ(T)

From the last two properties of the resolvent we can deduce that the spectrum σ(T) of a bounded operator T is a compact subset of C. Therefore, for any open set D such that σ(T) ⊂ D, there exists a positively oriented and smooth system of Jordan curves Γ = {γ1, ..., γm} such that σ(T) is in the inside of Γ and the complement of D is contained in the outside of Γ. Hence, for the definition of the functional calculus, indeed a suitable family of Jordan curves can be found for each f that is holomorphic on some D.

Well-definedness

The previous discussion has shown that the integral makes sense, i.e. a suitable collection Γ of Jordan curves does exist for each f and the integral does converge in the appropriate sense. What has not been shown is that the definition of the functional calculus is unambiguous, i.e. does not depend on the choice of Γ. This issue we now try to resolve.

A preliminary fact

For a collection of Jordan curves Γ = {γ1, ..., γm} and a point aC, the winding number of Γ with respect to a is the sum of the winding numbers of its elements. If we define:

the following theorem is by Cauchy:

Theorem. Let GC be an open set and Γ ⊂ G. If g : GC is holomorphic, and for all a in the complement of G, n(Γ, a) = 0, then the contour integral of g on Γ is zero.

We will need the vector-valued analog of this result when g takes values in L(X). To this end, let g : GL(X) be holomorphic, with the same assumptions on Γ. The idea is use the dual space L(X)* of L(X), and pass to Cauchy's theorem for the scalar case.

Consider the integral

if we can show that all φ ∈ L(X)* vanish on this integral then the integral itself has to be zero. Since φ is bounded and the integral converges in norm, we have:

But g is holomorphic, hence the composition φ(g): GCC is holomorphic and therefore by Cauchy's theorem

Main argument

The well-definedness of functional calculus now follows as an easy consequence. Let D be an open set containing σ(T). Suppose Γ = {γi} and Ω = {ωj} are two (finite) collections of Jordan curves satisfying the assumption given for the functional calculus. We wish to show

Let Ω′ be obtained from Ω by reversing the orientation of each ωj, then

Consider the union of the two collections Γ ∪ Ω′. Both Γ ∪ Ω′ and σ(T) are compact. So there is some open set U containing Γ ∪ Ω′ such that σ(T) lies in the complement of U. Any a in the complement of U has winding number n(Γ ∪ Ω′, a) = 0[ clarification needed ] and the function

is holomorphic on U. So the vector-valued version of Cauchy's theorem gives

i.e.

Hence the functional calculus is well-defined.

Consequently, if f1 and f2 are two holomorphic functions defined on neighborhoods D1 and D2 of σ(T) and they are equal on an open set containing σ(T), then f1(T) = f2(T). Moreover, even though the D1 may not be D2, the operator (f1 + f2) (T) is well-defined. Same holds for the definition of (f1·f2)(T).

On the assumption that f be holomorphic over an open neighborhood of σ(T)

So far the full strength of this assumption has not been used. For convergence of the integral, only continuity was used. For well-definedness, we only needed f to be holomorphic on an open set U containing the contours Γ ∪ Ω′ but not necessarily σ(T). The assumption will be applied in its entirety in showing the homomorphism property of the functional calculus.

Properties

Polynomial case

The linearity of the map ff(T) follows from the convergence of the integral and that linear operations on a Banach space are continuous.

We recover the polynomial functional calculus when f(z) = Σ0 ≤ imai zi is a polynomial. To prove this, it is sufficient to show, for k ≥ 0 and f(z) = zk, it is true that f(T) = Tk, i.e.

for any suitable Γ enclosing σ(T). Choose Γ to be a circle of radius greater than the operator norm of T. As stated above, on such Γ, the resolvent map admits a power series representation

Substituting gives

which is

The δ is the Kronecker delta symbol.

The homomorphism property

For any f1 and f2 satisfying the appropriate assumptions, the homomorphism property states

We sketch an argument which invokes the first resolvent formula and the assumptions placed on f. First we choose the Jordan curves such that Γ1 lies in the inside of Γ2. The reason for this will become clear below. Start by calculating directly

The last line follows from the fact that ω ∈ Γ2 lies outside of Γ1 and f1 is holomorphic on some open neighborhood of σ(T) and therefore the second term vanishes. Therefore, we have:

Continuity with respect to compact convergence

Let GC be open with σ(T) ⊂ G. Suppose a sequence {fk} of holomorphic functions on G converges uniformly on compact subsets of G (this is sometimes called compact convergence). Then {fk(T)} is convergent in L(X):

Assume for simplicity that Γ consists of only one Jordan curve. We estimate

By combining the uniform convergence assumption and various continuity considerations, we see that the above tends to 0 as k, l → ∞. So {fk(T)} is Cauchy, therefore convergent.

Uniqueness

To summarize, we have shown the holomorphic functional calculus, ff(T), has the following properties:

  1. It extends the polynomial functional calculus.
  2. It is an algebra homomorphism from the algebra of holomorphic functions defined on a neighborhood of σ(T) to L(X)
  3. It preserves uniform convergence on compact sets.

It can be proved that a calculus satisfying the above properties is unique.

We note that, everything discussed so far holds verbatim if the family of bounded operators L(X) is replaced by a Banach algebra A. The functional calculus can be defined in exactly the same way for an element in A.

Spectral considerations

Spectral mapping theorem

It is known that the spectral mapping theorem holds for the polynomial functional calculus: for any polynomial p, σ(p(T)) = p(σ(T)). This can be extended to the holomorphic calculus. To show f(σ(T)) ⊂ σ(f(T)), let μ be any complex number. By a result from complex analysis, there exists a function g holomorphic on a neighborhood of σ(T) such that

According to the homomorphism property, f(T)  f(μ) = (T  μ)g(T). Therefore, μσ(T) implies f(μ) ∈ σ(f(T)).

For the other inclusion, if μ is not in f(σ(T)), then the functional calculus is applicable to

So g(T)(f(T) − μ) = I. Therefore, μ does not lie in σ(f(T)).

Spectral projections

The underlying idea is as follows. Suppose that K is a subset of σ(T) and U,V are disjoint neighbourhoods of K and σ(T) \ K respectively. Define e(z) = 1 if zU and e(z) = 0 if zV. Then e is a holomorphic function with [e(z)]2 = e(z) and so, for a suitable contour Γ which lies in UV and which encloses σ(T), the linear operator

will be a bounded projection that commutes with T and provides a great deal of useful information.

It transpires that this scenario is possible if and only if K is both open and closed in the subspace topology on σ(T). Moreover, the set V can be safely ignored since e is zero on it and therefore makes no contribution to the integral. The projection e(T) is called the spectral projection of T at K and is denoted by P(K;T). Thus every subset K of σ(T) that is both open and closed in the subspace topology has an associated spectral projection given by

where Γ is a contour that encloses K but no other points of σ(T).

Since P = P(K;T) is bounded and commutes with T it enables T to be expressed in the form UV where U = T|PX and V = T|(1−P)X. Both PX and (1  P)X are invariant subspaces of T moreover σ(U) = K and σ(V) = σ(T) \ K. A key property is mutual orthogonality. If L is another open and closed set in the subspace topology on σ(T) then P(K;T)P(L;T) = P(L;T)P(K;T) = P(KL;T) which is zero whenever K and L are disjoint.

Spectral projections have numerous applications. Any isolated point of σ(T) is both open and closed in the subspace topology and therefore has an associated spectral projection. When X has finite dimension σ(T) consists of isolated points and the resultant spectral projections lead to a variant of Jordan normal form wherein all the Jordan blocks corresponding to the same eigenvalue are consolidated. In other words there is precisely one block per distinct eigenvalue. The next section considers this decomposition in more detail.

Sometimes spectral projections inherit properties from their parent operators. For example if T is a positive matrix with spectral radius r then the Perron–Frobenius theorem asserts that rσ(T). The associated spectral projection P = P(r;T) is also positive and by mutual orthogonality no other spectral projection can have a positive row or column. In fact TP = rP and (T/r)nP as n → ∞ so this projection P (which is called the Perron projection) approximates (T/r)n as n increases, and each of its columns is an eigenvector of T.

More generally if T is a compact operator then all non-zero points in σ(T) are isolated and so any finite subset of them can be used to decompose T. The associated spectral projection always has finite rank. Those operators in L(X) with similar spectral characteristics are known as Riesz operators. Many classes of Riesz operators (including the compact operators) are ideals in L(X) and provide a rich field for research. However if X is a Hilbert space there is exactly one closed ideal sandwiched between the Riesz operators and those of finite rank.

Much of the foregoing discussion can be set in the more general context of a complex Banach algebra. Here spectral projections are referred to as spectral idempotents since there may no longer be a space for them to project onto.

Invariant subspace decomposition

If the spectrum σ(T) is not connected, X can be decomposed into invariant subspaces of T using the functional calculus. Let σ(T) be a disjoint union

Define ei to be 1 on some neighborhood that contains only the component Fi and 0 elsewhere. By the homomorphism property, ei(T) is a projection for all i. In fact it is just the spectral projection P(Fi;T) described above. The relation ei(T) T = T ei(T) means the range of each ei(T), denoted by Xi, is an invariant subspace of T. Since

X can be expressed in terms of these complementary subspaces:

Similarly, if Ti is T restricted to Xi, then

Consider the direct sum

With the norm

X' is a Banach space. The mapping R: X' X defined by

is a Banach space isomorphism, and we see that

This can be viewed as a block diagonalization of T.

When X is finite-dimensional, σ(T) = {λi} is a finite set of points in the complex plane. Choose ei to be 1 on an open disc containing only λi from the spectrum. The corresponding block-diagonal matrix

is the Jordan canonical form of T.

With stronger assumptions, when T is a normal operator acting on a Hilbert space, the domain of the functional calculus can be broadened. When comparing the two results, a rough analogy can be made with the relationship between the spectral theorem for normal matrices and the Jordan canonical form. When T is a normal operator, a continuous functional calculus can be obtained, that is, one can evaluate f(T) with f being a continuous function defined on σ(T). Using the machinery of measure theory, this can be extended to functions which are only measurable (see Borel functional calculus). In that context, if E ⊂ σ(T) is a Borel set and 1E is the characteristic function of E, the projection operator 1E(T) is a refinement of ei(T) discussed above.

The Borel functional calculus extends to unbounded self-adjoint operators on a Hilbert space.

In slightly more abstract language, the holomorphic functional calculus can be extended to any element of a Banach algebra, using essentially the same arguments as above. Similarly, the continuous functional calculus holds for normal elements in any C*-algebra and the measurable functional calculus for normal elements in any von Neumann algebra.

Unbounded operators

A holomorphic functional calculus can be defined in a similar fashion for unbounded closed operators with non-empty resolvent set.

See also

Related Research Articles

<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 for , and its analytic continuation elsewhere.

In vector calculus and differential geometry the generalized Stokes theorem, also called the Stokes–Cartan theorem, is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. In particular, the fundamental theorem of calculus is the special case where the manifold is a line segment, Green’s theorem and Stokes' theorem are the cases of a surface in or and the divergence theorem is the case of a volume in Hence, the theorem is sometimes referred to as the Fundamental Theorem of Multivariate Calculus.

<span class="mw-page-title-main">Cauchy's integral formula</span> Provides integral formulas for all derivatives of a holomorphic function

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 of the disk, and it provides integral formulas for all derivatives of a holomorphic function. Cauchy's formula shows that, in complex analysis, "differentiation is equivalent to integration": complex differentiation, like integration, behaves well under uniform limits – a result that does not hold in real analysis.

<span class="mw-page-title-main">Residue theorem</span> Concept of complex analysis

In complex analysis, the residue theorem, sometimes called Cauchy's residue theorem, is a powerful tool to evaluate line integrals of analytic functions over closed curves; it can often be used to compute real integrals and infinite series as well. It generalizes the Cauchy integral theorem and Cauchy's integral formula. The residue theorem should not be confused with special cases of the generalized Stokes' theorem; however, the latter can be used as an ingredient of its proof.

<span class="mw-page-title-main">Winding number</span> Number of times a curve wraps around a point in the plane

In mathematics, the winding number or winding index of a closed curve in the plane around a given point is an integer representing the total number of times that the curve travels counterclockwise around the point, i.e., the curve's number of turns. For certain open plane curves, the number of turns may be a non-integer. The winding number depends on the orientation of the curve, and it is negative if the curve travels around the point clockwise.

<span class="mw-page-title-main">Morera's theorem</span> Integral criterion for holomorphy

In complex analysis, a branch of mathematics, Morera's theorem, named after Giacinto Morera, gives an important criterion for proving that a function is holomorphic.

In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus, which has particularly broad scope. Thus for instance if T is an operator, applying the squaring function ss2 to T yields the operator T2. Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator −Δ or the exponential

In mathematics, infinite-dimensional holomorphy is a branch of functional analysis. It is concerned with generalizations of the concept of holomorphic function to functions defined and taking values in complex Banach spaces, typically of infinite dimension. It is one aspect of nonlinear functional analysis.

In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

In complex analysis, functional analysis and operator theory, a Bergman space, named after Stefan Bergman, is a function space of holomorphic functions in a domain D of the complex plane that are sufficiently well-behaved at the boundary that they are absolutely integrable. Specifically, for 0 < p < ∞, the Bergman space Ap(D) is the space of all holomorphic functions in D for which the p-norm is finite:

The Minakshisundaram–Pleijel zeta function is a zeta function encoding the eigenvalues of the Laplacian of a compact Riemannian manifold. It was introduced by Subbaramiah Minakshisundaram and Åke Pleijel. The case of a compact region of the plane was treated earlier by Torsten Carleman.

<span class="mw-page-title-main">Antiderivative (complex analysis)</span> Concept in complex analysis

In complex analysis, a branch of mathematics, the antiderivative, or primitive, of a complex-valued function g is a function whose complex derivative is g. More precisely, given an open set in the complex plane and a function the antiderivative of is a function that satisfies .

In mathematics, Riemann–Hilbert problems, named after Bernhard Riemann and David Hilbert, are a class of problems that arise in the study of differential equations in the complex plane. Several existence theorems for Riemann–Hilbert problems have been produced by Mark Krein, Israel Gohberg and others.

In mathematics, the Abel–Jacobi map is a construction of algebraic geometry which relates an algebraic curve to its Jacobian variety. In Riemannian geometry, it is a more general construction mapping a manifold to its Jacobi torus. The name derives from the theorem of Abel and Jacobi that two effective divisors are linearly equivalent if and only if they are indistinguishable under the Abel–Jacobi map.

In the mathematical study of several complex variables, the Szegő kernel is an integral kernel that gives rise to a reproducing kernel on a natural Hilbert space of holomorphic functions. It is named for its discoverer, the Hungarian mathematician Gábor Szegő.

<span class="mw-page-title-main">Wrapped Cauchy distribution</span>

In probability theory and directional statistics, a wrapped Cauchy distribution is a wrapped probability distribution that results from the "wrapping" of the Cauchy distribution around the unit circle. The Cauchy distribution is sometimes known as a Lorentzian distribution, and the wrapped Cauchy distribution may sometimes be referred to as a wrapped Lorentzian distribution.

<span class="mw-page-title-main">Grunsky matrix</span> Matrix used in complex analysis

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, singular integral operators on closed curves arise in problems in analysis, in particular complex analysis and harmonic analysis. The two main singular integral operators, the Hilbert transform and the Cauchy transform, can be defined for any smooth Jordan curve in the complex plane and are related by a simple algebraic formula. In the special case of Fourier series for the unit circle, the operators become the classical Cauchy transform, the orthogonal projection onto Hardy space, and the Hilbert transform a real orthogonal linear complex structure. In general the Cauchy transform is a non-self-adjoint idempotent and the Hilbert transform a non-orthogonal complex structure. The range of the Cauchy transform is the Hardy space of the bounded region enclosed by the Jordan curve. The theory for the original curve can be deduced from that of the unit circle, where, because of rotational symmetry, both operators are classical singular integral operators of convolution type. The Hilbert transform satisfies the jump relations of Plemelj and Sokhotski, which express the original function as the difference between the boundary values of holomorphic functions on the region and its complement. Singular integral operators have been studied on various classes of functions, including Hölder spaces, Lp spaces and Sobolev spaces. In the case of L2 spaces—the case treated in detail below—other operators associated with the closed curve, such as the Szegő projection onto Hardy space and the Neumann–Poincaré operator, can be expressed in terms of the Cauchy transform and its adjoint.

In mathematics, topological recursion is a recursive definition of invariants of spectral curves. It has applications in enumerative geometry, random matrix theory, mathematical physics, string theory, knot theory.

References