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

learn more… | top users | synonyms

9
votes
1answer
332 views

Special Second-Order PDE

Let $\Phi$ be a given smooth function on a neighborhood of zero in $\mathbb{R}^n$ with $$\Phi(0) = 0, ~~~~D \Phi(0) = 0, ~~~~ D^2\Phi(0) >0,$$ the latter meaning that the Hessian is positive ...
8
votes
9answers
3k views

Textbooks for PDE between Strauss and Folland

Walter A. Strauss's Partial Differential Equations: An Introduction is a classic PDE textbook for the undergraduate students. While Folland's Introduction to Partial Differential Equations, is a nice ...
8
votes
3answers
3k views

Physical Interpretation of Robin Boundary Conditions

In a (bounded) domain $\Omega \subset \mathbb{R}^n$, if we're studying the Laplace equation or heat equation or such PDE's we can impose the Dirichlet $u|_{\partial\Omega} \equiv 0$, Neumann $D_{\nu} ...
7
votes
2answers
245 views

Fredholm alternative result for general elliptic system?

Now I have known that Fredholm alternative result is valid for the strong elliptic system. But I'm not sure that is it still valid for the general elliptic system, in which the second-order heading ...
7
votes
0answers
312 views

Regularity of solutions to a linear degenerate parabolic pde

I've encountered the following problem which is causing me some trouble : Let $(M^2,g)$ be a smooth compact Riemannian surface (with constant curvature for instance) and consider a smooth function ...
6
votes
3answers
756 views

Analytical solution to a Linear advection-reaction PDE

I am looking for an analytical solution for the linear PDE $(1)\qquad\qquad \qquad f_t+ A f_x + B f = 0, $ Where $A$ and $B$ are constant matrices and $f=f(x,t)$ is a vector. Clearly each one of ...
6
votes
2answers
259 views

Uniform bound on the eigenfunctions of the Laplacian

Is it possibly to have $L_\infty$ bounds on the eigenfunctions of the Laplacian operator on bounded regular domains with Dirichlet condition? I found several papers by Sogge but these are pretty ...
6
votes
0answers
324 views

Lax Pairs for Linear PDEs

I'm trying to understand the discussion around equation (2.1) of the paper http://www.jstor.org/stable/53053. It says that the linear PDE $M(\partial_x,\partial_y)q=0$ with constant coefficients has ...
5
votes
1answer
450 views

Regularity of the Maxwell equations

