Intereting Posts

Smallest non-commutative ring with unity
Evaluate the integral $\int^{\frac{\pi}{2}}_0 \frac{\sin^3x}{\sin^3x+\cos^3x}dx$
Represent Dirac distruibution as a combination of derivatives of continuous functions?
Proof that $|\sqrt{x}-\sqrt{y}| \leq \sqrt{|x-y|},\quad x,y \geq 0$
$\operatorname{spectrum}(AB) = \operatorname{spectrum}(BA)$?
Folliation and non-vanishing vector field.
Probability of getting a $7$ in Minesweeper
how to get $dx\; dy=r\;dr\;d\theta$
Is the Cayley graph of a word-hyperbolic group a CAT(0) metric space?
Limits of trigonometric functions
Why in a DFA the empty string distinguishes any accept state from any reject state?
How to prove $n!>(\frac{n}{e})^{n}$
Does limit means replacing $x$ for a number?
Formula for the number of connections needed to connect every node in a set?
Intersection of nested closed bounded convex sets in Euclidean space

Let $\Omega$ be a domain in $\mathbb C$, and let $\mathscr X$ be some class of functions from $\Omega$ to $\mathbb C$. A set $E\subset \Omega$ is called *removable for holomorphic functions of class $\mathscr X$* if the following holds: every function $f\in\mathscr X$ that is holomorphic on $\Omega\setminus E$ is actually holomorphic on $\Omega$, possibly, after being redefined on $E$.

(An example of the above: $E$ is a line interval, $\mathscr X$ consists of continuous functions. In this case $E$ is removable, which is shown in the answer.)

It is clear that the larger $\mathscr X$ is, the smaller is the class of removable sets. In the extreme case, if $\mathscr X$ contains all functions $\Omega\to\mathbb C$, there are no nonempty removable sets. Indeed, if $a\in E$, then $f(z)=\frac{1}{z-a}$ (arbitrarily defined at $z=a$) is holomorphic on $\Omega\setminus E$ but has no holomorphic extension to $\Omega$.

- Topology and analytic functions
- Is the ring of holomorphic functions on $S^1$ Noetherian?
- Residue Calculation
- Can two analytic functions that agree on the boundary of a domain, each from a different direction, can be extending into one function?
- Proving that $\sum\limits_{n = 0}^{2013} a_n z^n \neq 0$ if $a_0 > a_1 > \dots > a_{2013} > 0$ and $|z| \leq 1$
- Riemann zeta function and the volume of the unit $n$-ball

The problem of describing removable sets is nontrivial in many classes $\mathscr X$ such as

- $L^{\infty}(\Omega)$, bounded functions
- $C(\Omega)$, continuous functions
- $C^{\alpha}(\Omega)$, Hölder continuous functions
- $\mathrm{Lip}(\Omega)$, Lipschitz functions

Which sets are removable for holomorphic functions in these classes?

- Is there an elementary method for evaluating $\displaystyle \int_0^\infty \frac{dx}{x^s (x+1)}$?
- Evaluating $\int\limits_0^\infty \! \frac{x^{1/n}}{1+x^2} \ \mathrm{d}x$
- Evaluating $\int\limits_0^\infty \frac{\log x} {(1+x^2)^2} dx$ with residue theory
- Sources on Several Complex Variables
- Taylor series for $e^z\sin(z)$
- Why a holomorphic function satisfying these conditions has to be linear?
- Maximal Ideals in the Ring of Complex Entire Functions
- Can any meromorphic function be represented as a product of zeroes and poles?
- Type of singularities of $\frac{z}{e^z-1}$
- integrate $dx/(a^2 \cos^2x+b^2 \sin^2x)^2$

Let’s begin with a concrete result: If $L$ is a line, then $L\cap \Omega$ is removable for $\mathscr X=C(\Omega)$. Let $f\in C(\Omega)$ be holomorphic on $\Omega\setminus L$. By Morera’s theorem it suffices to prove that the integral of $f$ along the boundary of every triangle $T\subset \Omega$ is zero. Consider three cases:

