Two PDE for one unknown? The Next CEO of Stack OverflowTwo PDE for one matrix-valued unknown?PDE transport equation please helpNumerically solving a transport equationUpper bound for the difference between two solutions of nonhomgenous Helmholtz pdeSolving $4u_tt-3u_xt-u_xx=0$Solving nonstationary version of nonlinear PDE coming from Fokker-PlanckHow to solve this PDE $partial_t u - Delta u + cu + dcdot nabla u = f$ with Dirichlet boundary conditions?Find solution of the PDE $partial_t u - partial _xxu = (x^2-2pi x)exp(-t)$ with given boundary conditionsTwo independent solutions for diffussion equation?Rewriting a linear system of PDEs as a single PDE in one dependent variable.Show that this map is a contraction (PDE)
How to use tikz in fbox?
Why is there a PLL in CPU?
What's the point of interval inversion?
What do "high sea" and "carry" mean in this sentence?
Does the Brexit deal have to be agreed by both Houses?
What is the point of a new vote on May's deal when the indicative votes suggest she will not win?
When airplanes disconnect from a tanker during air to air refueling, why do they bank so sharply to the right?
When did Lisp start using symbols for arithmetic?
Describing a person. What needs to be mentioned?
Grabbing quick drinks
How to count occurrences of text in a file?
How do I get the green key off the shelf in the Dobby level of Lego Harry Potter 2?
How do spells that require an ability check vs. the caster's spell save DC work?
Solution of this Diophantine Equation
Is it okay to store user locations?
Can a caster that cast Polymorph on themselves stop concentrating at any point even if their Int is low?
Is the concept of a "numerable" fiber bundle really useful or an empty generalization?
Are there languages with no euphemisms?
The King's new dress
Can the Reverse Gravity spell affect the Meteor Swarm spell?
How should I support this large drywall patch?
How do we know the LHC results are robust?
Opposite of a diet
Implement the Thanos sorting algorithm
Two PDE for one unknown?
The Next CEO of Stack OverflowTwo PDE for one matrix-valued unknown?PDE transport equation please helpNumerically solving a transport equationUpper bound for the difference between two solutions of nonhomgenous Helmholtz pdeSolving $4u_tt-3u_xt-u_xx=0$Solving nonstationary version of nonlinear PDE coming from Fokker-PlanckHow to solve this PDE $partial_t u - Delta u + cu + dcdot nabla u = f$ with Dirichlet boundary conditions?Find solution of the PDE $partial_t u - partial _xxu = (x^2-2pi x)exp(-t)$ with given boundary conditionsTwo independent solutions for diffussion equation?Rewriting a linear system of PDEs as a single PDE in one dependent variable.Show that this map is a contraction (PDE)
$begingroup$
Let $x in (0,L)$, $t in (0,T)$, and let $f_1 = f_1(x,t) in mathbbR$, $f_2 = f_2(x,t) in mathbbR$, $u^0 = u^0(x) in mathbbR$ and $g= g(t) in mathbbR$ be continuous functions.
My question is:
Can we find a function $u = u(x,t) in mathbbR$ that satisfies
beginequation
partial_t u(x,t) = u(x,t) f_1(x,t) qquad textin (0,L)times(0,T)
endequation
and
beginequation
partial_x u(x,t) = u(x,t) f_2(x,t) qquad textin (0,L)times(0,T)
endequation
with additional initial and boundary conditions:
beginalign*
u(x,0) &= u^0(x) qquad textfor x in (0,L)\
u(0,t) &= g(t) qquad textfor t in (0,T).
endalign*
(Here $partial_t$ and $partial_x$ denote the partial derivative with respect to time and space respectively.)
I had though about choosing $u$ as the solution of the transport equation
beginalign*
begincases
partial_t u + partial_x u = (f_1+f_2)u & textin (0,L)times (0,T)\
u(x,0) = u^0(x) & textfor x in (0,L)\
u(0,t) = g(t) & textfor t in (0,T).
endcases
endalign*
However, I do not know if some supplementary assumption may allow to have $u$ satisfying both equations $partial_t u = u f_1$ and $partial_x u = u f_2$ separately.
Any suggestion, reference (e.g. where a function has to satisfy two separate equations as for here), explanation of why it is/is not possible, would be welcome. Thank you.
functional-analysis pde linear-pde
$endgroup$
add a comment |
$begingroup$
Let $x in (0,L)$, $t in (0,T)$, and let $f_1 = f_1(x,t) in mathbbR$, $f_2 = f_2(x,t) in mathbbR$, $u^0 = u^0(x) in mathbbR$ and $g= g(t) in mathbbR$ be continuous functions.
My question is:
Can we find a function $u = u(x,t) in mathbbR$ that satisfies
beginequation
partial_t u(x,t) = u(x,t) f_1(x,t) qquad textin (0,L)times(0,T)
endequation
and
beginequation
partial_x u(x,t) = u(x,t) f_2(x,t) qquad textin (0,L)times(0,T)
endequation
with additional initial and boundary conditions:
beginalign*
u(x,0) &= u^0(x) qquad textfor x in (0,L)\
u(0,t) &= g(t) qquad textfor t in (0,T).
endalign*
(Here $partial_t$ and $partial_x$ denote the partial derivative with respect to time and space respectively.)
I had though about choosing $u$ as the solution of the transport equation
beginalign*
begincases
partial_t u + partial_x u = (f_1+f_2)u & textin (0,L)times (0,T)\
u(x,0) = u^0(x) & textfor x in (0,L)\
u(0,t) = g(t) & textfor t in (0,T).
endcases
endalign*
However, I do not know if some supplementary assumption may allow to have $u$ satisfying both equations $partial_t u = u f_1$ and $partial_x u = u f_2$ separately.
Any suggestion, reference (e.g. where a function has to satisfy two separate equations as for here), explanation of why it is/is not possible, would be welcome. Thank you.
functional-analysis pde linear-pde
$endgroup$
$begingroup$
Also on MathOverflow now: mathoverflow.net/q/325686/70594
$endgroup$
– Glorfindel
Mar 18 at 16:07
add a comment |
$begingroup$
Let $x in (0,L)$, $t in (0,T)$, and let $f_1 = f_1(x,t) in mathbbR$, $f_2 = f_2(x,t) in mathbbR$, $u^0 = u^0(x) in mathbbR$ and $g= g(t) in mathbbR$ be continuous functions.
My question is:
Can we find a function $u = u(x,t) in mathbbR$ that satisfies
beginequation
partial_t u(x,t) = u(x,t) f_1(x,t) qquad textin (0,L)times(0,T)
endequation
and
beginequation
partial_x u(x,t) = u(x,t) f_2(x,t) qquad textin (0,L)times(0,T)
endequation
with additional initial and boundary conditions:
beginalign*
u(x,0) &= u^0(x) qquad textfor x in (0,L)\
u(0,t) &= g(t) qquad textfor t in (0,T).
endalign*
(Here $partial_t$ and $partial_x$ denote the partial derivative with respect to time and space respectively.)
I had though about choosing $u$ as the solution of the transport equation
beginalign*
begincases
partial_t u + partial_x u = (f_1+f_2)u & textin (0,L)times (0,T)\
u(x,0) = u^0(x) & textfor x in (0,L)\
u(0,t) = g(t) & textfor t in (0,T).
endcases
endalign*
However, I do not know if some supplementary assumption may allow to have $u$ satisfying both equations $partial_t u = u f_1$ and $partial_x u = u f_2$ separately.
Any suggestion, reference (e.g. where a function has to satisfy two separate equations as for here), explanation of why it is/is not possible, would be welcome. Thank you.
functional-analysis pde linear-pde
$endgroup$
Let $x in (0,L)$, $t in (0,T)$, and let $f_1 = f_1(x,t) in mathbbR$, $f_2 = f_2(x,t) in mathbbR$, $u^0 = u^0(x) in mathbbR$ and $g= g(t) in mathbbR$ be continuous functions.
My question is:
Can we find a function $u = u(x,t) in mathbbR$ that satisfies
beginequation
partial_t u(x,t) = u(x,t) f_1(x,t) qquad textin (0,L)times(0,T)
endequation
and
beginequation
partial_x u(x,t) = u(x,t) f_2(x,t) qquad textin (0,L)times(0,T)
endequation
with additional initial and boundary conditions:
beginalign*
u(x,0) &= u^0(x) qquad textfor x in (0,L)\
u(0,t) &= g(t) qquad textfor t in (0,T).
endalign*
(Here $partial_t$ and $partial_x$ denote the partial derivative with respect to time and space respectively.)
I had though about choosing $u$ as the solution of the transport equation
beginalign*
begincases
partial_t u + partial_x u = (f_1+f_2)u & textin (0,L)times (0,T)\
u(x,0) = u^0(x) & textfor x in (0,L)\
u(0,t) = g(t) & textfor t in (0,T).
endcases
endalign*
However, I do not know if some supplementary assumption may allow to have $u$ satisfying both equations $partial_t u = u f_1$ and $partial_x u = u f_2$ separately.
Any suggestion, reference (e.g. where a function has to satisfy two separate equations as for here), explanation of why it is/is not possible, would be welcome. Thank you.
functional-analysis pde linear-pde
functional-analysis pde linear-pde
edited Mar 18 at 10:27
user344045
asked Mar 18 at 8:40
user344045user344045
807
807
$begingroup$
Also on MathOverflow now: mathoverflow.net/q/325686/70594
$endgroup$
– Glorfindel
Mar 18 at 16:07
add a comment |
$begingroup$
Also on MathOverflow now: mathoverflow.net/q/325686/70594
$endgroup$
– Glorfindel
Mar 18 at 16:07
$begingroup$
Also on MathOverflow now: mathoverflow.net/q/325686/70594
$endgroup$
– Glorfindel
Mar 18 at 16:07
$begingroup$
Also on MathOverflow now: mathoverflow.net/q/325686/70594
$endgroup$
– Glorfindel
Mar 18 at 16:07
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$$partial_t u(x,t) = u(x,t) f_1(x,t) quadimpliesquad fracpartiallnpartial t=f_1(x,t) tag 1$$
$$partial_x u(x,t) = u(x,t) f_2(x,t) quadimpliesquad fracpartiallnpartial x=f_2(x,t) tag2$$
$$fracupartial x partial t= fracpartial f_1partial x = fracpartial f_2partial t$$
First case : $quad fracpartial f_1partial x neq fracpartial f_2partial tquad$ your problem has no solution.
Second case : $quadfracpartial f_1partial x = fracpartial f_2partial tquad$ your problem is likely to have a solution.
From the integration of Eq.$(1)$ and with condition $u(x,0)=u^0(x)$ :
$$u(x,t)=u^0(x)expleft(int_0^t f_1(x,tau)dtauright)$$
From the integration of Eq.$(2)$ and with condition $u(0,t)=g(t)$ :
$$u(x,t)= g(t)expleft(int_0^x f_2(chi,t)dchiright)$$
This supposes $quad u^0(x)=u^0(0):expleft(int_0^x f_2(chi,t)dchiright)quad$ and $quad g(t)=g(0):expleft(int_0^t f_1(x,tau)dtauright)$.
$$u(x,t)=u(0,0):expleft(int_0^t f_1(x,tau)dtau + int_0^x f_2(chi,t)dchi right)$$
If $quad u^0(x)neq u^0(0):expleft(int_0^x f_2(chi,tau)dchiright)quad$ or $quad g(t)neq g(0):expleft(int_0^t f_1(x,tau)dtauright)quad$ the problem has no solution.
$endgroup$
add a comment |
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3152541%2ftwo-pde-for-one-unknown%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
$$partial_t u(x,t) = u(x,t) f_1(x,t) quadimpliesquad fracpartiallnpartial t=f_1(x,t) tag 1$$
$$partial_x u(x,t) = u(x,t) f_2(x,t) quadimpliesquad fracpartiallnpartial x=f_2(x,t) tag2$$
$$fracupartial x partial t= fracpartial f_1partial x = fracpartial f_2partial t$$
First case : $quad fracpartial f_1partial x neq fracpartial f_2partial tquad$ your problem has no solution.
Second case : $quadfracpartial f_1partial x = fracpartial f_2partial tquad$ your problem is likely to have a solution.
From the integration of Eq.$(1)$ and with condition $u(x,0)=u^0(x)$ :
$$u(x,t)=u^0(x)expleft(int_0^t f_1(x,tau)dtauright)$$
From the integration of Eq.$(2)$ and with condition $u(0,t)=g(t)$ :
$$u(x,t)= g(t)expleft(int_0^x f_2(chi,t)dchiright)$$
This supposes $quad u^0(x)=u^0(0):expleft(int_0^x f_2(chi,t)dchiright)quad$ and $quad g(t)=g(0):expleft(int_0^t f_1(x,tau)dtauright)$.
$$u(x,t)=u(0,0):expleft(int_0^t f_1(x,tau)dtau + int_0^x f_2(chi,t)dchi right)$$
If $quad u^0(x)neq u^0(0):expleft(int_0^x f_2(chi,tau)dchiright)quad$ or $quad g(t)neq g(0):expleft(int_0^t f_1(x,tau)dtauright)quad$ the problem has no solution.
$endgroup$
add a comment |
$begingroup$
$$partial_t u(x,t) = u(x,t) f_1(x,t) quadimpliesquad fracpartiallnpartial t=f_1(x,t) tag 1$$
$$partial_x u(x,t) = u(x,t) f_2(x,t) quadimpliesquad fracpartiallnpartial x=f_2(x,t) tag2$$
$$fracupartial x partial t= fracpartial f_1partial x = fracpartial f_2partial t$$
First case : $quad fracpartial f_1partial x neq fracpartial f_2partial tquad$ your problem has no solution.
Second case : $quadfracpartial f_1partial x = fracpartial f_2partial tquad$ your problem is likely to have a solution.
From the integration of Eq.$(1)$ and with condition $u(x,0)=u^0(x)$ :
$$u(x,t)=u^0(x)expleft(int_0^t f_1(x,tau)dtauright)$$
From the integration of Eq.$(2)$ and with condition $u(0,t)=g(t)$ :
$$u(x,t)= g(t)expleft(int_0^x f_2(chi,t)dchiright)$$
This supposes $quad u^0(x)=u^0(0):expleft(int_0^x f_2(chi,t)dchiright)quad$ and $quad g(t)=g(0):expleft(int_0^t f_1(x,tau)dtauright)$.
$$u(x,t)=u(0,0):expleft(int_0^t f_1(x,tau)dtau + int_0^x f_2(chi,t)dchi right)$$
If $quad u^0(x)neq u^0(0):expleft(int_0^x f_2(chi,tau)dchiright)quad$ or $quad g(t)neq g(0):expleft(int_0^t f_1(x,tau)dtauright)quad$ the problem has no solution.
$endgroup$
add a comment |
$begingroup$
$$partial_t u(x,t) = u(x,t) f_1(x,t) quadimpliesquad fracpartiallnpartial t=f_1(x,t) tag 1$$
$$partial_x u(x,t) = u(x,t) f_2(x,t) quadimpliesquad fracpartiallnpartial x=f_2(x,t) tag2$$
$$fracupartial x partial t= fracpartial f_1partial x = fracpartial f_2partial t$$
First case : $quad fracpartial f_1partial x neq fracpartial f_2partial tquad$ your problem has no solution.
Second case : $quadfracpartial f_1partial x = fracpartial f_2partial tquad$ your problem is likely to have a solution.
From the integration of Eq.$(1)$ and with condition $u(x,0)=u^0(x)$ :
$$u(x,t)=u^0(x)expleft(int_0^t f_1(x,tau)dtauright)$$
From the integration of Eq.$(2)$ and with condition $u(0,t)=g(t)$ :
$$u(x,t)= g(t)expleft(int_0^x f_2(chi,t)dchiright)$$
This supposes $quad u^0(x)=u^0(0):expleft(int_0^x f_2(chi,t)dchiright)quad$ and $quad g(t)=g(0):expleft(int_0^t f_1(x,tau)dtauright)$.
$$u(x,t)=u(0,0):expleft(int_0^t f_1(x,tau)dtau + int_0^x f_2(chi,t)dchi right)$$
If $quad u^0(x)neq u^0(0):expleft(int_0^x f_2(chi,tau)dchiright)quad$ or $quad g(t)neq g(0):expleft(int_0^t f_1(x,tau)dtauright)quad$ the problem has no solution.
$endgroup$
$$partial_t u(x,t) = u(x,t) f_1(x,t) quadimpliesquad fracpartiallnpartial t=f_1(x,t) tag 1$$
$$partial_x u(x,t) = u(x,t) f_2(x,t) quadimpliesquad fracpartiallnpartial x=f_2(x,t) tag2$$
$$fracupartial x partial t= fracpartial f_1partial x = fracpartial f_2partial t$$
First case : $quad fracpartial f_1partial x neq fracpartial f_2partial tquad$ your problem has no solution.
Second case : $quadfracpartial f_1partial x = fracpartial f_2partial tquad$ your problem is likely to have a solution.
From the integration of Eq.$(1)$ and with condition $u(x,0)=u^0(x)$ :
$$u(x,t)=u^0(x)expleft(int_0^t f_1(x,tau)dtauright)$$
From the integration of Eq.$(2)$ and with condition $u(0,t)=g(t)$ :
$$u(x,t)= g(t)expleft(int_0^x f_2(chi,t)dchiright)$$
This supposes $quad u^0(x)=u^0(0):expleft(int_0^x f_2(chi,t)dchiright)quad$ and $quad g(t)=g(0):expleft(int_0^t f_1(x,tau)dtauright)$.
$$u(x,t)=u(0,0):expleft(int_0^t f_1(x,tau)dtau + int_0^x f_2(chi,t)dchi right)$$
If $quad u^0(x)neq u^0(0):expleft(int_0^x f_2(chi,tau)dchiright)quad$ or $quad g(t)neq g(0):expleft(int_0^t f_1(x,tau)dtauright)quad$ the problem has no solution.
answered Mar 18 at 18:46
JJacquelinJJacquelin
45.2k21856
45.2k21856
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3152541%2ftwo-pde-for-one-unknown%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Also on MathOverflow now: mathoverflow.net/q/325686/70594
$endgroup$
– Glorfindel
Mar 18 at 16:07