The functions is equal to zero for x=0

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Functions Zero
Click For Summary
SUMMARY

The discussion centers on proving that the solution to the Cauchy problem defined by $u_t = u_{xx}$ with initial condition $u(0,x) = \phi(x)$, where $\phi(x)$ is an odd function, results in $u(t,0) = 0$ for all $t \geq 0$. The theorem states that the solution can be expressed as $u(t,x) = \int_{\mathbb{R}} \Gamma(t,x-\xi) \phi(\xi) d{\xi}$. By leveraging the even nature of the heat kernel $\Gamma(t,u)$ and the oddness of $\phi(u)$, the integral evaluates to zero, confirming that $u(t,0) = 0$.

PREREQUISITES
  • Understanding of partial differential equations, specifically the heat equation.
  • Familiarity with the properties of even and odd functions.
  • Knowledge of integral transforms and their applications in solving differential equations.
  • Basic concepts of functional analysis, particularly in relation to bounded functions.
NEXT STEPS
  • Study the properties of the heat kernel $\Gamma(t,x)$ in detail.
  • Explore the implications of odd and even functions in mathematical analysis.
  • Learn about the Cauchy problem and its solutions in the context of PDEs.
  • Investigate the use of integral transforms in solving boundary value problems.
USEFUL FOR

Mathematicians, physicists, and students studying partial differential equations, particularly those interested in the heat equation and its applications in various fields.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

We consider the following Cauchy problem

$u_t=u_{xx} \text{ in } (0,T) \times \mathbb{R} \\ u(0,x)=\phi(x) \text{ where } \phi(x)=-\phi(-x), x \in \mathbb{R} $

I want to show that $ u(t,0)=0, \forall t \geq 0 $.

We have the following theorem:

Let $\phi \in C^0(\mathbb{R}^n)$ and bounded. Then

$u(t,x)=\int_{\mathbb{R}^n} \Gamma (t,x-\xi) \phi(\xi)d{\xi} $

is the solution of the problem

$ u_t-\Delta u=0 \text{ in } (0,T) \times \mathbb{R}^n, T>0 \\ u(0,x)=\phi(x), x \in \mathbb{R}^n $.

From this we have that the solution of the given problem is

$ u(t,x)=\int_{\mathbb{R}} \Gamma(t,x-\xi) \phi(\xi) d{\xi}=-\int_{\mathbb{R}} \Gamma(t,x-\xi) \phi(-\xi) d{\xi}=\int_{\mathbb{R}}\Gamma(t,x+u) \phi(u) du$

So we have that $u(t,0)=\int_{\mathbb{R}} \Gamma(t,u) \phi(u)du$.

How can we show that the latter is equal to 0?
 
Physics news on Phys.org
Hi evinda,

If I'm not mistaken, $\Gamma(t,u)$ is an even function of $u$. Combining this with the oddness of $\phi(u)$ should do the trick.
 
Yes, we have that $\Gamma (t, x-\xi)=\frac{1}{2^n [\pi t]^{\frac{n}{2}}} e^{\frac{|x-\xi|^2}{4t}}$.

So we have that

$$u(t,x)=\int_{\mathbb{R}} \Gamma (t,x-\xi) \phi(\xi) d{\xi}$$

For $x=0$: $u(t,0)=\int_{\mathbb{R}} \Gamma (t, -\xi) \phi(\xi) d{\xi}=\int_{\mathbb{R}^n} \Gamma(t,\xi) (-\phi(-\xi)) d{\xi}=-\int_{\mathbb{R}} \Gamma(t,\xi) \phi(\xi) d{\xi}$

So we have that $\int_{\mathbb{R}} \Gamma(t,-\xi) \phi(\xi) d{\xi}=\int_{\mathbb{R}} \Gamma(t,\xi) \phi(\xi) d{\xi}=-\int_{\mathbb{R}} \Gamma(t,\xi) \phi(\xi) d{\xi} \Rightarrow \int_{\mathbb{R}} \Gamma(t,\xi) \phi(\xi) d{\xi}=0$.

Right?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
8
Views
4K
Replies
17
Views
6K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
Replies
0
Views
2K