Separation of variables and non-constant boundaries?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












I am not sure why I am having a difficult time answering this seemingly simple question. (Perhaps I learned this topic only very superficially.)



Let us assume that we have a wave equation defined for some time $tin [0,infty)$ on some domain $D$:



$partial_t^2 phi = nabla^2 phi$,



with $phi(x,y,t)$.



The go-to method to solve this system is to use separation of variables: $phi = X(x)Y(y)T(t)$.



This makes sense if the boundaries of the domain are constants, but what if they are allowed to vary (let's only vary in space for now)?



For example, let $D$ be a box with vertical sides, and some curve $y_1(x)$ for the top, and another curve $y_2(x)$ for the bottom.



This seems like a silly question. Of course we cannot separate the solutions. We will find that $Y(y)$ is somehow dependent on $x$.



But then, we assume spatially dependent initial values in the wave equation all the time...



What am I overlooking here? I feel like there is something subtle happening and I really can't put my finger on it.



Is there a proof that anybody can provide which goes one way or another?



Thanks.







share|cite|improve this question



















  • Separation of variables does not work here exactly because of what you said. The boundary conditions are coupling $x,y$ together, so how can the spatial part of the solution be of the form $X(x)Y(y)$, as in they are independent.
    – Hamed
    Jul 26 at 20:01










  • In more physical terms, the usual boundary conditions give you a standing wave with endpoints fixed on the boundary. In your case, a similar solution is a standing wave terminating on your boundary. Obviously, this a very complicated wave squeezing, streching and twisting as $x$ varies. You can probably make a homemade experiment to see this. Get a thin piece of metal which can be bent. Soak it in soap water and create a bubble. Give the metal an irregular shape and slowly oscillate up and down (careful not to break the bubble). What you'll see is a very complicated motion.
    – Hamed
    Jul 26 at 20:07










  • Yes, this was sort of what I was looking for, but not quite. Regarding the initial conditions being a function of space: This works precisely because initial conditions are defined at a t = constant value. Regarding boundaries which vary in space: I think that we need to define the boundary for a constant value of y (as in the example above). Otherwise, we need to find a new coordinate system in which we do have a boundary at a constant value of one of the coordinate variables. Separation of variables is then possible if the Laplacian in the new coordinates is diagonalizable.
    – user109527
    Jul 27 at 19:25














up vote
0
down vote

favorite












I am not sure why I am having a difficult time answering this seemingly simple question. (Perhaps I learned this topic only very superficially.)



Let us assume that we have a wave equation defined for some time $tin [0,infty)$ on some domain $D$:



$partial_t^2 phi = nabla^2 phi$,



with $phi(x,y,t)$.



The go-to method to solve this system is to use separation of variables: $phi = X(x)Y(y)T(t)$.



This makes sense if the boundaries of the domain are constants, but what if they are allowed to vary (let's only vary in space for now)?



For example, let $D$ be a box with vertical sides, and some curve $y_1(x)$ for the top, and another curve $y_2(x)$ for the bottom.



This seems like a silly question. Of course we cannot separate the solutions. We will find that $Y(y)$ is somehow dependent on $x$.



But then, we assume spatially dependent initial values in the wave equation all the time...



What am I overlooking here? I feel like there is something subtle happening and I really can't put my finger on it.



Is there a proof that anybody can provide which goes one way or another?



Thanks.







share|cite|improve this question



















  • Separation of variables does not work here exactly because of what you said. The boundary conditions are coupling $x,y$ together, so how can the spatial part of the solution be of the form $X(x)Y(y)$, as in they are independent.
    – Hamed
    Jul 26 at 20:01










  • In more physical terms, the usual boundary conditions give you a standing wave with endpoints fixed on the boundary. In your case, a similar solution is a standing wave terminating on your boundary. Obviously, this a very complicated wave squeezing, streching and twisting as $x$ varies. You can probably make a homemade experiment to see this. Get a thin piece of metal which can be bent. Soak it in soap water and create a bubble. Give the metal an irregular shape and slowly oscillate up and down (careful not to break the bubble). What you'll see is a very complicated motion.
    – Hamed
    Jul 26 at 20:07










  • Yes, this was sort of what I was looking for, but not quite. Regarding the initial conditions being a function of space: This works precisely because initial conditions are defined at a t = constant value. Regarding boundaries which vary in space: I think that we need to define the boundary for a constant value of y (as in the example above). Otherwise, we need to find a new coordinate system in which we do have a boundary at a constant value of one of the coordinate variables. Separation of variables is then possible if the Laplacian in the new coordinates is diagonalizable.
    – user109527
    Jul 27 at 19:25












up vote
0
down vote

favorite









up vote
0
down vote

favorite











I am not sure why I am having a difficult time answering this seemingly simple question. (Perhaps I learned this topic only very superficially.)



Let us assume that we have a wave equation defined for some time $tin [0,infty)$ on some domain $D$:



$partial_t^2 phi = nabla^2 phi$,



with $phi(x,y,t)$.



The go-to method to solve this system is to use separation of variables: $phi = X(x)Y(y)T(t)$.



This makes sense if the boundaries of the domain are constants, but what if they are allowed to vary (let's only vary in space for now)?



For example, let $D$ be a box with vertical sides, and some curve $y_1(x)$ for the top, and another curve $y_2(x)$ for the bottom.



This seems like a silly question. Of course we cannot separate the solutions. We will find that $Y(y)$ is somehow dependent on $x$.



But then, we assume spatially dependent initial values in the wave equation all the time...



What am I overlooking here? I feel like there is something subtle happening and I really can't put my finger on it.



Is there a proof that anybody can provide which goes one way or another?



Thanks.







share|cite|improve this question











I am not sure why I am having a difficult time answering this seemingly simple question. (Perhaps I learned this topic only very superficially.)



Let us assume that we have a wave equation defined for some time $tin [0,infty)$ on some domain $D$:



$partial_t^2 phi = nabla^2 phi$,



with $phi(x,y,t)$.



The go-to method to solve this system is to use separation of variables: $phi = X(x)Y(y)T(t)$.



This makes sense if the boundaries of the domain are constants, but what if they are allowed to vary (let's only vary in space for now)?



For example, let $D$ be a box with vertical sides, and some curve $y_1(x)$ for the top, and another curve $y_2(x)$ for the bottom.



This seems like a silly question. Of course we cannot separate the solutions. We will find that $Y(y)$ is somehow dependent on $x$.



But then, we assume spatially dependent initial values in the wave equation all the time...



What am I overlooking here? I feel like there is something subtle happening and I really can't put my finger on it.



Is there a proof that anybody can provide which goes one way or another?



Thanks.









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 26 at 19:36









user109527

657




657











  • Separation of variables does not work here exactly because of what you said. The boundary conditions are coupling $x,y$ together, so how can the spatial part of the solution be of the form $X(x)Y(y)$, as in they are independent.
    – Hamed
    Jul 26 at 20:01










  • In more physical terms, the usual boundary conditions give you a standing wave with endpoints fixed on the boundary. In your case, a similar solution is a standing wave terminating on your boundary. Obviously, this a very complicated wave squeezing, streching and twisting as $x$ varies. You can probably make a homemade experiment to see this. Get a thin piece of metal which can be bent. Soak it in soap water and create a bubble. Give the metal an irregular shape and slowly oscillate up and down (careful not to break the bubble). What you'll see is a very complicated motion.
    – Hamed
    Jul 26 at 20:07










  • Yes, this was sort of what I was looking for, but not quite. Regarding the initial conditions being a function of space: This works precisely because initial conditions are defined at a t = constant value. Regarding boundaries which vary in space: I think that we need to define the boundary for a constant value of y (as in the example above). Otherwise, we need to find a new coordinate system in which we do have a boundary at a constant value of one of the coordinate variables. Separation of variables is then possible if the Laplacian in the new coordinates is diagonalizable.
    – user109527
    Jul 27 at 19:25
















  • Separation of variables does not work here exactly because of what you said. The boundary conditions are coupling $x,y$ together, so how can the spatial part of the solution be of the form $X(x)Y(y)$, as in they are independent.
    – Hamed
    Jul 26 at 20:01










  • In more physical terms, the usual boundary conditions give you a standing wave with endpoints fixed on the boundary. In your case, a similar solution is a standing wave terminating on your boundary. Obviously, this a very complicated wave squeezing, streching and twisting as $x$ varies. You can probably make a homemade experiment to see this. Get a thin piece of metal which can be bent. Soak it in soap water and create a bubble. Give the metal an irregular shape and slowly oscillate up and down (careful not to break the bubble). What you'll see is a very complicated motion.
    – Hamed
    Jul 26 at 20:07










  • Yes, this was sort of what I was looking for, but not quite. Regarding the initial conditions being a function of space: This works precisely because initial conditions are defined at a t = constant value. Regarding boundaries which vary in space: I think that we need to define the boundary for a constant value of y (as in the example above). Otherwise, we need to find a new coordinate system in which we do have a boundary at a constant value of one of the coordinate variables. Separation of variables is then possible if the Laplacian in the new coordinates is diagonalizable.
    – user109527
    Jul 27 at 19:25















Separation of variables does not work here exactly because of what you said. The boundary conditions are coupling $x,y$ together, so how can the spatial part of the solution be of the form $X(x)Y(y)$, as in they are independent.
– Hamed
Jul 26 at 20:01




Separation of variables does not work here exactly because of what you said. The boundary conditions are coupling $x,y$ together, so how can the spatial part of the solution be of the form $X(x)Y(y)$, as in they are independent.
– Hamed
Jul 26 at 20:01












In more physical terms, the usual boundary conditions give you a standing wave with endpoints fixed on the boundary. In your case, a similar solution is a standing wave terminating on your boundary. Obviously, this a very complicated wave squeezing, streching and twisting as $x$ varies. You can probably make a homemade experiment to see this. Get a thin piece of metal which can be bent. Soak it in soap water and create a bubble. Give the metal an irregular shape and slowly oscillate up and down (careful not to break the bubble). What you'll see is a very complicated motion.
– Hamed
Jul 26 at 20:07




In more physical terms, the usual boundary conditions give you a standing wave with endpoints fixed on the boundary. In your case, a similar solution is a standing wave terminating on your boundary. Obviously, this a very complicated wave squeezing, streching and twisting as $x$ varies. You can probably make a homemade experiment to see this. Get a thin piece of metal which can be bent. Soak it in soap water and create a bubble. Give the metal an irregular shape and slowly oscillate up and down (careful not to break the bubble). What you'll see is a very complicated motion.
– Hamed
Jul 26 at 20:07












Yes, this was sort of what I was looking for, but not quite. Regarding the initial conditions being a function of space: This works precisely because initial conditions are defined at a t = constant value. Regarding boundaries which vary in space: I think that we need to define the boundary for a constant value of y (as in the example above). Otherwise, we need to find a new coordinate system in which we do have a boundary at a constant value of one of the coordinate variables. Separation of variables is then possible if the Laplacian in the new coordinates is diagonalizable.
– user109527
Jul 27 at 19:25




Yes, this was sort of what I was looking for, but not quite. Regarding the initial conditions being a function of space: This works precisely because initial conditions are defined at a t = constant value. Regarding boundaries which vary in space: I think that we need to define the boundary for a constant value of y (as in the example above). Otherwise, we need to find a new coordinate system in which we do have a boundary at a constant value of one of the coordinate variables. Separation of variables is then possible if the Laplacian in the new coordinates is diagonalizable.
– user109527
Jul 27 at 19:25















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2863736%2fseparation-of-variables-and-non-constant-boundaries%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2863736%2fseparation-of-variables-and-non-constant-boundaries%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?

What is the equation of a 3D cone with generalised tilt?