Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 21907

Questions about linear partial differential equations. Often used in combination with the top-level tag ap.analysis-of-pdes.

5 votes

Minimal assumptions for existence of solutions of First order PDE

There are two a priori different points of view. The first one is the Lagrangean where you look at the ODE $$ \dot x(t)=X(x(t)), $$ where $X$ is your given vector field. Then, as you mention, a local …
Bazin's user avatar
  • 16.2k
1 vote

Status of the Bressan conjecture

The answer to my query is in fact the following: Bressan's conjecture was proven in 2020 in a paper authored by Stefano Bianchini & Paolo Bonicatto, published by Invent. math. (2020) 220:255–393, "A u …
Bazin's user avatar
  • 16.2k
2 votes
1 answer
183 views

Status of the Bressan conjecture

Let me first recall what is the Bressan conjecture. Take a $BV\cap L^\infty$ vector field $X$ on some open subset of $\mathbb R^n$ such that there exists an $L^\infty$ function $\alpha\ge 1$ so that $ …
Bazin's user avatar
  • 16.2k
3 votes

Does hypoellipticity imply the existence of a parametrix?

In the case of hypoelliptic operators with constant coefficients, you have a characterization found by L.Hörmander, which implies that you do have a pseudo-differential parametrix with a symbol in a c …
Bazin's user avatar
  • 16.2k
1 vote

Difference between semilinear and fully nonlinear

A semi-linear PDE reads $ \mathcal Lu=F(u), $ where $\mathcal L$ is a linear operator and $F$ is a function. A quasi-linear PDE with order $m$ reads $ \mathcal L\bigl((\partial_x^\alpha u)_{\vert \alp …
Bazin's user avatar
  • 16.2k
3 votes

Gradient $L^p$ estimates for heat equation

Th fundamental solution of the heat equation in $\mathbb R^d$ is $$ E_d(x,t)=H(t) (4πt)^{-d/2} e^{-\frac{\vert x\vert^2}{4t}}, $$ so that $\Vert E_d(\cdot,t)\Vert_{L^1(\mathbb R^d)}=1,$ $ \nabla_x E_d …
Bazin's user avatar
  • 16.2k
1 vote

First order partial differential equation

Your equation is linear, first-order and can be written as $$ \frac{\partial f}{\partial t}-v(x)\frac{\partial f}{\partial x}=v'(x) f. \tag{$\ast$}$$ Using the characteristics of the vector field, yo …
Bazin's user avatar
  • 16.2k
5 votes

Fundamental solution of an elliptic PDE in divergence form with non-symmetric matrix

Let me start with a constant coefficient operator $$ P(D)=\sum_{1\le j, k\le n} a_{jk} D_jD_k,\quad D_j=\frac{\partial }{i\partial x_j}. $$ Note that in two dimensions, you have elliptic operators wit …
Bazin's user avatar
  • 16.2k
2 votes

Hörmander's hypoellipticity theorem for complex coefficients

You will find a study of self-adjoint operators of type $$ \sum_{j=1}^r(X_j^*-iY_j^*)(X_j+iY_j), $$ where $X_j, Y_j$ are real-valued vector fields for instance in the Helffer-Nier Lecture Note (Lectur …
Bazin's user avatar
  • 16.2k
2 votes
Accepted

When does an inverse PDE operator have a kernel (i.e. a fundamental solution?)

Following your assumptions, it seems that the mapping $L^{-1}$ sends linearly and continuously the smooth compactly supported functions into distributions and thus, from the Schwartz (Laurent) kernel …
Bazin's user avatar
  • 16.2k
11 votes
2 answers
701 views

Poincaré lemma for distributions

Let us consider a current on $\mathbb R^n$, that is a differential form whose coefficients are distributions. For simplicity, let us check the case of a $1$-form $$ u=\sum_{1\le j\le n} u_j dx_j,\quad …
Bazin's user avatar
  • 16.2k
1 vote

A Global Estimates for Linear Elliptic PDE

Writing $$ \langle-\Delta u + au, u\rangle_{L^2(\Omega)}=\langle f, u\rangle_{L^2(\Omega)}, $$ using the Dirichlet boundary condition, you get $$ \Vert \nabla u\Vert_{L^2(\Omega)}^2+\langle au, u\rang …
Bazin's user avatar
  • 16.2k
0 votes

Structure of sign changes under the heat flow

Let me try to reformulate (too long for a comment) your question by specializing it to a more particular (and more stable) case. Let $u_0:\mathbb R^2\rightarrow \mathbb R$, be a (smooth) Morse functio …
Bazin's user avatar
  • 16.2k
3 votes

Solving Stokes Equations using 3D Fourier transforms

Let me change your notations slightly: you work in three dimensions and you want to compute $$ u_{jk}(x)=\int e^{2i\pi x\cdot \xi} \frac{\xi_j\xi_k}{\vert \xi\vert^4} d\xi, $$ where the integral shoul …
Bazin's user avatar
  • 16.2k