## Solvable PDE Problems [closed]

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I'm currently in a PDE course where one of the requirements is to find a common PDE problem and explain how to solve it.

The problems found easily on google won't help me, since every student has to find a different PDE problem and they are all have been chosen by other students.

So please answer to this question if you have any suggestions.

( Excuse me if this isn't the right place to ask this question. )

-
It would help if you could note some of the PDE problems that have already been chosen by other students (if possible). However, I would imagine that if you added some useful insight of your own regarding how to solve a given PDE, then it might not matter so much if another student has already selected it. For example, there can be several ways in which you can motivate the selection of a given solution to a fixed PDE. – Amitesh Datta May 25 2011 at 11:50

1
You might try asking this on math.stackexchange.com, where I think it will receive a warmer reception. – Harry Gindi May 25 2011 at 12:10

## 1 Answer

The PDE that I shall suggest is quite common and therefore it is likely that it has already been selected by another student. However, the analysis of this PDE is vast and very interesting.

The motivation is as follows: let $D$ be the unit disk in the plane (i.e., ${x\in \mathbb{R}^2: \left|x\right|\leq 1}$) and let $f$ be a continuous function defined on the boundary of $D$. We wish to find a harmonic function $u$ defined in the interior of $D$ (i.e., ${x\in\mathbb{R}^2:\left|x\right|<1}$) whose boundary values are $f$; i.e., $u$ is a continuous function required to satisfy the Laplace equation $u_{xx}+u_{yy}=0$ and the function $F$ defined on $D$ by the rule $F(x)=u(x)$ if $\left|x\right|<1$ and $F(x)=f(x)$ if $\left|x\right|=1$ is continuous. This is called the Dirichlet problem in the unit disk.

Similarly, let $1\leq p<\infty$ and let $f\in L^p(\mathbb{R})$. We wish to find a harmonic function $u$ defined in the upper half plane such that $u(x,0)=f(x)$ almost everywhere on the real line. This is called the Dirichlet problem in the upper half plane.

There exist approaches to both problems that use general measure theory in a particularly enlightening manner. I will briefly sketch the solutions; if you wish to see a more comprehensive treatment, you may look at Walter Rudin's Real and Complex Analysis (2nd. edition), chapter 11, and Loukas Grafakos' Classical Fourier Analysis, chapter 2, pages 84-87.

Solution to Dirichlet's problem in the unit disk: the general approach is to define $u$ as the Poisson integral of $f$. More precisely, we define $u(re^{i\theta})=\frac{1}{2\pi} \int_{-\pi}^{\pi} P_r(\theta - t)f(t) dt$ for $0\leq r < 1$, where $P_r(t)= \frac{1-r^2}{1-2r\cos(t)+r^2}$ is the Poisson kernel.

Solution to Dirichlet's problem in the upper half plane: the general approach is to first define the Poisson kernel $P_t(x)=c\frac{t}{x^2+t^2}$ (for $t>0$, $x\in\mathbb{R}$, and $c=\frac{1}{\pi}$) and then define $u(x,t)=(P_t * f)(x)$; the convolution of $P_t$ and $f$ on the real line. Since ${P_t}_{t>0}$ is an approximate identity on $\mathbb{R}$, it follows that $u(x,t)$ converges to $f(x)$ in $L^p$ as $t\to 0$. In fact, this convergence is a.e. (the proof is non-trivial; one approach is to use maximal functions) and this implies that we have solved the Dirichlet problem in the upper half plane.

I hope that I have helped and I apologize for the somewhat sketchy proofs! I have certainly noted some non-trivial facts and I recommend you to look at Rudin and Grafakos for the details. Of course, I should add that the solutions that I have presented will be much more meaningful if you are familiar with measure theory and elementary complex analysis.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 38, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9540932774543762, "perplexity_flag": "head"}