Optimal error estimates for analytic continuation in the upper half-plane

Abstract: Analytic functions in the Hardy class

H^{2}

over the upper half-plane

m a t h b b H_{+}

are uniquely determined by their values on any curve

G a m m a

lying in the interior or on the boundary of

m a t h b b H_{+}

. The goal of this paper is to provide a quantitative version of this statement. Given that

f

from a unit ball in

H^{2}

is small on

G a m m a

(say, its

L^{2}

norm is of order

e p s i l o n

), how does this affect the magnitude of

f

at a point

z

away from the curve? When

G a m m a s u b s e t p a r t i a l m a t h b b H_{+}

, we give a sharp upper bound on

| f (z) |

of the form

e p s i l o n^{g} a m m a

, with an explicit exponent

g a m m a = g a m m a (z) i n (0, 1)

and describe the maximizer function attaining the upper bound. When

G a m m a s u b s e t m a t h b b H_{+}

we give an implicit sharp upper bound in terms of a solution of an integral equation on

G a m m a

. We conjecture and give evidence that this bound also behaves like

e p s i l o n^{g} a m m a

for some

g a m m a = g a m m a (z) i n (0, 1)

. These results can also be transplanted to other domains conformally equivalent to the upper half-plane.

Recommendations

Cited in

(5)

This page was built for publication: Optimal error estimates for analytic continuation in the upper half-plane