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

learn more… | top users | synonyms

1
vote
0answers
60 views

$C^{1,2}$ regularity of (weak) solutions to the heat equation

Let $\Omega$ be a bounded Lipschitz domain (smoother if needed), and consider the heat equation $$u_t - \Delta u = 0$$ $$\frac{\partial u(t,x)}{\partial \nu(x)} = a(t,x) - b(t,x)u(t,x)$$ $$u(0) = ...
5
votes
1answer
106 views

$L^\infty$ estimate on heat equation with a lower order term

Let $u$ be the weak solution on a smooth bounded domain $\Omega \subset \mathbb{R}^n$ (for $n \leq 3$) of $$u_t - \Delta u = f$$ $$u(0) = u_0$$ $$\partial_\nu u = 0 \quad\text{on $\partial\Omega$}$$ ...
1
vote
0answers
30 views

About the “method of lines”: when are such solutions good approximations for **all** future time?

This question is about approximate solutions to some classes of PDEs obtained using the "method of lines". For example, for an initial-value problem given by a PDE on a circle, one can choose $n$ ...
1
vote
1answer
115 views

Harmonic/Subharmonic lifting of functions on an annulus

Suppose $\Omega_1, \Omega_2 \subset R^2$ are bounded open regions with $\Omega_1 \Subset \Omega_2$. Let $f_1\in C(\partial \Omega_1)$ and $f_2\in C(\partial \Omega_2)$. Is there a function $h\in ...
2
votes
1answer
76 views

How to find the eigenvalues equation of this PDE problem

