Intereting Posts

How to determine whether a number can be written as a sum of two squares?
Defining the Product of Ideals
the product of diagonals of a regular polygon
Rotation invariant tensors
limit as $x$ approaches infinity of $\frac{1}{x}$
Relation betwen coefficients and roots of a polynomial
Homology groups of the Klein bottle
How to prove the mathematical induction is true?
Lebesgue measurability of nearly identical sets
Independence and Conditional Independence between random variables
Why/How are there infinite points in a line segment?
What's the quickest way to see that the subset of a set of measure zero has measure zero?
Topological counterexample: compact, Hausdorff, separable space which is not first-countable
True or False $A – C = B – C $ if and only if $A \cup C = B \cup C$
Prove that $|a+b|^p \leq 2^p \{ |a|^p +|b|^p \}$

I need to solve the following problem on the infinite strip:

$\displaystyle \begin{align} u_{xx}(x,y) + u_{yy}(x,y) = 0, & -\infty < x < \infty, & 0<y<1 \\ u(x,0)= \begin{cases}1, &\text{if}\, |x|<2 \\ 0 & \text{if}\, |x|>2 \end{cases} \\u(x,1) = 0,\,\,\, -\infty < x < \infty\\ u(x,y)\,\text{bounded for}\,|x|\to \infty\end{align}$.

The first thing I did was try to find the transformed problem: letting $\displaystyle U(\alpha,y) = \frac{1}{2\pi}\int_{-\infty}^{\infty}u(x,y)\exp[-i \alpha x]dx$, $\mathcal{F}[u_{xx}(x,y)]=-\alpha^{2}U(\alpha,y)$, and $\mathcal{F}[u_{yy}(x,y)]=U^{\prime\prime}(\alpha,y)$,

- Find the solution of the Dirichlet problem in the half-plane y>0.
- Unilateral Laplace Transform vs Bilateral Fourier Transform
- find the fourier cosine transform of the function defined by $\displaystyle f(x)= \frac1{1+x^2}$
- Does this integral have a closed form or asymptotic expansion? $\int_0^\infty \frac{\sin(\beta u)}{1+u^\alpha} du$
- Fourier Transform Proof $ \mathcal F(f(x)g(x))=(\frac{1}{2\pi})F(s)*G(s)$
- Fourier cosine transforms of Schwartz functions and the Fejer-Riesz theorem

the transformed problem is

$\begin{align}-\alpha^{2}U(\alpha,y)+U^{\prime\prime}(\alpha,y)=0 \end{align}$, whose solution is of the form

$\displaystyle \begin{align} U(\alpha,y)=A \exp[-|\alpha|y]+B\exp[|\alpha|y] .\end{align}$

Then, to apply the boundary conditions, we must first transform them.

For $f(x) = u(x,0)=\begin{cases} 1, &\text{if}\,|x|<2 \\ 0 & \text{if}\,|x|>2 \end{cases}$, $\displaystyle F(\alpha) = \int_{-2}^{2}\exp[-ix\alpha]dx = \frac{1}{\alpha \pi}\sin (2 \alpha)$.

For $g(x) = u(x,1)=0$, I’m supposing that $\displaystyle G(\alpha) = \int_{-\infty}^{-2} 0 \cdot \exp[-ix\alpha]dx + \int_{2}^{\infty} 0 \cdot \exp[-ix\alpha]dx = 0$.

Now, applying the boundary condition that $U(\alpha,0) = F(\alpha)$, we have that $\displaystyle A \exp[-|\alpha|\cdot 0] + B \exp[|\alpha|\cdot 0] = \frac{1}{\alpha \pi}\sin(2\alpha)$ implies that $\displaystyle \mathbf{A + B = \frac{1}{\alpha \pi} \sin (2 \alpha)}\,\,(1)$

Applying the boundary condition that $U(x,1)=0$, we have that $A \exp[-|\alpha|]+B\exp[|\alpha|]=0 \, \Longrightarrow exp[|\alpha|]\left(A\exp[-2|\alpha|]+B \right) = 0 \, \Longrightarrow \mathbf{A\exp[-2|\alpha|]+B = 0}\,\,(2)$

Solving equation $(2)$ for $B$: $\displaystyle B = -A\exp[-2|\alpha|]$, and substituting into $(1)$, we obtain the following expression for $A$:

