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)










4












$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.










share|cite|improve this question











$endgroup$











  • $begingroup$
    Also on MathOverflow now: mathoverflow.net/q/325686/70594
    $endgroup$
    – Glorfindel
    Mar 18 at 16:07















4












$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.










share|cite|improve this question











$endgroup$











  • $begingroup$
    Also on MathOverflow now: mathoverflow.net/q/325686/70594
    $endgroup$
    – Glorfindel
    Mar 18 at 16:07













4












4








4





$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.










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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
















  • $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










1 Answer
1






active

oldest

votes


















0












$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.






share|cite|improve this answer









$endgroup$













    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
    );



    );













    draft saved

    draft discarded


















    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









    0












    $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.






    share|cite|improve this answer









    $endgroup$

















      0












      $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.






      share|cite|improve this answer









      $endgroup$















        0












        0








        0





        $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.






        share|cite|improve this answer









        $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.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Mar 18 at 18:46









        JJacquelinJJacquelin

        45.2k21856




        45.2k21856



























            draft saved

            draft discarded
















































            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.




            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Moe incest case Sentencing See also References Navigation menu"'Australian Josef Fritzl' fathered four children by daughter""Small town recoils in horror at 'Australian Fritzl' incest case""Victorian rape allegations echo Fritzl case - Just In (Australian Broadcasting Corporation)""Incest father jailed for 22 years""'Australian Fritzl' sentenced to 22 years in prison for abusing daughter for three decades""RSJ v The Queen"

            Do native speakers use “ultima” and “proxima” frequently in spoken English?How do native speakers say 'the light bulb has stopped working'the difference between “to revamp” ,“enhance” and “overhaul”How do we tell our currently running year of age?What's the layperson's term for words like “am”, “be”, “were”?How do I speak about a respectful person?Finger distance in musicWhat do we call English with dots and dashes?Do native speakers use 'so-so'?How to express “friends that I only know them on internet” English?Does “Until when” sound natural for native speakers?

            Who is our nearest planetary neighbor, on average?Santa Claus flies to the South PoleSeven Spheres of Unequal Mass, a weighing problem with a twistDescribe a large integerFast Mental Calculation of $7.5^7$Math in Space (without the help of celebrities)Find the value of $bigstar$: Puzzle 8 - InequalityWho drinks beer while running anyway?A Crucial DeliveryRanking And AverageHow long will my money last at roulette?