As is well-known, the Maxwell equations can be phrased vectorially as, \begin{align} \nabla \cdot \mathbf E &= \frac{\rho_f}{\varepsilon}, &\text{Gauss's law,}\\\ \nabla \cdot \mathbf ...
5
votes
1answer
859 views

Short time existence on nonlinear parabolic PDE

I saw several papers that without proof accept the fact "Short time existence on nonlinear parabolic PDE" is there any affirmative proof of this fact? in which book we have this fact, the number of ...
4
votes
2answers
205 views

hodographic transformation

Let $\phi(x,t)$ be smooth function. Let $\zeta= x-t$ and $\eta= x+t$. $u=\phi_\zeta$, $v= \phi_\eta$. Let $u$, $v$ satisfies following equations: 1- $$u_\eta- v_\zeta= 0$$ ...
4
votes
2answers
142 views

Analytic solution of a system of linear, hyperbolic, first order, partial differential equations

In a try to solve a physical problem, I've faced a system of first-order partial differential equations of the form ...
4
votes
2answers
168 views

Solution to Schrödinger equation

I asked this question already on stackexchange, but I did not get any resonance at all, so maybe anybody here can give me a few hints about my problem. My goal is to solve this PDE for $f:[-1,1] ...
4
votes
2answers
308 views

Numerical solution to diffusion-like equation with negative diffusion coefficient region?

I am trying to numerically solve the initial value problem (see later discussion for ICs) $$ x \frac{\partial f}{\partial t} = \frac{\partial}{\partial x} (1-x^2) \frac{\partial f}{\partial x} - f$$ ...
4
votes
1answer
164 views

Please recommend some literature on the systematical theory of the elliptic systems!

Now I'm interested in the theory of elliptic systems, for example, both the linear and nonlinear case, the exsitence and regularity results, and is there a Fredholm alternative result for the linear ...
4
votes
0answers
220 views

Feynman-Kac theorem: probabilistic proof of existence of solution to parabolic PDE

Friedman (in his book: PDEs of Parabolic Type) shows how to construct a solution to the Cauchy problem $$ \partial_t u(t,x) = b(x) \partial_x u(t,x) + \frac{1}{2} \sigma(x)^2 \partial_{x,x} u(t,x) $$ ...
3
votes
1answer
455 views

Stochastic Heat Equation

Given the heat equation: $$\partial_{t}{\varPhi(x,t)}=k^2\partial_{xx}{\varPhi(x,t)}$$ with the boundary conditions: $$\Phi(x,0)=\Phi_0$$ and a Neumann boundary condition of the kind: ...
3
votes
1answer
575 views

Long time behavior of the heat equation on R

Let $\mu\in\mathcal{S}'(R)$ be a Schwartz distribution. The solution of a heat equation with $\mu$ as the initial data is $$ u(t,x)= \int_R \frac{e^{-\frac{(x-y)^2}{2t}}}{\sqrt{2\pi t}} \mu(d y) $$ ...
3
votes
1answer
108 views

To give an estimate for the maximal function associated to the Schrödinger group by using a measurable selector function

I am consulting some papers (references below) about the Carleson's problem for the pointwise convergence of the Schrödinger group \begin{equation} S_t=e^{i t \Delta}. \end{equation} In this context ...
3
votes
1answer
272 views

Upper bounds for the solution of an elliptic PDE depending on a parameter.

Suppose I have the following PDE on $[0,1]^n$ $$\mathcal{L}u = -\nabla \cdot \left(a(x, r)\nabla u\right) = f(x,r), \qquad x\in [0,1]^n,$$ with periodic boundary conditions and $\int f(x) dx =0$ . ...
3
votes
0answers
50 views

How can one do change of variables for solutions to a staochastic partial differential equation?

isHow can one do change of variables for solutions to a staochastic partial differential equation? For example, let us consider the following stochastic transport equation: $$ dy(t,x) + y_x(t,x) + ...
3
votes
0answers
85 views

Linear heat equation with initial condition of generalized function

I am consider a very simple heat equation over the interval $[0, 1]$ with a Neumann BC and a very bad initial condition, written as: $\partial_tu(t, x) = \partial^2_xu(t, x) + a(t, x)u(t, x)$, for ...
3
votes
0answers
219 views

well-posedness of the transport equation

I asked this question before on math exchange but did not have any luck with an answer. I would like to consider a simple example but get a thorough understanding of the theory behind it. I am ...
3
votes
0answers
114 views

Quadratic forms over symmetric $3\times3$ matrices

This question is motivated by a technique called compensated compactness (CC), which was elaborated by L. Tartar and F. Murat for the analysis of PDEs. The foreword of CC is a problem about quadratic ...
3
votes
0answers
367 views

Boundary regularity of the solution to the Beltrami equation

Hello, this question might sound a little vague, but I still dare to state , and I am basically requesting for some reference: Let us consider the orientation-preserving homeomorphic solutions $f: D ...
2
votes
2answers
116 views

Let $\mathrm{div}\,(A\,\mathrm{grad}\,u) + b u = f$. Is $(A\,\mathrm{grad}\,u)$ weakly differentiable?

Let us consider the basic linear elliptic PDE $$ \mathrm{div} (A\,\mathrm{grad}\,u) + bu = f, $$ with $f\in L^p,$ $A,b$ uniformly bounded. Do we have, for a weak solution $u\in W^{1,p}(\Omega')$, $$ ...
2
votes
1answer
155 views

Tempered distribution solution to a simple PDE

Let's consider the following PDE in $\mathbb R^d$ : $$\frac{\partial^d u}{\partial x_1...\partial x_d}=f$$ where $f$ is a tempered distribution with support in $\mathbb R^d_+$. There is a result by ...
2
votes
1answer
149 views

The centralizer of Lienard equation

Consider the lienard vector field $\cases{ x'=y -F(x) \\ y'=-x } $ in $\mathbb{R}^{2}$, where $F$ is a polynomial fuction with $F(0)=0$. Assume that $Y$ is a smooth vector field globally defined ...
2
votes
1answer
90 views

Heat transfer: boundary conditions with fluid velocity

The following equation is considered: $$ \frac{\partial u}{\partial t} - a\Delta u + \mathbf v \cdot \nabla u = f. $$ I have difficulties in formulating boundary conditions for this equation. If ...
2
votes
1answer
116 views

Extending a harmonic function in a ball to subharmonic in a larger ball

Consider the Laplace equation in a ball $B(r) \subset \mathbb{R}^n$ of radius $r$: $$ \begin{cases} -\Delta u &= 0, \quad \text {in} \quad B(r), \\ \ \ \ \ \ \, u&= g, \quad \text {in}\quad ...
2
votes
2answers
115 views

Is the left regularizer for elliptic BVP a left inverse for the principal part?

Take a differential operator with elliptic symbol, consider just the principal part of the operator. Can one invert this principal part with some parametrix type construction (at least construct a ...
2
votes
1answer
146 views

Differential finiteness of power series with hypergeometric coefficients

Let $f$ be a formal (or convergent near the origin, as you wish) power series with variables $x_1$, ... , $x_n$ and complex coefficients. $$ f = \sum_I f_I \mathbf x^I $$ This power series is said to ...
2
votes
1answer
177 views

Pseudoinverse of Neumann-Laplacian

Suppose you have the following PDE: find $u \in H^1(\Omega)$ such that $$-\Delta u = f, \\ \frac{\partial u}{\partial n} = 0. $$ Further assume a solvability condition $$\int_\Omega f ...
2
votes
1answer
59 views

Solutions of a stochastic reduced wave equation

Given a spherical reference frame $\left(\rho,\phi,\theta\right)$, the reduced wave equation can be written as: $$\nabla^2U=k^2n^2U$$ in which: $U=U(\rho,\phi,\theta)$ The solutions of this equation ...
2
votes
1answer
131 views

Monotonicity preserving parabolic operators

Let $$ \mathcal{L}\equiv\sum_{i,j}^{n}a_{i,j}\frac{\partial^{2}}{\partial x_{i}\,\partial x_{j}}+\sum_{i}^{n}b_{i}\frac{\partial}{\partial x_{i}}+c $$ be uniformly elliptic on ...
2
votes
1answer
247 views

Best approach to solve this PDE

I need to solve this Partial Differential Equation for $\lambda(x,y)$, $$\frac{\partial \lambda}{\partial x} + h(x,y)\frac{\partial \lambda}{\partial y} - \lambda \frac{\partial h}{\partial y} = 0$$ ...
2
votes
1answer
267 views

Uniqueness of classical solution with degenerate boundary

Consider heat equation on the domain $\Omega = (0,1)\times (0,1)$ in the form of $$ \partial_{t} u = \frac 1 2 x^{3} (1-x) \partial_{xx} u, \quad (x,t) \in \Omega$$ with initial data $u(x,0) = x$ for ...
2
votes
1answer
129 views

The maximum in the Poisson problem on the cube with constant source

Question: Let us consider the Poisson problem on the square with constant source $1$ $$ \begin{cases} - \Delta u &= 1, \qquad \text{ in } (0,1)^n \\\\ u &= 0, \qquad \text{ on } \partial ...
2
votes
1answer
375 views

orthonormal basis of eigenvectors for laplacian on a concave polygon

I am interested in the Laplace operator $\Delta$ on a concave polygon. When the polygon is convex, it is known that $\Delta: H^2(\Omega) \rightarrow L^2(\Omega)$ is boundedly invertible. In addition, ...
2
votes
0answers
43 views

Some Questions from Reading on Wave Front Set from Hormander's Linear PDE Vol. 1

In Hormander's Linear PDE Vol. 1 (pg 252-253, before the definition of wave front set is introduced), Lemma $8.1.1$ says that if $\phi \in C_{0}^{\infty}$ and $v \in \mathcal{E}^{\prime}$, then ...
2
votes
0answers
93 views

Algebraic methods in pde [duplicate]

I'm finding myself with a linear, very symetric system of first orders pde with polynomial coefficients. Wandering on the web, i learnt there is some nice alebraic way to deal with it involving ...
2
votes
0answers
259 views

General solutions for HJB equations in a special case.

I am reading the book of Wendell Flemming in control theorem to learn the HJB equation Here is the setting that interests me: Let $g_i: i=1,2$ be $C^2 =C^{2}(-\infty,\infty)$ functions such that ...
1
vote
3answers
440 views

How to prove/disprove that quasiconformal maps send measure-zero sets to measure-zero sets

$Qn#1 $ : Let $f:U\to V$ be a $K$ quasiconformal homeomorphism ( NOT diffeomorphism ) of plane open subsets of $C$. By my definition of quasiconformality, I mean 1)$f$ is continuous, 2)the weak ...
1
vote
1answer
147 views

Under which conditions Jacobi PDE system can be represented to symplectic monge Ampere equation?

We know we can reduce Symplectic monge ampere equations to Jacobi PDE system with some compatibility condition. I want to see when the vise versa is correct? and is there any theorem for it. Here ...
1
vote
2answers
98 views

Bound deg 3 partial differential operator on Laplace eigenfunction?

I am no expert on PDE and analysis but I am looking for certain technique from PDE. Let $D_2$ be the Laplace operator and $f$ is an eigenfunction, i.e., $D_2 f=\lambda f$ for some $\lambda>1$. (or ...
1
vote
1answer
163 views

if $\Pi_1$ and $\Pi_2$ be elliptic planes then $\Pi_1 \oplus \Pi_2 $ is still elliptic?

Let $\Omega \in\Lambda^{4}\big(V^{ \star }\big)$ be volume form. Define symplectic bilinear form $q: \Pi \oplus \Pi \rightarrow R $ $\big( \alpha ,\beta \big) \longrightarrow \alpha ...
1
vote
1answer
282 views

Linear inhomogeneous PDE

I am trying to understand the behavior of the following linear PDE: $$\partial_t u(x,t) = \partial_{xx} u(x,t) + f(x) u(x,t)$$ where I set $f(x)=\lambda e^{-x^2} -1$ and with: IC : $u(x,0)= 1$ on ...
1
vote
1answer
97 views

Existence of the solution of a linear parabolic pde

Good day! Let $V = H^1(\Omega)$, $\Omega \subset \mathbb R^3$. Consider the linear parabolic equation $y' + Ay = f$ where $f \in L^q(0,T;V')$, $y \in W = \{y \in L^p(0,T;V) \colon dy/dt \in ...
1
vote
1answer
199 views

Reference request: Boundary behavior and quantitative lower bound for the principal eigenfunction of an elliptic PDE in a ball $B(r)$

Consider the elliptic eigenvalue problem $$ \begin{cases} \int_{B(r)} A(x) \nabla u \cdot \nabla \phi \, dx &= \ \ \frac{\lambda_1}{r^2}\int_{B(r)} u \phi \, dx \\ \qquad \qquad \qquad \quad ...
1
vote
1answer
107 views

Number of linear independent equations

Is there any general rule to find the number of linearly independent equations such that $$L_i(T_{\mu\nu},\partial_\eta T_{\mu\nu},\partial_\omega\partial_\eta T_{\mu\nu},...)=0$$ where $L_i$ is a ...