Can the number of solutions to a system of PDEs be bounded using the characteristic variety? Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Codimension of the range of certain linear operatorsWhen a Riemannian manifold is of Hessian TypEquations for Integrable SystemsSimultaneous analytic continuation of Dirichlet eigenfunctionsAnalytic solution of a system of linear, hyperbolic, first order, partial differential equationsEquations satisfied by the Riemann curvature tensorAsking for Advices for Choosing a Ph.D thesis problem (in PDE area)Method of characteristic for a system of first order PDEsHow to solve the system of PDEs defining Killing vectorsUsing method of characteristics to solve a system of first order quasilinear PDEsReference request: Recovering a Riemannian metric from the distance functionSuitable ansatz to the system of PDEs
Can the number of solutions to a system of PDEs be bounded using the characteristic variety?
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)
Announcing the arrival of Valued Associate #679: Cesar Manara
Unicorn Meta Zoo #1: Why another podcast?Codimension of the range of certain linear operatorsWhen a Riemannian manifold is of Hessian TypEquations for Integrable SystemsSimultaneous analytic continuation of Dirichlet eigenfunctionsAnalytic solution of a system of linear, hyperbolic, first order, partial differential equationsEquations satisfied by the Riemann curvature tensorAsking for Advices for Choosing a Ph.D thesis problem (in PDE area)Method of characteristic for a system of first order PDEsHow to solve the system of PDEs defining Killing vectorsUsing method of characteristics to solve a system of first order quasilinear PDEsReference request: Recovering a Riemannian metric from the distance functionSuitable ansatz to the system of PDEs
$begingroup$
I've recently come across a system of PDEs which I'd like to understand better. The particular system I'm interested in locally solves for a 2-dimensional Riemannian metric as the Hessian of a potential function (which was addressed in a separate question). In that question, Robert Bryant noted that the characteristic variety consists of three points. Concretely, I'm wondering if this means that there are at most three solutions to this system of equations (perhaps modulo some affine transformations).
More generally, does the number of points in the characteristic variety bound the number of real analytic solutions for a given system of PDEs?
My understanding is that the characteristic variety gives something like the formal power series solutions to the system, so there shouldn't be more real analytic solutions than that. However, my knowledge of $D$-modules is really lacking, so I was wondering if anyone could either correct me on this or else point me to a good reference to learn more. I've been trying to read through Bryant's Exterior Differential Systems, and I apologize if this question is obvious for those who understand the theory.
reference-request dg.differential-geometry ap.analysis-of-pdes
edited Apr 6 at 19:29
Deane Yang
20.5k562144
asked Apr 5 at 13:28
Gabe KGabe K
908416
$endgroup$
|
show 6 more comments
$begingroup$
I've recently come across a system of PDEs which I'd like to understand better. The particular system I'm interested in locally solves for a 2-dimensional Riemannian metric as the Hessian of a potential function (which was addressed in a separate question). In that question, Robert Bryant noted that the characteristic variety consists of three points. Concretely, I'm wondering if this means that there are at most three solutions to this system of equations (perhaps modulo some affine transformations).
More generally, does the number of points in the characteristic variety bound the number of real analytic solutions for a given system of PDEs?
My understanding is that the characteristic variety gives something like the formal power series solutions to the system, so there shouldn't be more real analytic solutions than that. However, my knowledge of $D$-modules is really lacking, so I was wondering if anyone could either correct me on this or else point me to a good reference to learn more. I've been trying to read through Bryant's Exterior Differential Systems, and I apologize if this question is obvious for those who understand the theory.
reference-request dg.differential-geometry ap.analysis-of-pdes
edited Apr 6 at 19:29
Deane Yang
20.5k562144
asked Apr 5 at 13:28
Gabe KGabe K
908416
$endgroup$
2
$begingroup$
You might also want to look at the book Cartan for Beginners by Ivey and Landsberg. In general, the family of local solutions is infinite dimensional and one counts the number of solutions by parameterizing the space of solutions by how many functions (and how many inputs each function takes) uniquely determine a local solution. Also, it is impossible to do this count effectively for anything but a system of PDEs that is involutive (or "in involution").
$endgroup$
– Deane Yang
Apr 5 at 14:49
2
$begingroup$
Also, there is a finite dimensional family of local solutions only if the system can be solved using the Frobenius theorem. In that case, the characteristic variety is empty.
$endgroup$
– Deane Yang
Apr 5 at 14:53
1
$begingroup$
@AliTaghavi, in general there is no connection without more information. Again, keep in mind that the codimension will also be infinite, so one has to count using functions, rather than numbers.
$endgroup$
– Deane Yang
Apr 5 at 16:17
2
$begingroup$
@AliTaghavi, what's being discussed here is not index theory. Index theory is about global solutions to a linear elliptic PDE, where the kernel and cokernel are finite dimensional. The discussion here is about local solutions to nonlinear PDEs that are not necessarily elliptic.
$endgroup$
– Deane Yang
Apr 6 at 19:32
1
$begingroup$
@AliTaghavi, as for counting using functions, here is the basic example: If you have a real analytic system of PDEs of the form $$ partial_tu + A^ipartial_i u = f, $$ where $1 le i le n$, and $u = (u^1, dots, u^m)$, then, by the Cauchy-Kovalevski theorem, given any real analytic $mathbbR^m$-valued function $u_0(x^1, dots, x^n)$, there exists a unique local solution $u$ to the system of PDEs such that $u(0,x) = u_0(x)$. Therefore, you can say that local solutions depend on $m$ functions of $n$ variables, in the sense that each $u_0$ uniquely determines a solution $u$.
$endgroup$
– Deane Yang
Apr 6 at 19:39
|
show 6 more comments
$begingroup$
I've recently come across a system of PDEs which I'd like to understand better. The particular system I'm interested in locally solves for a 2-dimensional Riemannian metric as the Hessian of a potential function (which was addressed in a separate question). In that question, Robert Bryant noted that the characteristic variety consists of three points. Concretely, I'm wondering if this means that there are at most three solutions to this system of equations (perhaps modulo some affine transformations).
More generally, does the number of points in the characteristic variety bound the number of real analytic solutions for a given system of PDEs?
My understanding is that the characteristic variety gives something like the formal power series solutions to the system, so there shouldn't be more real analytic solutions than that. However, my knowledge of $D$-modules is really lacking, so I was wondering if anyone could either correct me on this or else point me to a good reference to learn more. I've been trying to read through Bryant's Exterior Differential Systems, and I apologize if this question is obvious for those who understand the theory.
reference-request dg.differential-geometry ap.analysis-of-pdes
edited Apr 6 at 19:29
Deane Yang
20.5k562144
asked Apr 5 at 13:28
Gabe KGabe K
908416
$endgroup$
I've recently come across a system of PDEs which I'd like to understand better. The particular system I'm interested in locally solves for a 2-dimensional Riemannian metric as the Hessian of a potential function (which was addressed in a separate question). In that question, Robert Bryant noted that the characteristic variety consists of three points. Concretely, I'm wondering if this means that there are at most three solutions to this system of equations (perhaps modulo some affine transformations).
More generally, does the number of points in the characteristic variety bound the number of real analytic solutions for a given system of PDEs?
My understanding is that the characteristic variety gives something like the formal power series solutions to the system, so there shouldn't be more real analytic solutions than that. However, my knowledge of $D$-modules is really lacking, so I was wondering if anyone could either correct me on this or else point me to a good reference to learn more. I've been trying to read through Bryant's Exterior Differential Systems, and I apologize if this question is obvious for those who understand the theory.
reference-request dg.differential-geometry ap.analysis-of-pdes
reference-request dg.differential-geometry ap.analysis-of-pdes
edited Apr 6 at 19:29
Deane Yang
20.5k562144
asked Apr 5 at 13:28
Gabe KGabe K
908416
edited Apr 6 at 19:29
Deane Yang
20.5k562144
asked Apr 5 at 13:28
Gabe KGabe K
908416
edited Apr 6 at 19:29
Deane Yang
20.5k562144
edited Apr 6 at 19:29
Deane Yang
20.5k562144
edited Apr 6 at 19:29
Deane Yang
20.5k562144
20.5k562144
asked Apr 5 at 13:28
Gabe KGabe K
908416
asked Apr 5 at 13:28
Gabe KGabe K
908416
asked Apr 5 at 13:28
Gabe KGabe K
908416
908416
2
$begingroup$
You might also want to look at the book Cartan for Beginners by Ivey and Landsberg. In general, the family of local solutions is infinite dimensional and one counts the number of solutions by parameterizing the space of solutions by how many functions (and how many inputs each function takes) uniquely determine a local solution. Also, it is impossible to do this count effectively for anything but a system of PDEs that is involutive (or "in involution").
$endgroup$
– Deane Yang
Apr 5 at 14:49
2
$begingroup$
Also, there is a finite dimensional family of local solutions only if the system can be solved using the Frobenius theorem. In that case, the characteristic variety is empty.
$endgroup$
– Deane Yang
Apr 5 at 14:53
1
$begingroup$
@AliTaghavi, in general there is no connection without more information. Again, keep in mind that the codimension will also be infinite, so one has to count using functions, rather than numbers.
$endgroup$
– Deane Yang
Apr 5 at 16:17
2
$begingroup$
@AliTaghavi, what's being discussed here is not index theory. Index theory is about global solutions to a linear elliptic PDE, where the kernel and cokernel are finite dimensional. The discussion here is about local solutions to nonlinear PDEs that are not necessarily elliptic.
$endgroup$
– Deane Yang
Apr 6 at 19:32
1
$begingroup$
@AliTaghavi, as for counting using functions, here is the basic example: If you have a real analytic system of PDEs of the form $$ partial_tu + A^ipartial_i u = f, $$ where $1 le i le n$, and $u = (u^1, dots, u^m)$, then, by the Cauchy-Kovalevski theorem, given any real analytic $mathbbR^m$-valued function $u_0(x^1, dots, x^n)$, there exists a unique local solution $u$ to the system of PDEs such that $u(0,x) = u_0(x)$. Therefore, you can say that local solutions depend on $m$ functions of $n$ variables, in the sense that each $u_0$ uniquely determines a solution $u$.
$endgroup$
– Deane Yang
Apr 6 at 19:39
|
show 6 more comments
2
$begingroup$
You might also want to look at the book Cartan for Beginners by Ivey and Landsberg. In general, the family of local solutions is infinite dimensional and one counts the number of solutions by parameterizing the space of solutions by how many functions (and how many inputs each function takes) uniquely determine a local solution. Also, it is impossible to do this count effectively for anything but a system of PDEs that is involutive (or "in involution").
$endgroup$
– Deane Yang
Apr 5 at 14:49
2
$begingroup$
Also, there is a finite dimensional family of local solutions only if the system can be solved using the Frobenius theorem. In that case, the characteristic variety is empty.
$endgroup$
– Deane Yang
Apr 5 at 14:53
1
$begingroup$
@AliTaghavi, in general there is no connection without more information. Again, keep in mind that the codimension will also be infinite, so one has to count using functions, rather than numbers.
$endgroup$
– Deane Yang
Apr 5 at 16:17
2
$begingroup$
@AliTaghavi, what's being discussed here is not index theory. Index theory is about global solutions to a linear elliptic PDE, where the kernel and cokernel are finite dimensional. The discussion here is about local solutions to nonlinear PDEs that are not necessarily elliptic.
$endgroup$
– Deane Yang
Apr 6 at 19:32
1
$begingroup$
@AliTaghavi, as for counting using functions, here is the basic example: If you have a real analytic system of PDEs of the form $$ partial_tu + A^ipartial_i u = f, $$ where $1 le i le n$, and $u = (u^1, dots, u^m)$, then, by the Cauchy-Kovalevski theorem, given any real analytic $mathbbR^m$-valued function $u_0(x^1, dots, x^n)$, there exists a unique local solution $u$ to the system of PDEs such that $u(0,x) = u_0(x)$. Therefore, you can say that local solutions depend on $m$ functions of $n$ variables, in the sense that each $u_0$ uniquely determines a solution $u$.
$endgroup$
– Deane Yang
Apr 6 at 19:39
2
2
$begingroup$
You might also want to look at the book Cartan for Beginners by Ivey and Landsberg. In general, the family of local solutions is infinite dimensional and one counts the number of solutions by parameterizing the space of solutions by how many functions (and how many inputs each function takes) uniquely determine a local solution. Also, it is impossible to do this count effectively for anything but a system of PDEs that is involutive (or "in involution").
$endgroup$
– Deane Yang
Apr 5 at 14:49
$begingroup$
You might also want to look at the book Cartan for Beginners by Ivey and Landsberg. In general, the family of local solutions is infinite dimensional and one counts the number of solutions by parameterizing the space of solutions by how many functions (and how many inputs each function takes) uniquely determine a local solution. Also, it is impossible to do this count effectively for anything but a system of PDEs that is involutive (or "in involution").
$endgroup$
– Deane Yang
Apr 5 at 14:49
2
2
$begingroup$
Also, there is a finite dimensional family of local solutions only if the system can be solved using the Frobenius theorem. In that case, the characteristic variety is empty.
$endgroup$
– Deane Yang
Apr 5 at 14:53
$begingroup$
Also, there is a finite dimensional family of local solutions only if the system can be solved using the Frobenius theorem. In that case, the characteristic variety is empty.
$endgroup$
– Deane Yang
Apr 5 at 14:53
1
1
$begingroup$
@AliTaghavi, in general there is no connection without more information. Again, keep in mind that the codimension will also be infinite, so one has to count using functions, rather than numbers.
$endgroup$
– Deane Yang
Apr 5 at 16:17
$begingroup$
@AliTaghavi, in general there is no connection without more information. Again, keep in mind that the codimension will also be infinite, so one has to count using functions, rather than numbers.
$endgroup$
– Deane Yang
Apr 5 at 16:17
2
2
$begingroup$
@AliTaghavi, what's being discussed here is not index theory. Index theory is about global solutions to a linear elliptic PDE, where the kernel and cokernel are finite dimensional. The discussion here is about local solutions to nonlinear PDEs that are not necessarily elliptic.
$endgroup$
– Deane Yang
Apr 6 at 19:32
$begingroup$
@AliTaghavi, what's being discussed here is not index theory. Index theory is about global solutions to a linear elliptic PDE, where the kernel and cokernel are finite dimensional. The discussion here is about local solutions to nonlinear PDEs that are not necessarily elliptic.
$endgroup$
– Deane Yang
Apr 6 at 19:32
1
1
$begingroup$
@AliTaghavi, as for counting using functions, here is the basic example: If you have a real analytic system of PDEs of the form $$ partial_tu + A^ipartial_i u = f, $$ where $1 le i le n$, and $u = (u^1, dots, u^m)$, then, by the Cauchy-Kovalevski theorem, given any real analytic $mathbbR^m$-valued function $u_0(x^1, dots, x^n)$, there exists a unique local solution $u$ to the system of PDEs such that $u(0,x) = u_0(x)$. Therefore, you can say that local solutions depend on $m$ functions of $n$ variables, in the sense that each $u_0$ uniquely determines a solution $u$.
$endgroup$
– Deane Yang
Apr 6 at 19:39
$begingroup$
@AliTaghavi, as for counting using functions, here is the basic example: If you have a real analytic system of PDEs of the form $$ partial_tu + A^ipartial_i u = f, $$ where $1 le i le n$, and $u = (u^1, dots, u^m)$, then, by the Cauchy-Kovalevski theorem, given any real analytic $mathbbR^m$-valued function $u_0(x^1, dots, x^n)$, there exists a unique local solution $u$ to the system of PDEs such that $u(0,x) = u_0(x)$. Therefore, you can say that local solutions depend on $m$ functions of $n$ variables, in the sense that each $u_0$ uniquely determines a solution $u$.
$endgroup$
– Deane Yang
Apr 6 at 19:39
|
show 6 more comments
1 Answer
1
active
oldest
votes
$begingroup$
The wave equation in the plane is $partial^2_x-partial^2_y=(partial_x+partial_y)(partial_x-partial_y)$, so two points in the characteristic variety, but infinite dimensional family of solutions.
Each isolated point in the characteristic variety represents a hypersurface foliation inside every sufficiently smooth solution, by a theorem of Ofer Gabber. For the wave equation, this is the foliation by the two directions spanned by the vector fields $partial_x+partial_y, partial_x-partial_y$.
edited Apr 5 at 14:51
Joonas Ilmavirta
5,78352751
answered Apr 5 at 13:39
Ben McKayBen McKay
14.8k23061
$endgroup$
1
$begingroup$
Good to know. As a follow up question, the wave equation is linear whereas the system of interest is quite non-linear (at least in the non-flat case). At the risk of asking something obvious, does this example break down if we can't take linear combinations of solutions to get a solution?
$endgroup$
– Gabe K
Apr 5 at 13:57
3
$begingroup$
The existence of the hypersurface foliation for each point in the characteristic variety does not break down for nonlinear equations. The characteristic direction in the cotangent bundle of any solution is null on the tangent vectors tangent to the leaves. But counting the number of solutions is not so clear, and depends on issues of involutivity.
$endgroup$
– Ben McKay
Apr 5 at 14:55
$begingroup$
@BenMcKay what about a connection between the number of points in the characteristic variety and the Codimension of the range of diff operator associated to PDE?
$endgroup$
– Ali Taghavi
Apr 5 at 15:21
1
$begingroup$
@AliTaghavi: A precise statement is difficult to make, as it requires a long discussion. There is a precise statement on p. 195 of Bryant et. al., Exterior Differential Systems, theorem 3.20, but it uses terminology that would require extensive discussion to define here. They also give the reference to Gabber's paper: O. Gabber, The Integrability of the characteristic variety, Amer. J. Math., 103, 1981, .p 445-468.
$endgroup$
– Ben McKay
Apr 6 at 18:30
1
$begingroup$
@AliTaghavi, please keep in mind here that both the dimension of the space of solutions and the codimension of the image are infinite dimensional. And the adjoint PDE plays no role here. You're confusing the situation here with the global theory of elliptic PDEs.
$endgroup$
– Deane Yang
Apr 6 at 19:29
|
show 3 more comments
Your Answer
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',
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%2fmathoverflow.net%2fquestions%2f327234%2fcan-the-number-of-solutions-to-a-system-of-pdes-be-bounded-using-the-characteris%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$
The wave equation in the plane is $partial^2_x-partial^2_y=(partial_x+partial_y)(partial_x-partial_y)$, so two points in the characteristic variety, but infinite dimensional family of solutions.
Each isolated point in the characteristic variety represents a hypersurface foliation inside every sufficiently smooth solution, by a theorem of Ofer Gabber. For the wave equation, this is the foliation by the two directions spanned by the vector fields $partial_x+partial_y, partial_x-partial_y$.
edited Apr 5 at 14:51
Joonas Ilmavirta
5,78352751
answered Apr 5 at 13:39
Ben McKayBen McKay
14.8k23061
$endgroup$
1
$begingroup$
Good to know. As a follow up question, the wave equation is linear whereas the system of interest is quite non-linear (at least in the non-flat case). At the risk of asking something obvious, does this example break down if we can't take linear combinations of solutions to get a solution?
$endgroup$
– Gabe K
Apr 5 at 13:57
3
$begingroup$
The existence of the hypersurface foliation for each point in the characteristic variety does not break down for nonlinear equations. The characteristic direction in the cotangent bundle of any solution is null on the tangent vectors tangent to the leaves. But counting the number of solutions is not so clear, and depends on issues of involutivity.
$endgroup$
– Ben McKay
Apr 5 at 14:55
$begingroup$
@BenMcKay what about a connection between the number of points in the characteristic variety and the Codimension of the range of diff operator associated to PDE?
$endgroup$
– Ali Taghavi
Apr 5 at 15:21
1
$begingroup$
@AliTaghavi: A precise statement is difficult to make, as it requires a long discussion. There is a precise statement on p. 195 of Bryant et. al., Exterior Differential Systems, theorem 3.20, but it uses terminology that would require extensive discussion to define here. They also give the reference to Gabber's paper: O. Gabber, The Integrability of the characteristic variety, Amer. J. Math., 103, 1981, .p 445-468.
$endgroup$
– Ben McKay
Apr 6 at 18:30
1
$begingroup$
@AliTaghavi, please keep in mind here that both the dimension of the space of solutions and the codimension of the image are infinite dimensional. And the adjoint PDE plays no role here. You're confusing the situation here with the global theory of elliptic PDEs.
$endgroup$
– Deane Yang
Apr 6 at 19:29
|
show 3 more comments
$begingroup$
The wave equation in the plane is $partial^2_x-partial^2_y=(partial_x+partial_y)(partial_x-partial_y)$, so two points in the characteristic variety, but infinite dimensional family of solutions.
Each isolated point in the characteristic variety represents a hypersurface foliation inside every sufficiently smooth solution, by a theorem of Ofer Gabber. For the wave equation, this is the foliation by the two directions spanned by the vector fields $partial_x+partial_y, partial_x-partial_y$.
edited Apr 5 at 14:51
Joonas Ilmavirta
5,78352751
answered Apr 5 at 13:39
Ben McKayBen McKay
14.8k23061
$endgroup$
1
$begingroup$
Good to know. As a follow up question, the wave equation is linear whereas the system of interest is quite non-linear (at least in the non-flat case). At the risk of asking something obvious, does this example break down if we can't take linear combinations of solutions to get a solution?
$endgroup$
– Gabe K
Apr 5 at 13:57
3
$begingroup$
The existence of the hypersurface foliation for each point in the characteristic variety does not break down for nonlinear equations. The characteristic direction in the cotangent bundle of any solution is null on the tangent vectors tangent to the leaves. But counting the number of solutions is not so clear, and depends on issues of involutivity.
$endgroup$
– Ben McKay
Apr 5 at 14:55
$begingroup$
@BenMcKay what about a connection between the number of points in the characteristic variety and the Codimension of the range of diff operator associated to PDE?
$endgroup$
– Ali Taghavi
Apr 5 at 15:21
1
$begingroup$
@AliTaghavi: A precise statement is difficult to make, as it requires a long discussion. There is a precise statement on p. 195 of Bryant et. al., Exterior Differential Systems, theorem 3.20, but it uses terminology that would require extensive discussion to define here. They also give the reference to Gabber's paper: O. Gabber, The Integrability of the characteristic variety, Amer. J. Math., 103, 1981, .p 445-468.
$endgroup$
– Ben McKay
Apr 6 at 18:30
1
$begingroup$
@AliTaghavi, please keep in mind here that both the dimension of the space of solutions and the codimension of the image are infinite dimensional. And the adjoint PDE plays no role here. You're confusing the situation here with the global theory of elliptic PDEs.
$endgroup$
– Deane Yang
Apr 6 at 19:29
|
show 3 more comments
$begingroup$
The wave equation in the plane is $partial^2_x-partial^2_y=(partial_x+partial_y)(partial_x-partial_y)$, so two points in the characteristic variety, but infinite dimensional family of solutions.
Each isolated point in the characteristic variety represents a hypersurface foliation inside every sufficiently smooth solution, by a theorem of Ofer Gabber. For the wave equation, this is the foliation by the two directions spanned by the vector fields $partial_x+partial_y, partial_x-partial_y$.
edited Apr 5 at 14:51
Joonas Ilmavirta
5,78352751
answered Apr 5 at 13:39
Ben McKayBen McKay
14.8k23061
$endgroup$
The wave equation in the plane is $partial^2_x-partial^2_y=(partial_x+partial_y)(partial_x-partial_y)$, so two points in the characteristic variety, but infinite dimensional family of solutions.
Each isolated point in the characteristic variety represents a hypersurface foliation inside every sufficiently smooth solution, by a theorem of Ofer Gabber. For the wave equation, this is the foliation by the two directions spanned by the vector fields $partial_x+partial_y, partial_x-partial_y$.
edited Apr 5 at 14:51
Joonas Ilmavirta
5,78352751
answered Apr 5 at 13:39
Ben McKayBen McKay
14.8k23061
edited Apr 5 at 14:51
Joonas Ilmavirta
5,78352751
edited Apr 5 at 14:51
Joonas Ilmavirta
5,78352751
edited Apr 5 at 14:51
Joonas Ilmavirta
5,78352751
5,78352751
answered Apr 5 at 13:39
Ben McKayBen McKay
14.8k23061
answered Apr 5 at 13:39
Ben McKayBen McKay
14.8k23061
answered Apr 5 at 13:39
Ben McKayBen McKay
14.8k23061
14.8k23061
1
$begingroup$
Good to know. As a follow up question, the wave equation is linear whereas the system of interest is quite non-linear (at least in the non-flat case). At the risk of asking something obvious, does this example break down if we can't take linear combinations of solutions to get a solution?
$endgroup$
– Gabe K
Apr 5 at 13:57
3
$begingroup$
The existence of the hypersurface foliation for each point in the characteristic variety does not break down for nonlinear equations. The characteristic direction in the cotangent bundle of any solution is null on the tangent vectors tangent to the leaves. But counting the number of solutions is not so clear, and depends on issues of involutivity.
$endgroup$
– Ben McKay
Apr 5 at 14:55
$begingroup$
@BenMcKay what about a connection between the number of points in the characteristic variety and the Codimension of the range of diff operator associated to PDE?
$endgroup$
– Ali Taghavi
Apr 5 at 15:21
1
$begingroup$
@AliTaghavi: A precise statement is difficult to make, as it requires a long discussion. There is a precise statement on p. 195 of Bryant et. al., Exterior Differential Systems, theorem 3.20, but it uses terminology that would require extensive discussion to define here. They also give the reference to Gabber's paper: O. Gabber, The Integrability of the characteristic variety, Amer. J. Math., 103, 1981, .p 445-468.
$endgroup$
– Ben McKay
Apr 6 at 18:30
1
$begingroup$
@AliTaghavi, please keep in mind here that both the dimension of the space of solutions and the codimension of the image are infinite dimensional. And the adjoint PDE plays no role here. You're confusing the situation here with the global theory of elliptic PDEs.
$endgroup$
– Deane Yang
Apr 6 at 19:29
|
show 3 more comments
1
$begingroup$
Good to know. As a follow up question, the wave equation is linear whereas the system of interest is quite non-linear (at least in the non-flat case). At the risk of asking something obvious, does this example break down if we can't take linear combinations of solutions to get a solution?
$endgroup$
– Gabe K
Apr 5 at 13:57
3
$begingroup$
The existence of the hypersurface foliation for each point in the characteristic variety does not break down for nonlinear equations. The characteristic direction in the cotangent bundle of any solution is null on the tangent vectors tangent to the leaves. But counting the number of solutions is not so clear, and depends on issues of involutivity.
$endgroup$
– Ben McKay
Apr 5 at 14:55
$begingroup$
@BenMcKay what about a connection between the number of points in the characteristic variety and the Codimension of the range of diff operator associated to PDE?
$endgroup$
– Ali Taghavi
Apr 5 at 15:21
1
$begingroup$
@AliTaghavi: A precise statement is difficult to make, as it requires a long discussion. There is a precise statement on p. 195 of Bryant et. al., Exterior Differential Systems, theorem 3.20, but it uses terminology that would require extensive discussion to define here. They also give the reference to Gabber's paper: O. Gabber, The Integrability of the characteristic variety, Amer. J. Math., 103, 1981, .p 445-468.
$endgroup$
– Ben McKay
Apr 6 at 18:30
1
$begingroup$
@AliTaghavi, please keep in mind here that both the dimension of the space of solutions and the codimension of the image are infinite dimensional. And the adjoint PDE plays no role here. You're confusing the situation here with the global theory of elliptic PDEs.
$endgroup$
– Deane Yang
Apr 6 at 19:29
1
1
$begingroup$
Good to know. As a follow up question, the wave equation is linear whereas the system of interest is quite non-linear (at least in the non-flat case). At the risk of asking something obvious, does this example break down if we can't take linear combinations of solutions to get a solution?
$endgroup$
– Gabe K
Apr 5 at 13:57
$begingroup$
Good to know. As a follow up question, the wave equation is linear whereas the system of interest is quite non-linear (at least in the non-flat case). At the risk of asking something obvious, does this example break down if we can't take linear combinations of solutions to get a solution?
$endgroup$
– Gabe K
Apr 5 at 13:57
3
3
$begingroup$
The existence of the hypersurface foliation for each point in the characteristic variety does not break down for nonlinear equations. The characteristic direction in the cotangent bundle of any solution is null on the tangent vectors tangent to the leaves. But counting the number of solutions is not so clear, and depends on issues of involutivity.
$endgroup$
– Ben McKay
Apr 5 at 14:55
$begingroup$
The existence of the hypersurface foliation for each point in the characteristic variety does not break down for nonlinear equations. The characteristic direction in the cotangent bundle of any solution is null on the tangent vectors tangent to the leaves. But counting the number of solutions is not so clear, and depends on issues of involutivity.
$endgroup$
– Ben McKay
Apr 5 at 14:55
$begingroup$
@BenMcKay what about a connection between the number of points in the characteristic variety and the Codimension of the range of diff operator associated to PDE?
$endgroup$
– Ali Taghavi
Apr 5 at 15:21
$begingroup$
@BenMcKay what about a connection between the number of points in the characteristic variety and the Codimension of the range of diff operator associated to PDE?
$endgroup$
– Ali Taghavi
Apr 5 at 15:21
1
1
$begingroup$
@AliTaghavi: A precise statement is difficult to make, as it requires a long discussion. There is a precise statement on p. 195 of Bryant et. al., Exterior Differential Systems, theorem 3.20, but it uses terminology that would require extensive discussion to define here. They also give the reference to Gabber's paper: O. Gabber, The Integrability of the characteristic variety, Amer. J. Math., 103, 1981, .p 445-468.
$endgroup$
– Ben McKay
Apr 6 at 18:30
$begingroup$
@AliTaghavi: A precise statement is difficult to make, as it requires a long discussion. There is a precise statement on p. 195 of Bryant et. al., Exterior Differential Systems, theorem 3.20, but it uses terminology that would require extensive discussion to define here. They also give the reference to Gabber's paper: O. Gabber, The Integrability of the characteristic variety, Amer. J. Math., 103, 1981, .p 445-468.
$endgroup$
– Ben McKay
Apr 6 at 18:30
1
1
$begingroup$
@AliTaghavi, please keep in mind here that both the dimension of the space of solutions and the codimension of the image are infinite dimensional. And the adjoint PDE plays no role here. You're confusing the situation here with the global theory of elliptic PDEs.
$endgroup$
– Deane Yang
Apr 6 at 19:29
$begingroup$
@AliTaghavi, please keep in mind here that both the dimension of the space of solutions and the codimension of the image are infinite dimensional. And the adjoint PDE plays no role here. You're confusing the situation here with the global theory of elliptic PDEs.
$endgroup$
– Deane Yang
Apr 6 at 19:29
|
show 3 more comments
Thanks for contributing an answer to MathOverflow!
- 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%2fmathoverflow.net%2fquestions%2f327234%2fcan-the-number-of-solutions-to-a-system-of-pdes-be-bounded-using-the-characteris%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
2
$begingroup$
You might also want to look at the book Cartan for Beginners by Ivey and Landsberg. In general, the family of local solutions is infinite dimensional and one counts the number of solutions by parameterizing the space of solutions by how many functions (and how many inputs each function takes) uniquely determine a local solution. Also, it is impossible to do this count effectively for anything but a system of PDEs that is involutive (or "in involution").
$endgroup$
– Deane Yang
Apr 5 at 14:49
2
$begingroup$
Also, there is a finite dimensional family of local solutions only if the system can be solved using the Frobenius theorem. In that case, the characteristic variety is empty.
$endgroup$
– Deane Yang
Apr 5 at 14:53
1
$begingroup$
@AliTaghavi, in general there is no connection without more information. Again, keep in mind that the codimension will also be infinite, so one has to count using functions, rather than numbers.
$endgroup$
– Deane Yang
Apr 5 at 16:17
2
$begingroup$
@AliTaghavi, what's being discussed here is not index theory. Index theory is about global solutions to a linear elliptic PDE, where the kernel and cokernel are finite dimensional. The discussion here is about local solutions to nonlinear PDEs that are not necessarily elliptic.
$endgroup$
– Deane Yang
Apr 6 at 19:32
1
$begingroup$
@AliTaghavi, as for counting using functions, here is the basic example: If you have a real analytic system of PDEs of the form $$ partial_tu + A^ipartial_i u = f, $$ where $1 le i le n$, and $u = (u^1, dots, u^m)$, then, by the Cauchy-Kovalevski theorem, given any real analytic $mathbbR^m$-valued function $u_0(x^1, dots, x^n)$, there exists a unique local solution $u$ to the system of PDEs such that $u(0,x) = u_0(x)$. Therefore, you can say that local solutions depend on $m$ functions of $n$ variables, in the sense that each $u_0$ uniquely determines a solution $u$.
$endgroup$
– Deane Yang
Apr 6 at 19:39