moduli space of linear partial differential equations?

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











up vote
4
down vote

favorite
1












is there a way to view "the space of all possible linear PDE's" as an algebraic variety with singularities...?



This is in connection with a quote from someone on the web that i saw long time ago, at that time i had contacted the author but they chose not to answer.



The quote:
"In some sense, the space of all possible linear PDE's can be viewed as a singular algebraic variety , where Hormander's theory applies only to generic (smooth) points and the most interesting and heavily studied PDE's all lie in a lower-dimensional subvariety and mostly in the singular set of the variety."



Any pointers/refs on any of the points made in the quote would be gratefully recieved...










share|cite|improve this question























  • It is not finite dimensional, but I suppose that won't stop some daring people.
    – Ben McKay
    1 hour ago










  • The original quote is here.
    – j.c.
    56 mins ago














up vote
4
down vote

favorite
1












is there a way to view "the space of all possible linear PDE's" as an algebraic variety with singularities...?



This is in connection with a quote from someone on the web that i saw long time ago, at that time i had contacted the author but they chose not to answer.



The quote:
"In some sense, the space of all possible linear PDE's can be viewed as a singular algebraic variety , where Hormander's theory applies only to generic (smooth) points and the most interesting and heavily studied PDE's all lie in a lower-dimensional subvariety and mostly in the singular set of the variety."



Any pointers/refs on any of the points made in the quote would be gratefully recieved...










share|cite|improve this question























  • It is not finite dimensional, but I suppose that won't stop some daring people.
    – Ben McKay
    1 hour ago










  • The original quote is here.
    – j.c.
    56 mins ago












up vote
4
down vote

favorite
1









up vote
4
down vote

favorite
1






1





is there a way to view "the space of all possible linear PDE's" as an algebraic variety with singularities...?



This is in connection with a quote from someone on the web that i saw long time ago, at that time i had contacted the author but they chose not to answer.



The quote:
"In some sense, the space of all possible linear PDE's can be viewed as a singular algebraic variety , where Hormander's theory applies only to generic (smooth) points and the most interesting and heavily studied PDE's all lie in a lower-dimensional subvariety and mostly in the singular set of the variety."



Any pointers/refs on any of the points made in the quote would be gratefully recieved...










share|cite|improve this question















is there a way to view "the space of all possible linear PDE's" as an algebraic variety with singularities...?



This is in connection with a quote from someone on the web that i saw long time ago, at that time i had contacted the author but they chose not to answer.



The quote:
"In some sense, the space of all possible linear PDE's can be viewed as a singular algebraic variety , where Hormander's theory applies only to generic (smooth) points and the most interesting and heavily studied PDE's all lie in a lower-dimensional subvariety and mostly in the singular set of the variety."



Any pointers/refs on any of the points made in the quote would be gratefully recieved...







ag.algebraic-geometry ap.analysis-of-pdes moduli-spaces linear-pde






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 3 hours ago

























asked 3 hours ago









david mercurio

663




663











  • It is not finite dimensional, but I suppose that won't stop some daring people.
    – Ben McKay
    1 hour ago










  • The original quote is here.
    – j.c.
    56 mins ago
















  • It is not finite dimensional, but I suppose that won't stop some daring people.
    – Ben McKay
    1 hour ago










  • The original quote is here.
    – j.c.
    56 mins ago















It is not finite dimensional, but I suppose that won't stop some daring people.
– Ben McKay
1 hour ago




It is not finite dimensional, but I suppose that won't stop some daring people.
– Ben McKay
1 hour ago












The original quote is here.
– j.c.
56 mins ago




The original quote is here.
– j.c.
56 mins ago










1 Answer
1






active

oldest

votes

















up vote
4
down vote













Hormander showed that there is a generic set of scalar linear PDE's that can be studied using general techniques, known as microlocal analysis. This can be linked to algebraic geometry as follows: Any scalar linear partial differential operator of order $k$ on an open set in $mathbbRn$ can be written as



$$
Pu = sum_alpha a^alphapartial_alpha u,
$$



