Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $K$ be a compact of the plane of Lebesgues measure 0 and $\Omega$ a domain containing $K$. Denote by $E$ the vector space of functions that are holomorphic on $\Omega - K$.

I'm interested in knowing whether we can define a $\overline{\partial}$ operator on $E$ in the sense of distributions . The problem is, elements of $E$ do not define a priori distributions since they need not be locally integrable. So the problem amounts to finding a standard way to make them into distributions.

In the case where $f \in E$ is a rational fraction with poles in $K$, the decomposition theorem asserts that it is a sum of $\frac{a_i}{(z-y_i)^{n_i}}$, and those can be made into distributions by taking principal values. Is there a way to generalize this to any $f \in E$ ?

To rephrase more precisely my initial question : is there an operator $L : E \rightarrow D'(\Omega)$ such that :

  • $L = \overline{\partial}$ on $E \cap D'(\Omega)$

  • $L$ is continuous on $\mathbb{C}(z)$ with respect to its topology

For example, $\frac{1}{z(z-\epsilon)} \rightarrow \frac{1}{z^2}$, and $\\overline{\partial} \frac{1}{z(z-\epsilon)} \rightarrow \frac{1}{\pi}\delta'$ in the sense of distributions, so $L\frac{1}{z^2}$ should be $\frac{1}{\pi}\delta'$, and more generally $L\frac{1}{z^n}$ should be $\frac{1}{\pi}\delta^{(n)}(-1)^{n-1}$.

share|improve this question
add comment

1 Answer

up vote 2 down vote accepted

You probably want $L$ to be continuous with respect to the topology of $E$, not just $C(z)$ And $E$ is equipped with its usual topology: uniform convergence on compact subsets of $\Omega\backslash K$.

If this is so, the extension is impossible. Even if your $K$ is one point. In this case a function $f\in E$ expands into a Laurent series $\sum a_nz^n$ and $\overline\partial$ must be an infinite sum of derivatives of $\delta$-function. This will not converge for a test function in the Schwartz space $D$.

But this defines a continuous linear functional on a much smaller space of germs of analytic functions in a neighborhood of $K$, that is a hyperfunction. In other words, in this case $\overline\partial$ does not exist in the sense of distributions but exists in the sense of hyperfunctions.

share|improve this answer
    
Thank you, this helps a lot ! This brings another question to my mind : is there a notion of order of polar part for elements of $E$ ? if not, one might be tempted to define the order of a polar part as the order (plus one) in the sense of distributions when the corresponding hyperfunction is actually a distribution. would it be reasonable ? –  glougloubarbaki Nov 13 '12 at 18:25
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.