Given the problem: $$(\kappa(x)X^{'})^{'}+\lambda\rho(x)X=0$$ for $0<x<l$ with $X(0)=X(l)=0$ where $\kappa(x)=\kappa_{1}^{2}$ for $x<a$, $\kappa(x)=\kappa_{2}^{2}$ for $\kappa>a$. ...
1
vote
1answer
63 views

Why are the tangential derivatives in this diffraction problem zero? [closed]

I'm considering the diffraction problem described in section 3.16 of "Linear and quasilinear elliptic equations" of Ladyzhenskaya and Uraltseva (1968). Let $\Omega$ be an open bounded subset in ...
0
votes
0answers
25 views

Solving a system of PDEs

I want to solve a system of partial differential equations of the form $\sum_{kl} A_{ikl}\frac{\partial u_{kj}}{\partial x_l}+\sum_k B_{ik} x_k u_{kj}=c_{ij}$ where $u_{ij}(x_1,...,x_N)$ are the ...
2
votes
0answers
49 views

Constant in a trace Sobolev theorem for concave domains

I wonder is the following inequality is true/known: Let $\Omega\subset \mathbb{R}^n$ be a (locally) Lipschitz domain which is the complement of a convex set, then $$ \int_{\partial\Omega} |u|^2 ds ...
2
votes
0answers
32 views

Global Euclidean Carleman Estimate with a linear phase

I am interested in deriving the following global Carleman estimate which I think should hold : $ \| e^{\tau \phi} \triangle u \|_{L_{\delta}^2({\mathbb{R^3})}}> C \tau \| e^{\tau \phi} u ...
1
vote
0answers
30 views

Biharmonic Equation in a Rectangle with Some Uncommon Boundary Conditions

I asked this question on Mathematics network but it didn't receive any answers. So I assume it is just beyond the classic things in PDEs and I decided to ask it here too. Consider the following ...
1
vote
2answers
83 views

Solving a general, constant-coefficient, first-order, two-indep-variable system of PDEs

I have the following system of PDEs that I want to solve as "analytically" as possible: $$\left(\partial_t + A\partial_x + B\right)\mathbf{u}(t, x) = 0,$$ where $A$ and $B$ are constant, ...
8
votes
2answers
303 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 ...
0
votes
0answers
19 views

Potential theory solution for Variable coefficient Poisson with Dirichlet Boundary conditions

I am looking for a potential theory representation for the following equation in $2$D: $$\vec{\nabla} \cdot \left(a(x) \vec{\nabla}u\right) = 0 \,\, \forall x \in \Omega \,\, (\spadesuit)$$ $$u = g ...
0
votes
0answers
19 views

Boundary Conditions for Linear PDEs using “Lagrange Multipliers”

Is there a way to take a linear PDE with homogeneous boundary conditions and somehow change the differential operator to include a sort of "Lagrange Multiplier" and then have a more complex (not ...
3
votes
2answers
192 views

Airy's equation on $\mathbb R_-$

I am interested in Airy's equation $$\frac{\partial u}{\partial t}(t,x)=-\frac{\partial^3 u}{\partial x^3}(t,x)$$ on a bounded or semi-bounded domain, e.g. on $(-\infty,0)$. In order to obtain a group ...
0
votes
0answers
105 views

For a solution of an elliptic equation, if it is 0 on an open subset, then is it 0 identically?

Let $X$ be a compact smooth manifold, $E, F$ be smooth complex vector bundles over $X$, $L$ an elliptic operator between smooth sections of $E$ and of $F$. Suppose $s$ is a section of $E$ such that ...
3
votes
2answers
137 views

A Global Estimates for Linear Elliptic PDE

Let $\Omega$ be a bounded smooth region in $R^n$ and $u$ satisfy $-\Delta u+a(x)u=f, \ \ u|_{\partial \Omega}=0$, where $a(x)\geq 0$ and $f(x)$ are smooth functions. I wonder if the following ...
1
vote
0answers
39 views

Fundamental gap for Neumann BVP with potential

I am sure this is extremely well known but I have been digging a bit and I can't find what I need. Consider $B$ to be the unit ball in $ \mathbb R^N$ and consider the eigenvalue problem ...
1
vote
0answers
61 views

Regularity on Neumann problem on polygonal domain

I asked a similar question before but didn't get any responses. So I will attempt again (the prior question was regarding Holder continuity). Let $ \Omega$ denote a cube in $ R^n$ and consider ...
3
votes
0answers
72 views

Laplace Equation with Tangential Derivative Prescribed on the Boundary [closed]

I asked this question on MSE. However, I didn't get good answers there so I am seeking for it here. :) Consider the following Laplace boundary value problem (BVP) $$\matrix{ {{\nabla ^2}\Phi ...
1
vote
0answers
26 views

Regularity of a flux induced by a potential

Take $\Omega\subset R^n$ with smooth boundary (take a ball for example) a function $f\in L^{\infty}(\Omega)$ with support strictly contained in $\Omega$ and with $\int _{\Omega} f \; dx=0$ a ...
4
votes
1answer
90 views

Elliptic regularity for two dimensional domains

Suppose $ \Omega$ is a smooth bounded domain in $ R^2$. I am interested in the regularity of solutions to $$-\Delta u(x) = f(x) \mbox{ in } \Omega$$ with $ u=0$ on $ \partial \Omega$. If $ f \in ...
4
votes
1answer
93 views

Regularity up to the boundary for the Poisson problem

It seems that the following assertion is widely accepted: For $k\in\mathbb N$, $p\geq 2$, $\Omega \subset \mathbb R^n$ bounded with $\partial\Omega\in C^{k+2}$ and $f\in W^{k,p}(\Omega)$, the weak ...
1
vote
1answer
251 views

The Biharmonic Eigenvalue Problem with Dirichlet Boundary Conditions on a Rectangle

I am interested in solving the following biharmonic eigenvalue problem. $$\begin{array}{cccc} & \Delta ^2 \Psi (x,y) = \lambda \Psi (x,y), & - a \le x \le a & - b \le y \le b \\ ...
2
votes
1answer
221 views

Does this PDE only have the trivial solution?

Let $(M,g)$ be a closed Einstein manifold of dimension $m>2$ and $$ \mathrm{Ricc}(g)=\lambda g, $$ $h$ a symmetric $2$-covariant tensor, $\Delta=\nabla^*\nabla$ the Laplacian on functions as well ...
3
votes
3answers
149 views

Does “solutions of an $n$-th order ODE form an $n$-dimensional vector space” somehow generalise to PDEs?

It is well known that the set of solutions $u:\mathbb{R}\rightarrow \mathbb{R}$ of an $n$-th order, linear, homogeneous ordinary differential equation $$a_n(x)\frac{d^n u}{dx^n}+\dots + ...
2
votes
0answers
42 views

elliptic regularity of Neumann problem on Square

I asked a similar question the other day, but I will be more precise now. Consider $ \Omega:=(0,1 ) \times (0,1)$ and consider $$ - u_{xx}(x,y) - u_{yy}(x,y) + a(x) u_x + b(y) u_y + u = f(x,y) ...
2
votes
0answers
77 views

elliptic regularity for Neumann BVP on square

I am interested in the regularity of ellitpic equations like $$ -\Delta u(x) +a(x) \cdot \nabla u(x) + C(x) u(x) =f(x) \quad \Omega$$ with $ \partial_\nu u =0$ on $ \partial \Omega$ where $ ...
1
vote
0answers
82 views

Construct a PDE solution from a net of approximations

Consider $P$ a linear partial differential operator in $\Bbb R ^n$. Consider some boundary condition given in the generic form $C(u) = 0$, that guarantees a unique solution (if any) of $Pu = 0$. Let ...
0
votes
2answers
315 views

Existence and uniqueness for two-dimensional time-dependent Schrödinger equation

I currently have to deal with time-dependent Schrödinger equations in two variables on bounded domains and wanted to find out about uniqueness and existence of solutions. Unfortunately, I am a ...
6
votes
2answers
205 views

Bounded input Bounded output stability for heat equation

This is a cross-post from Computational Science. I am interested in proving or obtaining a counterexample to the following conjecture. Let $\Omega\subset\mathbb{R}^d$ be a bounded open domain. Let ...
5
votes
0answers
136 views

Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...
1
vote
0answers
71 views

biharmonic equation with L^1 data and Navier Condition

I am reading an article that, a section of it is mentioned below . I have some question about this section. I will ask my question after the section below. I am thanksed if some one could help me , ...
0
votes
1answer
89 views

The hypoellipticity of a heat-like operator

I am aware that the heat operator (on a smooth manifold) is hypoelliptic. I am also aware that there are manifolds on which the Schrödinger's operator (with a $\Bbb i = \sqrt {-1}$ multiplying $\frac ...
8
votes
0answers
219 views

Does hypoellipticity imply the existence of a parametrix?

Let $M$ be a smooth manifold, like $\mathbb{R}^n$ for instance. The existence of a parametrix for an operator $P$ on $C^\infty(M)$ in any reasonable pseudodifferential calculus implies that $P$ is ...
0
votes
0answers
71 views

solutions of elliptic linear pde depending analytically on a parameter

Fix $ \Omega$ a bounded smooth domain in $ R^N$ and suppose $0<w(x)$ is a smooth solution of $ -\Delta w(x)=w(x)^2$ in $ \Omega$ with $ w=0$ on $ \partial \Omega$ (were are assuming $2< ...
1
vote
1answer
167 views

Elliptic pde with bilaplacian; boundary conditions.

I am interested in the solvability of $$ \Delta^2 u + u = f(x) \mbox{ in } \Omega $$ with $ \partial_\nu u = \Delta u=0$ on $ \partial \Omega$ where $ f(x)$ is some smooth bounded function on $ ...
0
votes
2answers
102 views

Separation of variables for a particular PDE

Given the partial differential equation \begin{equation} (1-x)\left[- f(x,y) + \frac{\partial f(x,y)}{\partial x} \right] + (1-y)\left[- f(x,y) + \frac{\partial f(x,y)}{\partial y} \right] = 0 ...
9
votes
2answers
238 views

Evolution operator for a linear parabolic equation

Let $A(t)$ be a smooth family of positive definite operators on a Hilbert space $H$. Consider the operator $$D:= \frac{d}{dt}+A(t)$$ and let $U(t):H\to H$ be the evolution operator, i.e., $U(0)=I$ and ...
4
votes
1answer
197 views

Gradient estimate for elliptic equation

Given: 1)a bounded domain $\Omega$ in $\mathbb R^n$ of class $\mathcal{C}^{\infty}$ 2) the function $f\in L^{\infty}(\Omega)$ with $\int_{\Omega} f=0$ 3)$g=(g_i,\ldots,g_n)\in ...
1
vote
0answers
140 views