where each coefficient $a^alpha$ is a smooth function, $alpha = (alpha_1, dots, alpha_n)$ and $partial_alpha = (partial_1)^alpha_1cdots(partial_n)^alpha_n$. If this is studied using the Fourier transform, then a natural object to study turns out to the principal symbol
$$
sigma(x,xi) = sum_ = k a^alpha(x)xi_alpha,
$$

where $xi = (xi_1, dots, xi_n) in mathbbR^n$ and $xi_alpha = (xi_1)^alpha_1cdots(xi_n)^alpha_n$. For each $x$, this is a homogeneous polynomial of degree $k$ and therefore its zero set is a real algebraic variety on $mathbbRP^n-1$. This is known as the characteristic variety. Hormander proved, if the characteristic variety is generic in a suitable sense, regularity estimates, local existence of solutions, and many other things about solutions to equations defined using such operators. However, PDEs most studied have symbols lying in a subvariety of very high codimension, and the techniques used by Hormander are used outside the field of microlocal analysis in only a few specialized areas (e.g., scattering theory, inverse problems). The PDEs with most impact are elliptic, hyperbolic, and parabolic PDEs. Elliptic and most hyperbolic PDEs are generic in Hormander's sense, but parabolic PDEs are not.






share|cite|improve this answer




















    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: "504"
    ;
    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%2fmathoverflow.net%2fquestions%2f312026%2fmoduli-space-of-linear-partial-differential-equations%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    4
    down vote













    Hormander showed that there is a generic set of scalar linear PDE's that can be studied using general techniques, known as microlocal analysis. This can be linked to algebraic geometry as follows: Any scalar linear partial differential operator of order $k$ on an open set in $mathbbRn$ can be written as



    $$
    Pu = sum_alpha a^alphapartial_alpha u,
    $$



    where each coefficient $a^alpha$ is a smooth function, $alpha = (alpha_1, dots, alpha_n)$ and $partial_alpha = (partial_1)^alpha_1cdots(partial_n)^alpha_n$. If this is studied using the Fourier transform, then a natural object to study turns out to the principal symbol
    $$
    sigma(x,xi) = sum_ = k a^alpha(x)xi_alpha,
    $$

    where $xi = (xi_1, dots, xi_n) in mathbbR^n$ and $xi_alpha = (xi_1)^alpha_1cdots(xi_n)^alpha_n$. For each $x$, this is a homogeneous polynomial of degree $k$ and therefore its zero set is a real algebraic variety on $mathbbRP^n-1$. This is known as the characteristic variety. Hormander proved, if the characteristic variety is generic in a suitable sense, regularity estimates, local existence of solutions, and many other things about solutions to equations defined using such operators. However, PDEs most studied have symbols lying in a subvariety of very high codimension, and the techniques used by Hormander are used outside the field of microlocal analysis in only a few specialized areas (e.g., scattering theory, inverse problems). The PDEs with most impact are elliptic, hyperbolic, and parabolic PDEs. Elliptic and most hyperbolic PDEs are generic in Hormander's sense, but parabolic PDEs are not.






    share|cite|improve this answer
























      up vote
      4
      down vote













      Hormander showed that there is a generic set of scalar linear PDE's that can be studied using general techniques, known as microlocal analysis. This can be linked to algebraic geometry as follows: Any scalar linear partial differential operator of order $k$ on an open set in $mathbbRn$ can be written as



      $$
      Pu = sum_alpha a^alphapartial_alpha u,
      $$



      where each coefficient $a^alpha$ is a smooth function, $alpha = (alpha_1, dots, alpha_n)$ and $partial_alpha = (partial_1)^alpha_1cdots(partial_n)^alpha_n$. If this is studied using the Fourier transform, then a natural object to study turns out to the principal symbol
      $$
      sigma(x,xi) = sum_ = k a^alpha(x)xi_alpha,
      $$

      where $xi = (xi_1, dots, xi_n) in mathbbR^n$ and $xi_alpha = (xi_1)^alpha_1cdots(xi_n)^alpha_n$. For each $x$, this is a homogeneous polynomial of degree $k$ and therefore its zero set is a real algebraic variety on $mathbbRP^n-1$. This is known as the characteristic variety. Hormander proved, if the characteristic variety is generic in a suitable sense, regularity estimates, local existence of solutions, and many other things about solutions to equations defined using such operators. However, PDEs most studied have symbols lying in a subvariety of very high codimension, and the techniques used by Hormander are used outside the field of microlocal analysis in only a few specialized areas (e.g., scattering theory, inverse problems). The PDEs with most impact are elliptic, hyperbolic, and parabolic PDEs. Elliptic and most hyperbolic PDEs are generic in Hormander's sense, but parabolic PDEs are not.






      share|cite|improve this answer






















        up vote
        4
        down vote










        up vote
        4
        down vote









        Hormander showed that there is a generic set of scalar linear PDE's that can be studied using general techniques, known as microlocal analysis. This can be linked to algebraic geometry as follows: Any scalar linear partial differential operator of order $k$ on an open set in $mathbbRn$ can be written as



        $$
        Pu = sum_alpha a^alphapartial_alpha u,
        $$



        where each coefficient $a^alpha$ is a smooth function, $alpha = (alpha_1, dots, alpha_n)$ and $partial_alpha = (partial_1)^alpha_1cdots(partial_n)^alpha_n$. If this is studied using the Fourier transform, then a natural object to study turns out to the principal symbol
        $$
        sigma(x,xi) = sum_ = k a^alpha(x)xi_alpha,
        $$

        where $xi = (xi_1, dots, xi_n) in mathbbR^n$ and $xi_alpha = (xi_1)^alpha_1cdots(xi_n)^alpha_n$. For each $x$, this is a homogeneous polynomial of degree $k$ and therefore its zero set is a real algebraic variety on $mathbbRP^n-1$. This is known as the characteristic variety. Hormander proved, if the characteristic variety is generic in a suitable sense, regularity estimates, local existence of solutions, and many other things about solutions to equations defined using such operators. However, PDEs most studied have symbols lying in a subvariety of very high codimension, and the techniques used by Hormander are used outside the field of microlocal analysis in only a few specialized areas (e.g., scattering theory, inverse problems). The PDEs with most impact are elliptic, hyperbolic, and parabolic PDEs. Elliptic and most hyperbolic PDEs are generic in Hormander's sense, but parabolic PDEs are not.






        share|cite|improve this answer












        Hormander showed that there is a generic set of scalar linear PDE's that can be studied using general techniques, known as microlocal analysis. This can be linked to algebraic geometry as follows: Any scalar linear partial differential operator of order $k$ on an open set in $mathbbRn$ can be written as



        $$
        Pu = sum_alpha a^alphapartial_alpha u,
        $$



        where each coefficient $a^alpha$ is a smooth function, $alpha = (alpha_1, dots, alpha_n)$ and $partial_alpha = (partial_1)^alpha_1cdots(partial_n)^alpha_n$. If this is studied using the Fourier transform, then a natural object to study turns out to the principal symbol
        $$
        sigma(x,xi) = sum_ = k a^alpha(x)xi_alpha,
        $$

        where $xi = (xi_1, dots, xi_n) in mathbbR^n$ and $xi_alpha = (xi_1)^alpha_1cdots(xi_n)^alpha_n$. For each $x$, this is a homogeneous polynomial of degree $k$ and therefore its zero set is a real algebraic variety on $mathbbRP^n-1$. This is known as the characteristic variety. Hormander proved, if the characteristic variety is generic in a suitable sense, regularity estimates, local existence of solutions, and many other things about solutions to equations defined using such operators. However, PDEs most studied have symbols lying in a subvariety of very high codimension, and the techniques used by Hormander are used outside the field of microlocal analysis in only a few specialized areas (e.g., scattering theory, inverse problems). The PDEs with most impact are elliptic, hyperbolic, and parabolic PDEs. Elliptic and most hyperbolic PDEs are generic in Hormander's sense, but parabolic PDEs are not.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 1 hour ago









        Deane Yang

        19.6k560138




        19.6k560138



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f312026%2fmoduli-space-of-linear-partial-differential-equations%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            Long meetings (6-7 hours a day): Being “babysat” by supervisor

            Is the Concept of Multiple Fantasy Races Scientifically Flawed? [closed]

            Confectionery