awarded
revised
Minimal assumptions for existence of solutions of First order PDE
added 208 characters in body
Loading…
revised
Minimal assumptions for existence of solutions of First order PDE
added 753 characters in body
Loading…
revised
Minimal assumptions for existence of solutions of First order PDE
added 753 characters in body
Loading…
comment
Minimal assumptions for existence of solutions of First order PDE
I have edited my answer above to answer your comment.
Loading…
Loading…
comment
Derivative norm estimates
Taking into account the aforementioned multidimensional difficulty, it is indeed straightforward to prove (5) (which is the requested estimate) inductively.
revised
Derivative norm estimates
Taking into account the aforementioned multidimensional difficulty, it is indeed straightforward to prove (5),
Loading…
revised
Derivative norm estimates
deleted 6 characters in body
Loading…
comment
Derivative norm estimates
@T.Amdeberhan I wrote some more details on the meaning of the multidimensional Faa de Bruno formula.
revised
Derivative norm estimates
I wrote some more details on the meaning of the multidimensional Faa de Bruno formula.
Loading…
comment
Derivative norm estimates
Hmm, I guess so. In fact, I hope that the formula $(\ast)$ can be used to prove this inductively, by just plugging your estimate for the $\Psi_r$, since the $\Omega_{r,n}$ have an explicit expression. I will return to that matter, but I feel that $(\ast)$ is following the piece of advice given in a previous comment by A. Kulikov.
revised
Derivative norm estimates
added 12 characters in body
Loading…
revised
Derivative norm estimates
$\Omega$ dépends on $r$ and $n$.
Loading…
answered
Loading…
Loading…
Loading…
awarded
comment
Is there a useful theory of D-modules on smooth (non-analytic) manifolds?
@Pulcinella The Tychonoff counterexample is using the existence of non-zero smooth functions which are flat at $t=0$ and also of non-temperate distributions. Again, I am very doubtful that this type of counterexample could have been produced via an algebraic approach.