Proving Laplace Equation in $\Omega_{(a,b)}$

Click For Summary

Discussion Overview

The discussion revolves around proving that a function \( v \) defined on a translated domain \( \Omega_{(a,b)} \) satisfies the Laplace equation, given that a function \( u \) satisfies the same equation in the original domain \( \Omega \). Participants explore the application of the chain rule and the continuity of derivatives in this context.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • Some participants propose that since \( v \) is the composition of \( u \) with a translation map, and \( u \) is \( C^2 \), then \( v \) must also be \( C^2 \) in \( \Omega_{(a,b)} \).
  • There is a suggestion to use the chain rule to show that \( \frac{\partial^2 v}{\partial X^2} + \frac{\partial^2 v}{\partial Y^2} = 0 \) follows from \( \Delta u = 0 \).
  • One participant questions whether it is necessary to show that \( v \) has continuous derivatives to establish that \( v \in C^2(\Omega_{(a,b)}) \).
  • Another participant asserts that \( v \) being the composition of \( C^2 \) maps guarantees its \( C^2 \) nature.

Areas of Agreement / Disagreement

Participants generally agree on the application of the chain rule and the composition of \( C^2 \) functions, but there is some uncertainty regarding the necessity of demonstrating the continuity of derivatives for \( v \).

Contextual Notes

Limitations include the lack of explicit demonstration of continuous derivatives for \( v \) and the dependence on the definitions of \( C^2 \) functions.

Julio1
Messages
66
Reaction score
0
Let $\Omega$ an open domain in $\mathbb{R}^2.$ Suppose that $u$ is an application $C^2$ that satisfy the Laplace equation $\Delta u=0$ in $\Omega.$ Let $\Omega_{(a,b)}=\{(x+a,y+b): (x,y)\in \Omega\}$ and define $v(X,Y)=u(X-a,Y-b)$ for all $(X,Y)\in \Omega_{(a,b)}.$ Show that $v$ is an application $C^2$ on $\Omega_{(a,b)}$ and satisfy the equation $\dfrac{\partial^2 v}{\partial X^2}+\dfrac{\partial^2 v}{\partial Y^2}=0$ in $\Omega_{(a,b)}.$

Hello MHB :). My question is, can use Chain Rule for this case? and how or that form can be used?
 
Physics news on Phys.org
Can someone help me out?
 
Hi Julio,

Let $x = X-a$ and $y=Y-b$, so that $v(X,Y)=u(x,y)$. Since $v$ is the composition of $u$ with the translation map $(X,Y) \mapsto (X-a,Y-b)$ and $u$ is $C^2$ in $\Omega$, then $v$ is $C^2$ in $\Omega_{(a,b)}$. By the chain rule, argue that $$\frac{\partial^2 v} {\partial X^2} + \frac{\partial^2 v}{\partial Y^2} = \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0.$$
 
Euge said:
Hi Julio,

Let $x = X-a$ and $y=Y-b$, so that $v(X,Y)=u(x,y)$. Since $v$ is the composition of $u$ with the translation map $(X,Y) \mapsto (X-a,Y-b)$ and $u$ is $C^2$ in $\Omega$, then $v$ is $C^2$ in $\Omega_{(a,b)}$. By the chain rule, argue that $$\frac{\partial^2 v} {\partial X^2} + \frac{\partial^2 v}{\partial Y^2} = \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0.$$

Thanks Euge :).

But for show that $v\in C^2(\Omega_{(a,b)})$ I don't can show that $v$ has continuous derivate? It is necessary for this case?
 
Can help me? :(
 
Julio, please do not bump threads. Since $v$ is the composition of $C^2$ maps (i.e., the map $u$ and the translation map $(X,Y) \mapsto (X-a,Y-b)$), it is $C^2$.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 4 ·
Replies
4
Views
11K
  • · Replies 5 ·
Replies
5
Views
3K