Gilbarg-Trudinger's book Theorem 4.13

I am reading Gilbarg-Trudinger's book "Elliptic Partial Differential Equations of Second Order". I do not understand the proof of Theorem 4.13. Theorem 4.13 is a special case of Kellogg's theorem in ...
2
votes
1answer
141 views

elliptic boundary regularity, tangential regularity

A have a question related to the boundary regularity of a solution of a Poisson equation on a bounded domain. But to make the question easier to pose I will state it on $ R_+^2:=\{ x \in ...
5
votes
2answers
252 views

Recognizing Schwartz regular distributions

Are there characterizations of Schwartz regular distributions other than being locally integrable (which does not lend itself to easy manipulations)? To be more detailed: if I want to show that some ...
2
votes
0answers
53 views

Localized eigenfunctions of drift Laplacians

I am looking for literature which discusses localization of eigenfunctions of drift Laplacians, i.e. $L\underline u=-\Delta \underline u+\underline{v}.\nabla \underline u$ in 2D/3D domains with ...
5
votes
2answers
263 views

Well-posedness of Fokker-Planck equation

Consider the following equation on $[0,T]\times\mathbb{R}^n$ \begin{eqnarray} &\partial_t\rho=\mathrm{div}(\rho\nabla V)+\Delta\rho\\ &\rho|_{t=0}=\rho^0, \end{eqnarray} where $V\in ...
4
votes
0answers
109 views

How do solutions of a PDE depend on parameters?

Let $\Omega\subset\mathbb R^n$ be a bounded smooth domain and $\sigma_1,\sigma_2:\Omega\to(c^{-1},c)$ measurable (for some constant $1<c<\infty$). Let $f\in ...
5
votes
3answers
368 views

Structure of sign changes under the heat flow

Let $f$ be a smooth function on $R^2$, and define $N_f$ to be the set of points $p$ such that the nodal set of $f$ ($\{x\in R^2: f(x)=0\}$) divided every neighborhood of $p$ into four regions. Indeed, ...
1
vote
1answer
103 views

Nodal sets under the heat flow

Let $u(t,X)$ be a smooth solution of the heat equation on $R^2$ $u_t=\Delta u,$ where $(t,X)\in R \times R^2$. Suppose $\lim_{t \rightarrow 0} u(t,x,y)=x^2-y^2$. Can we prove that the nodal set of ...
1
vote
0answers
28 views

Renormalization for Transport Equations with SBD velocity field

In the paper Traces and fine properties of a $BD$ class of vector fields and applications by Ambrosio, Crippa and Maniglia (to be found here)the authors prove a chain rule for vector fields $B\in ...
1
vote
1answer
134 views

Strong maximum principle for the heat equation in non-cylindrical domains

let $u(t,x)$ be a bounded smooth solution of the heat equation $u_t=\Delta u$, $(t,x) \in R \times R^2$, and let $V \subset (R \times R^2)$ be an open connected component of $\{(t,x) \in R \times R^2: ...