- $T$ does not meet $L$. This case is clear.
- $T$ has a side that lies on $L$. Let $T_n=T+\delta_n$ where $\delta_n$ are complex numbers such that $\delta_n\to 0$ and $T_n\cap L=\varnothing$. In other words, we translate $T$ by a small amount to move it off the line $L$. Using the uniform continuity of $f$ on compact subsets of $\Omega$, we find that $$\int_{\partial T}f(z)\,dz=\lim_{n\to\infty}\int_{\partial T_n}f(z)\,dz=0$$
- $T$ has points on both sides of $L$. Then $L$ divides $T$ into a triangle and another polygon (triangle or quadrangle). The quadrangle can be further divided into two triangles. The integral of $f$ over the boundary of each resulting triangle is $0$ by the above. Add these integrals together to obtain $\int_{\partial T}f(z)\,dz=0$.

To complement the above result: a line segment is not removable for $\mathscr X=L^{\infty}(\mathbb C)$. Indeed, the function $f=z+z^{-1}$ maps the unit disk $\mathbb D$ bijectively onto $\mathbb C\setminus [-2,2]$. The inverse $g=f^{-1}$ is holomorphic in $\mathbb C\setminus [-2,2]$ and is bounded by $1$, but has no holomorphic extension to $\mathbb C$. (For one thing, $g(z)$ approaches both $i$ and $-i$ as $z\to 0$. For another, a holomorphic extension would have to be constant by Liouville’s theorem.)

The case $\mathscr X=C^{\alpha}(\Omega)$, $0\le \alpha<1$, was settled by E. P. Dolzhenko in 1963: a compact set $E$ is removable if and only if its $(1+\alpha)$-dimensional Hausdorff measure is zero.

As often happens, the integer Hölder exponent turned out to be harder than fractional. It waited under 1979, when Nguyen Xuan Uy proved that a compact set $E$ is removable for holomorphic functions of class $\mathrm{Lip}(\Omega)$ if and only if $E$ has 2-dimensional measure zero.

The two remaining cases, $L^\infty$ and $C$, are much more involved. Two classical results are:

- A set of $1$-dimensional measure $0$ is removable for $L^\infty$ (hence also for $C$).
- A set of Hausdorff dimension greater than $1$ is not removable for $C$ (hence also for $L^\infty$).

But the removable sets for these classes admit no complete characterization in terms of Hausdorff measures. Instead, they are studied via the concepts of analytic capacity $\gamma$ and continuous analytic capacity $\alpha$ (the latter is defined similarly to $\gamma$ but using $C$ instead of $L^{\infty}$.) Removability is easily shown to be equivalent to the vanishing of the appropriate capacity. One then proceeds to investigate necessary and sufficient conditions for the vanishing of analytic capacity, its invariance under classes of maps, continuity under nested unions/intersections, etc… The webpage of Xavier Tolsa has a wealth of information on this topic.

- Easy proof of Black-Scholes option pricing formula
- Zeros of the decimal representation of $k!$
- How to compute the L^2-distance of a given function to the set of Gaussian functions
- Uniformly continuous function acts almost like an Lipschitz function?
- Proving $\left(A-1+\frac1B\right)\left(B-1+\frac1C\right)\left(C-1+\frac1A\right)\leq1$
- non-symmetric version of compact = totally bounded + complete
- Integral vanishes on all intervals implies the function is a.e. zero
- One-to-one correspondence of ideals in the quotient also extends to prime ideals?
- If $X$ has a metric $d$ then the topology induced by $d$ is the smallest topology relative to which $d$ is continuous
- What's so special about sine? (Concerning $y'' = -y$)
- Rule for multiplying rational numbers
- Find a function $f: \mathbb{R} \to \mathbb{R}$ that is continuous at precisely one point?
- Index of the subgroup $\operatorname{Im}(f)$
- Integers and integer functions
- Why can't you take the limit of a 2-D function in every direction and call that the limit if they're equal?