Skip to main content
MathOverflow

Return to Question

deleted 4 characters in body
Source Link
Analysis Now
Analysis Now
  • 1.5k
  • 13
  • 25

Let $f:S^n\to C$ be a continuous function, $n\geq 1$. When $n=1$, this is a well-known theorem, called Kellog's theorem (or sometimes Kellog-Warschawski's theorem) which states the following

Theorem: Fix $k \geq 0, 0<\alpha<1$. Let $f\in C^{k,\alpha}(S^1)$. Then its harmonic extension $H(f)$, which is the solution to the Dirichlet problem on the unit disk $D$ with boundary value $f$, is in $C^{k+1, \alpha}(D)$$C^{k, \alpha}(D)$.

My main question is: is the above true for $n\geq 2$ as well? Any refernces/ suggestions?

While I don't know exactly a complete reference for the proof, but I have read the following theorem mentioned in the book "Boundary Behaviour of Conformal maps" by Christian Pommerenke which states:

Let $F:D\to\Omega $ be a conformal homeomorphism of $D$ onto a Jordan domain $\Omega$ whose boundary curve $\partial\Omega$ has a $C^{k,\alpha}$ -parametrization. Then $f\in C^{k+1, \alpha}(D)$$f\in C^{k, \alpha}(D)$. Note that any conformal homeomorphism $F$ of $D$ onto a Jordan domain extends to the boundary of $D$, by Caratheodory's extension theorem.

Let $f:S^n\to C$ be a continuous function, $n\geq 1$. When $n=1$, this is a well-known theorem, called Kellog's theorem (or sometimes Kellog-Warschawski's theorem) which states the following

Theorem: Fix $k \geq 0, 0<\alpha<1$. Let $f\in C^{k,\alpha}(S^1)$. Then its harmonic extension $H(f)$, which is the solution to the Dirichlet problem on the unit disk $D$ with boundary value $f$, is in $C^{k+1, \alpha}(D)$.

My main question is: is the above true for $n\geq 2$ as well? Any refernces/ suggestions?

While I don't know exactly a complete reference for the proof, but I have read the following theorem mentioned in the book "Boundary Behaviour of Conformal maps" by Christian Pommerenke which states:

Let $F:D\to\Omega $ be a conformal homeomorphism of $D$ onto a Jordan domain $\Omega$ whose boundary curve $\partial\Omega$ has a $C^{k,\alpha}$ -parametrization. Then $f\in C^{k+1, \alpha}(D)$. Note that any conformal homeomorphism $F$ of $D$ onto a Jordan domain extends to the boundary of $D$, by Caratheodory's extension theorem.

Let $f:S^n\to C$ be a continuous function, $n\geq 1$. When $n=1$, this is a well-known theorem, called Kellog's theorem (or sometimes Kellog-Warschawski's theorem) which states the following

Theorem: Fix $k \geq 0, 0<\alpha<1$. Let $f\in C^{k,\alpha}(S^1)$. Then its harmonic extension $H(f)$, which is the solution to the Dirichlet problem on the unit disk $D$ with boundary value $f$, is in $C^{k, \alpha}(D)$.

My main question is: is the above true for $n\geq 2$ as well? Any refernces/ suggestions?

While I don't know exactly a complete reference for the proof, but I have read the following theorem mentioned in the book "Boundary Behaviour of Conformal maps" by Christian Pommerenke which states:

Let $F:D\to\Omega $ be a conformal homeomorphism of $D$ onto a Jordan domain $\Omega$ whose boundary curve $\partial\Omega$ has a $C^{k,\alpha}$ -parametrization. Then $f\in C^{k, \alpha}(D)$. Note that any conformal homeomorphism $F$ of $D$ onto a Jordan domain extends to the boundary of $D$, by Caratheodory's extension theorem.

Source Link
Analysis Now
Analysis Now
  • 1.5k
  • 13
  • 25

Higher dimensional analogue of Kellog's theorem? (Holder continuity of solution to Dirichlet problem with Holder continuous boundary data)

Let $f:S^n\to C$ be a continuous function, $n\geq 1$. When $n=1$, this is a well-known theorem, called Kellog's theorem (or sometimes Kellog-Warschawski's theorem) which states the following

Theorem: Fix $k \geq 0, 0<\alpha<1$. Let $f\in C^{k,\alpha}(S^1)$. Then its harmonic extension $H(f)$, which is the solution to the Dirichlet problem on the unit disk $D$ with boundary value $f$, is in $C^{k+1, \alpha}(D)$.

My main question is: is the above true for $n\geq 2$ as well? Any refernces/ suggestions?

While I don't know exactly a complete reference for the proof, but I have read the following theorem mentioned in the book "Boundary Behaviour of Conformal maps" by Christian Pommerenke which states:

Let $F:D\to\Omega $ be a conformal homeomorphism of $D$ onto a Jordan domain $\Omega$ whose boundary curve $\partial\Omega$ has a $C^{k,\alpha}$ -parametrization. Then $f\in C^{k+1, \alpha}(D)$. Note that any conformal homeomorphism $F$ of $D$ onto a Jordan domain extends to the boundary of $D$, by Caratheodory's extension theorem.