$\displaystyle \begin{align} A – A\exp[-2|\alpha|] = \frac{1}{\alpha \pi}\sin(2 \alpha)\\ \Longrightarrow \, A(1-\exp[-2|\alpha|] = \frac{1}{\alpha \pi} \sin(2 \alpha) \\ \Longrightarrow \,\frac{\sin(2 \alpha)}{\alpha \pi (1-\exp[-2|\alpha|])} \\ \Longrightarrow\mathbf{A = \frac{\exp[2|\alpha|]\cdot\sin(2 \alpha)}{\alpha \pi (\exp[2|\alpha|]-1)}}\end{align}$

Sustituting this back into $(2)$, we get that $\displaystyle \mathbf{B} = -\frac{\sin(2\alpha)}{\alpha \pi (\exp[2|\alpha|]-1)}$

So, the solution to the transformed problem is $\begin{align}\displaystyle U(\alpha,y)= \frac{\exp[2|\alpha|]\cdot \sin(2 \alpha)}{\alpha \pi(\exp[2|\alpha|]-1)}\exp[-|\alpha|y] – \frac{\sin(2\alpha)}{\alpha \pi (\exp[2|\alpha|]-1)}\exp[|\alpha|y]\\ = \frac{\exp[|\alpha|(2-y)]}{\exp[2|\alpha|]-1}F(\alpha) – \frac{\exp[|\alpha|y]}{(\exp[2|\alpha|-1)}F(\alpha)\end{align}$

Now, I need to apply the inverse transform in order to get back from $U(\alpha,y)$ to $u(x,y)$. So, I thought I would do it for each summand in $U(\alpha,y)$ individually.

So, for $\displaystyle\frac{\exp[|\alpha|(2-y)]}{\exp[2|\alpha|]-1}F(\alpha) $, let $\displaystyle H_{1}(\alpha) = \frac{\exp[|\alpha|(2-y)]}{\exp[2|\alpha|]-1}$. Then if $u_{1}(x,y)-u_{2}(x,y) = u(x,y)$, $\displaystyle \mathbf{u_{1}(x,y)} = f * h_{1} = \frac{1}{2\pi} f * \mathcal{F}^{-1}\left[\frac{\exp[|\alpha|(2-y)]}{\exp[2|\alpha|]-1} \right]$.

Then, this $\displaystyle = \frac{1}{2\pi}\int_{-\infty}^{\infty}f(z) \cdot\mathcal{F}^{-1}\left[\frac{\exp[|\alpha|(2-y)]}{\exp[2|\alpha|]-1} \right]dz = \frac{1}{2 \pi}\int_{-2}^{2}1\cdot\mathcal{F}^{-1}\left[\frac{\exp[|\alpha|(2-y)]}{\exp[2|\alpha|]-1} \right]dz \\ \displaystyle \mathbf{= \frac{1}{2 \pi}\int_{-2}^{2}\mathcal{F}^{-1}\left[\frac{\exp[|\alpha|(2-y)]}{\exp[2|\alpha|]-1} \right]dz} $.

Also, for $\displaystyle \frac{\exp[|\alpha|y]}{(\exp[2|\alpha|-1)}F(\alpha)$, let $\displaystyle H_{2}(\alpha) = \frac{\exp[|\alpha|y]}{(\exp[2|\alpha|-1)}$. Then $\displaystyle \mathbf{u_{2}(x,y)} =f * h_{2} = \frac{1}{2\pi} f * \mathcal{F}^{-1} \left[\frac{\exp[|\alpha|y]}{(\exp[2|\alpha|-1)}\right] = \frac{1}{2\pi}\int_{-\infty}^{\infty}f(z)\cdot\mathcal{F}^{-1} \left[\frac{\exp[|\alpha|y]}{(\exp[2|\alpha|-1)}\right] dz\\ \displaystyle = \frac{1}{2\pi}\int_{-2}^{2}1 \cdot \mathcal{F}^{-1} \left[\frac{\exp[|\alpha|y]}{(\exp[2|\alpha|-1)}\right] dz \\ \displaystyle \mathbf{ = \frac{1}{2\pi}\int_{-2}^{2} \mathcal{F}^{-1} \left[\frac{\exp[|\alpha|y]}{(\exp[2|\alpha|-1)}\right] dz} $.

**But, I can go no further until I can figure out what $\displaystyle \mathcal{F}^{-1}\left[\frac{\exp[|\alpha|(2-y)]}{\exp[2|\alpha|]-1} \right]$ and $\displaystyle \mathcal{F}^{-1} \left[\frac{\exp[|\alpha|y]}{(\exp[2|\alpha|-1)}\right]$ are, and I have no idea how to do that.**

The answer given in the back of my book is weird: $\displaystyle u(x,y) = \frac{1}{\pi}\sum_{n=0}^{\infty} \left[\arctan \left(\frac{x+2}{2n+y} \right)- \arctan \left( \frac{x-2}{2n+y}\right) \\- \arctan \left(\frac{x+2}{2n+2-y} \right) + \arctan \left(\frac{x-2}{2n+2-y} \right) \right]$.

So, first of all, how do I find the inverse Fourier transforms of those things I bolded a couple of paragraphs ago, and how are these series going to come into play in my solution? Please be as detailed and explicit as possible in your answer. Thank you.

- Find the solution of the Dirichlet problem in the half-plane y>0.
- Harmonic functions with zeros on two lines
- Composition of a harmonic function with a holomorphic function
- Bounded, non-constant harmonic functions: how far are they from existing?
- Maps in $\mathbb{R}^n$ preserving harmonic functions
- Rewriting the time-independent Schrödinger equation for a simple harmonic oscillating potential in terms of new variables
- Why don't elliptic PDE's have a time coordinate?
- Is there a non-affine harmonic map with constant determinant?
- Laplacian Boundary Value Problem
- Fourier Transform Proof $ \mathcal F(f(x)g(x))=(\frac{1}{2\pi})F(s)*G(s)$

Separation of variables gives

$$

\frac{X”}{X} = \lambda = -\frac{Y”}{Y}.

$$

Because you want solutions that remain bounded in $x$ as $|x|\rightarrow\infty$, that dictates $\lambda = -\mu^2$ where $\mu$ is real. Otherwise you get exponential solutions that explode at one or both of $\pm\infty$. Because $y(1)=0$ needs to hold, then the solutions are

$$

X(x)=e^{i\mu x},\;\;Y(y)=\sinh(\mu(y-1)).

$$

The trial solution is an integral “sum” of such solutions

$$

u(x,y)=\int_{-\infty}^{\infty}c(\mu)e^{i\mu x}\sinh(\mu(y-1))d\mu.

$$

The coefficient $c(\mu)$ is determined by

$$

u(x,0) = -\int_{-\infty}^{\infty}c(\mu)e^{i\mu x}\sinh(\mu)d\mu.

$$

The function $u(x,0)$ is $1$ for $-2 \le x \le 2$ and is $0$ otherwise. So you want to find coefficients $c(\mu)$ such that

$$

\chi_{[-2,2]}(x) = -\int_{-\infty}^{\infty}c(\mu)e^{i\mu x}\sinh(\mu)d\mu.

$$

Multiplying by $e^{-is x}$, integrating and using the Fourier orthogonality trick,

$$

\frac{1}{2\pi}\int_{-2}^{2}e^{-is x}dx = -c(s)\sinh(s) \\

\frac{1}{\pi}\frac{e^{-i2s}-e^{i2s}}{-2is}= -c(s)\sinh(s) \\

\frac{1}{\pi}\frac{\sin(2s)}{s}=-c(s)\sinh(s) \\

c(s) = -\frac{1}{\pi}\frac{\sin(2s)}{s\sinh(s)}.

$$

Therefore, the solution $u(x,y)$ is given by

$$

u(x,y)=-\frac{1}{\pi}\int_{-\infty}^{\infty}e^{i\mu x}\frac{\sin(2\mu)}{\mu}\frac{\sinh(\mu(y-1))}{\sinh(\mu)}d\mu.

$$

I may be off by a negative. I don’t see how you’re going to get a discrete sum out of that integral. You can easily check that the above is the correct solution, so far as it goes. Differentiating twice in $x$ gives the negative of differentiating twice in $y$. Clearly $u(x,1)=0$, and $u(x,0)$ isn’t hard to check either. $\sinh(\mu)$ has zeros on the imaginary axis, and maybe they’re using residues somehow, but I don’t see how that would give arctan terms.

- Finding the Circulation of a Curve in a Solid. (Vector Calculus)
- Extract real and imaginary parts of $\operatorname{Li}_2\left(i\left(2\pm\sqrt3\right)\right)$
- Selfadjoint Restrictions of Legendre Operator $-\frac{d}{dx}(1-x^{2})\frac{d}{dx}$
- The limit of a convergent Gaussian random variable sequence is still a Gaussian random variable
- Circle revolutions rolling around another circle
- Suggest books in calculus to improve problem solving skills
- Is $t\mapsto \left|\cos (t)\right|$ a characteristic function?
- How can I show that $ab \sim \gcd (a,b) {\operatorname{lcm} (a,b)}$ for any $a,b \in R \setminus \{0\}$?
- Why is it that shuffling a deck so that all permutations are equally likely requires swapping only later elements?
- How to prove this inequality(7)?
- Proof on Riemann's Theorem that any conditionally convergent series can be rearranged to yield a series which converges to any given sum.
- De Rham Cohomology of the tangent bundle of a manifold
- The group $\mathbb Q^*$ as a direct product/sum
- Is $\{0\}$ a field?
- The Cantor set is homeomorphic to infinite product of $\{0,1\}$ with itself – cylinder basis – and it topology