Results 1 to 1 of 1

Thread: Schwarz Reflection Principle for (Real) Harmonic Functions

  1. #1
    Sep 2009

    Schwarz Reflection Principle for (Real) Harmonic Functions

    Assume $\displaystyle u$ is harmonic in $\displaystyle U^{+}$ and $\displaystyle u\in\mathscr{C}^{2}(\bar{U}^{+})$, where $\displaystyle U$ is the open ball $\displaystyle B_{1}(0)$ of radius $\displaystyle 1$ about the origin in $\displaystyle \mathbb{R}^{n}$, $\displaystyle U^{+}$ being the upper half-ball: $\displaystyle U^{+}:=U\cap\partial\mathbb{R}^{n}_{+}.$

    (This is problem #2.5.-something in Evans PDE text).

    We want to show (under the assumed regularity of $\displaystyle u$) that the odd extension of $\displaystyle u$ into $\displaystyle U^{-}$ provides us a with a harmonic function on all of $\displaystyle U$. That is, if $\displaystyle v=u$ in $\displaystyle U^{+}$, $\displaystyle v=0$ on $\displaystyle \partial U\cap\mathbb{R}^{n}_{\pm}$, and $\displaystyle v=-u(-x)$ in $\displaystyle U^{-}$, then $\displaystyle v$ is harmonic and $\displaystyle \mathscr{C}^{2}$ in all of $\displaystyle U$.

    Okay, it is obvious $\displaystyle v$ is $\displaystyle \mathscr{C}^{2}$ in the separated sets $\displaystyle U^{+}$ and $\displaystyle U^{-}$. Since $\displaystyle u$ is $\displaystyle \mathscr{C}^{2}$ upto the boundary of $\displaystyle U^{+}$ (in particular upto $\displaystyle \bar{U}\cap\mathbb{R}^{n}_{+}$), then it is also clear that $\displaystyle v$ is $\displaystyle \mathscr{C}^{2}$ in all of $\displaystyle \bar{U}$. We also see that $\displaystyle v$ satisfies the mean-value-properties in $\displaystyle U^{+}$ and $\displaystyle U^{-}$, and also on $\displaystyle U\cap\mathbb{R}^{n}_{\pm}$ because of the odd symmetry.

    Here's my problem, and of all the proofs I have seen, this is overlooked. The mean-value properties of $\displaystyle u$ are satisfied on $\displaystyle U^{+}$, $\displaystyle U^{-}$ and $\displaystyle \partial U\cap\mathbb{R}^{n}_{+}$, yes. But only when viewed individually. How do you use the fact that $\displaystyle v\in\mathscr{C}^{2}(\bar{U})$ to then show that the mean-value property is satisfied in all of $\displaystyle U$ (not just the three aforementioned sets when the spherical averages are restricted to the individuals sets). In other words, how do you justify the extending of a spherical average across the three sets (say at a point $\displaystyle x\in U^{+}$ with radius sufficiently large to intersect all three sets, but sufficiently small to remain in $\displaystyle U$).

    I will reiterate this: every proof I have seen does not make explicit reference to the $\displaystyle \mathscr{C}^{2}$ regularity of $\displaystyle v$. If the mean-value property can be demonstrated without $\displaystyle \mathscr{C}^{2}$ regularity, then all one needs is $\displaystyle \mathscr{C}$ regularity (not even differentiability) of $\displaystyle v$ in order to conclude $\displaystyle v$ is harmonic (it is easy to prove that a continuous function which satisfies the mean-value property at every point in an open set is harmonic there). But if this were the case, then why would Evans (and other texts where the problem is posed) be insistent on requiring $\displaystyle u$ being $\displaystyle \mathscr{C}^{2}$ in $\displaystyle \bar{U}^{+}$, and thus $\displaystyle v$ $\displaystyle \mathscr{C}^{2}$ in $\displaystyle \bar{U}$?

    NOTE: In part (b) of this problem, Evans drops the hypothesis that $\displaystyle u$ is $\displaystyle \mathscr{C}^{2}$ upto the boundary, only that $\displaystyle u\in\mathscr{C}^{2}(U^{+})\cap\mathscr{C}(\bar{U})$. But the suggested proof is entirely different: apply the Poisson integral formula for harmonic functions on a disc. Indeed, one solves the problem

    $\displaystyle \left\{\begin{array}{rl}
    \Delta w=0&\text{in}\;U\\
    w=g&\text{on}\;\partial U,\end{array}\right.$

    where $\displaystyle g(x)=u(x)$ on the upper boundary and $\displaystyle g(x)=-u(-x)$ on the lower boundary. The solution is given by the Poisson integral formula, and computing $\displaystyle w(x^{+})$ where $\displaystyle x^{+}\in\mathbb{R}^{n}_{+}\cap U$, we find $\displaystyle w(x^{+})=0$. From uniqueness, we conclude that $\displaystyle w(x)=v$ as above (the odd extension of $\displaystyle u$), and the theorem is proved.

    Anyway, if anyone could help me fill in the details of the mean-value property argument in the first part, I would appreciate it!
    Last edited by TaylorM0192; Feb 13th 2013 at 02:40 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. reflection principle and binary operator
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Aug 3rd 2010, 01:27 AM
  2. Schwarz reflection principle
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 26th 2010, 11:06 AM
  3. Random walks and the reflection principle.. HELP!
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: May 19th 2010, 03:09 PM
  4. Conformal Reflection across Real Axis
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: May 8th 2010, 09:30 AM
  5. Schwarz reflection principle
    Posted in the Calculus Forum
    Replies: 2
    Last Post: Feb 21st 2009, 09:07 PM

Search Tags

/mathhelpforum @mathhelpforum