All Questions
Tagged with ap.analysis-of-pdes linear-pde
303 questions
2
votes
0
answers
166
views
Underdetermined PDE
Let $\Omega\subset\mathbb{R}^d$, $d>1$ be an open and bounded Lipschitz domain. It is well-known, that for a given function $f\in L^q(\Omega)$ with $1<q<\infty$ and and such that $\int_\Omega ...
0
votes
1
answer
170
views
Unique continuation for the wave equation
Let $\Omega$ be a bounded region in $\mathbb{R}^n$ and $\Gamma \subset \subset \partial \Omega$, assume $u$ solves the wave equation
$$u_{tt}-c(x)\Delta u=0, \ \ u(x,0)=f(x),$$
where $f$ and $1-c$ ...
3
votes
2
answers
2k
views
Reference for De Giorgi-Nash-Moser theory
I am interested in Holder regularity for equations of the form
$$u_t - div A(x,t) \nabla u = 0$$ where $A(x,t)$ is bounded, measurable and elliptic.
This was proved in the seminal paper of John Nash ...
1
vote
2
answers
723
views
Schauder regularity heat equation
Let $m \in \mathbb{N}\setminus \{0,1\}$, $\alpha \in ]0,1[$.
Let $\Omega$ be a bounded open subset of $\mathbb{R}^n$ of class $C^{m,\alpha}$.
It is known that if $f \in C^{\frac{m-2+\alpha}{2},m-2+\...
2
votes
0
answers
58
views
Convex solutions of linear hyperbolic PDEs in a planar domain
Consider a linear homogeneous 2nd-order PDE in a convex planar domain $\Omega$ :
$$a(x,y)\frac{\partial^2u}{\partial x^2}+2b(x,y)\frac{\partial^2u}{\partial x\partial y}+c(x,y)\frac{\partial^2u}{\...
2
votes
1
answer
127
views
Positive form for a homogeneous elliptic pde
I have a pde of the following form:
\begin{align}
&P(x,D)u = f \text{ on } \Omega, \\
&P(x,D) = \sum\limits_{|\alpha|=2m}a_\alpha(x)D^{\alpha},
\end{align}
where one can assume that $f$ ...
3
votes
0
answers
350
views
Critical spaces and energy estimate in NS equation [closed]
There is a ‘rescaling transformation’ that is particularly significant for
the Navier–Stokes equations when they are posed on the whole space, but is
also important in the local regularity theory.
...
8
votes
3
answers
858
views
What does the flow of the principal symbol of the differential operator tell us about the PDE?
Disclaimer: Let me apologize in advance for asking this slightly vague question
Let $M$ be a manifold and let $P$ be a partial differential operator acting on $C^{\infty}(M)$. Associated to $P$ there'...
1
vote
1
answer
394
views
Is fractional Laplacian invariant under rotation?
If $\Delta u=0$, then $\Delta u(Ox)=0$, where $O$ is an orthogonal matrix. From here, do we know whether fractional Laplacian is invariant under rotation? We use the usual definition of fractional ...
2
votes
0
answers
106
views
Regularity of Poisson problem with rough coefficients and mixed boundary conditions
Let $d \in \mathbb N$ and $\Omega \subseteq \mathbb{R}^d$ be open, bounded and connected. Let the boundary $\partial \Omega$ be piecewise Lipschitz and partitioned into a Neumann part $\partial \...
4
votes
1
answer
502
views
Question on expansion into Neumann eigenfunctions
Let $\Omega$ be an open bounded domain with a boundary $\partial\Omega$. Consider the following Neumann eigenvalue problem for Laplacian: find $(\phi_n,\lambda_n)\in H^1(\Omega)\times \mathbb{R}$
\...
0
votes
1
answer
204
views
How do I show continuity of the mixed and weak solution to Zaremba problem?
I am interested in showing continuity/boundedness of the weak solution to the following problem pde:
\begin{align*}
0 &= \mathbf{q} + \mathbf{\nabla}u && \quad x\in \Omega,\\
0 &= \...
2
votes
0
answers
173
views
Singularity of the solution of a PDE whose coefficients have zeros
The following PDE arises in a problem of finding the stationary measure of a 2d system of stochastic differential equations (see this math.stackexchange post):
$$\mathcal{A}p=0, \quad p\in C^2(\...
0
votes
1
answer
349
views
Is this function positive?
Could someone tell me if my argument is correct?
Let $\rho_1:[0,1]\to [0,1]$ and $J:\mathbb R\to \mathbb R^+$, I have a system of two coupled PDE's and I proved that its solution $(u_0(t, r), u_1(t, ...
5
votes
1
answer
270
views
Existence of second order potential for PDE
There is a statement in the literature (see the paragraph between equations (18) and (19) in http://aip.scitation.org/doi/10.1063/1.523863), which I would like to generalise, but I don't have a nice ...
2
votes
3
answers
542
views
BVPs for elliptic PDOs: When do Green functions ($L^2$ inverses) define pseudo-differential operators in the interior?
I asked the following question on math.SE (https://math.stackexchange.com/questions/2420298/bvps-for-elliptic-pdos-when-do-green-functions-l2-inverses-define-pseudo-d) just over two months ago, and it ...
2
votes
0
answers
50
views
Nonautonomous wave equation of memory type
I want to apply the semigroup approach of nonautonomous evolution equation for the following wave equation
$$u'' - \Delta u + \int\limits_0^t {g(s)} \Delta u(s)ds = 0$$
This problem can be written ...
0
votes
1
answer
104
views
Poisson Equation across a Hypersurface [closed]
Let $\mathbb{B}(0,1) \subset \mathbb{R}^3$ denote the unit ball. Let $\Gamma = \{x_3=0\}$. Let us assume $f \in L^2(B)$ .Consider the problem
$ \triangle u = f $ in $\mathbb{B}$ in the weak sense such ...
2
votes
0
answers
683
views
Laplace problem with Robin boundary condition on a wedge
I'm trying to understand what the essential differences between Dirichlet/Neumann and Robin boundary conditions are. Therefore, let $\omega \in \left(0, 2\pi\right)$ and let
\begin{equation*}
\Omega = ...
2
votes
1
answer
277
views
Growth at infinity of a solution to a parabolic PDE
Let us consider the equation:
\begin{align*}
(\partial_t - \Delta - b(t,x) \partial_x) u(t,x)& = f(t,x) \\
u(0,x) & = u_0
\end{align*}
defined on the whole real line (so in one dimension - but ...
3
votes
2
answers
1k
views
Orthogonality to harmonic functions
Let $a_0$ and $b_0$ be smooth compactly supported functions in $B \subset R^3$, $f\in C^1(\Omega)$, and define
$a_n=f\Delta^{-1}(a_{n-1})=-f(x)\int_{B}a_{n-1}(y)\Phi(x-y)dy$, $n\geq 1$
$b_n=f\Delta^{...
1
vote
1
answer
147
views
Examples of the time-dependent linear wave equation
I am looking for examples of the non-autonomous linear wave equation that have some relevant applications.
What articles and sources (maybe, some catalogue like Handbook of Nonlinear Partial ...
0
votes
1
answer
59
views
Improved maximum principle estimates (deleting first mode)
Recall given any function $v(x)$ defined on $B$ (the unit ball centred at the origin in $ R^N$) we can write
$$v(x) = \sum_{k=0}^\infty a_k(r) \psi_k(\theta)$$
where $ r=|x|$ and $ \theta = \frac{...
1
vote
0
answers
71
views
An existence result for solutions of elliptic equations with a mixed boundary problem
Assume that $\Omega$ is a bounded domain such that
$\partial\Omega=\Gamma_1\cup \Gamma_2$, where $\Gamma_1$ and $\Gamma_2$ are disjoint and closed. Let us consider the following elliptic equations.
...
1
vote
1
answer
350
views
Functions orthogonal to harmonic functions
Let $\Omega$ be a bounded domain in $\mathbb{R}^3$ and $f_1,f_2 \in C^2(\bar{\Omega})$. Suppose
$\int_{\Omega}(f_2-f_1)\varphi \, dx=0$ and $\int_{\Omega}(f_2 \Delta^{-1} f_2- f_1 \Delta^{-1} f_1)\...
8
votes
1
answer
335
views
Continuous right inverse to the Laplacian operator on $C^\infty$
For each $f\in C^\infty(\mathbb R^n)$, there exists $u\in C^\infty(\mathbb R^n)$ such that $\Delta u=f$. This, I guess, has been known well before the more general Malgrange-Ehrenpreis theorem that ...
3
votes
0
answers
125
views
Partial regularity for transmission problem in corner domains
Let $n=2$ or $3$ and $\Omega \subset \mathbb{R}^n$ be an open bounded domain. Let suppose that $\Omega$ is divided in two subdomains $\Omega_1$ and $\Omega_2$ and we define $\Gamma = \partial \Omega_1 ...
3
votes
1
answer
113
views
For an arbitrary $G(x,t)$, does $f_t=2G_xf+Gf_x$, $f(x,0)=0$ have a unique solution for $f$?
I asked the following question at Math Stackexchange a while ago here but did not get a correct answer.
Let $f(x,t)$ and $G(x,t)$ be smooth functions from
$\mathbb R^2\to\mathbb R$.
The ...
6
votes
1
answer
699
views
Heat Equation with an integral boundary condition
I have been struggling with following Heat equation IBVP,
\begin{equation}
\frac{\partial v\left(x, t\right)}{\partial t} = \alpha \frac{\partial^2 v\left(x, t\right)}{\partial x^2}, \quad t \in \left(...
7
votes
1
answer
667
views
A very basic question about projections in formal PDE theory
I am learning formal PDE theory for my research and I am currently struggling to have a basic understanding of the operations involved in completing a (say, linear) PDE system to an involutive one (...
0
votes
1
answer
152
views
Solution of Poisson equation vanishing at the boundary of any order
Let $f$ be a compactly supported function in $\Omega \subset \mathbb{R}^3$ and
$\Delta u=f$ in $\Omega$
such that $D^{\alpha}u=0$ on $\partial \Omega$ for every multi-index $\alpha$ with $|\alpha| \...
1
vote
0
answers
70
views
Smoothing in linear hyperbolic equations
This is a bit fuzzy, but I've somewhere read or heard something like:
"For linear hyperbolic equations smoothing in time leads to smoothing in space"
Is this in any sense true?
References, ...
1
vote
0
answers
116
views
Eigenvalues of elliptic operator analytic with respect to a parameter
I am interested when one can say the eigenvalues of an elliptic operator
are real analytic with respect to a parameter. In particular I have seen many people say the first eigenvalue is analytic but ...
4
votes
1
answer
336
views
Fundamental gap for Schrödinger operator
Consider $ \Omega$ a smooth bounded domain in $ \mathbb R^N$.
I am interested in the gap between the first and second eigenvalues of the operator $ -\Delta + V(x)$. Let $ \phi_1>0$ and $ \phi_2$ ...
4
votes
0
answers
75
views
The sum of linear partial differential operators of equal strength
If $P$ and $P'$ are linear partial differential operators with constant complex coefficients on $U = \mathring U \subseteq \Bbb R^m$, we say that $P \sim P'$ if and only if $\dfrac {\tilde P} {\tilde {...
4
votes
2
answers
481
views
Hörmander's hypoellipticity theorem for complex coefficients
Hörmander's theorem says that if $L = \sum _{i=1} ^r X_i ^2+ X_0 + f$ on some open subset $U \subseteq \Bbb R$ has the property that the Lie algebra generated by $\{X_0, \dots, X_r\}$ at every point ...
4
votes
0
answers
89
views
How can I can derive an explicit bound for the solution of the poisson's PDE?
i need some help on this question
Let $\Omega$ be an open subset of $\mathbb{R}^{2}$ (say a square) with
$\partial{\Omega} =\Gamma_{1} \cup \Gamma_{2} \cup\Gamma_{3} \cup\Gamma_{4}$. A structure ...
1
vote
0
answers
74
views
Poisson boundary estimates
I asked this question Poisson equation estimates near boundary a few days ago but haven't gotten any response. So I will ask a related question. Suppose $-\Delta u(x)=f(x)$ in $B_1^+$ in the (...
1
vote
0
answers
122
views
Poisson equation estimates near boundary
Fix $ \Omega$ a bounded smooth domain in $\mathbb R^N$ (take $N$ big) and let $ \frac{N+1}{2}<p<N$. We now consider nonnegative smooth functions $f$ such that $-\Delta u(x)=f(x) $ in $ \Omega$ ...
0
votes
0
answers
47
views
$u$ satisfies Schrödinger equation implies $\mathcal{F}^{-1} \left(\chi_{2}(\xi) \hat{u} \right) $ also?
Consider the Schrödinger equation (SE):
$i \frac{\partial }{\partial t}u (x,t )+ \Delta u(x,t) =0, (x, t)\in \mathbb R^{N}\times \mathbb R.$
$u(0,x)=\phi(x).$
Then, formally,
the solution of (SE) ...
3
votes
1
answer
160
views
Solving a system of equations involving smooth functions
I have asked the following question in math.stackexchange, but I could not receive the answer. See here.
Suppose $h_{i\overline{j}}$, where $1\leq i, j\leq n$, are functions defined on $\mathbb{C}^n$ ...
1
vote
0
answers
231
views
Cauchy–Kowalevski Theorem for PDEs
I hope to extend the PDEs across the boundary using Cauchy–Kowalevski Theorem.
Given a real analytic manifold $M$ with boundary $\partial M$, the solution $u$ to the PDE $$\triangle u+b(x)\nabla u+c(...
1
vote
0
answers
105
views
Positivity of solution of Poisson equation
Let $B$ denote the unit ball centered at the origin in $R^N$ and take $N \ge 3$. Let $( \phi_k(\theta), \lambda_k)$ for $ k \ge 0$ denote the Eigenpairs of $ -\Delta_\theta$ on $S^{N-1}$ which are $L^...
0
votes
0
answers
148
views
Singular elliptic PDE: $-h\,\Delta u +\langle \nabla h,\nabla u\rangle =h$
Let $U\subset\mathbb{R}^n$ with $0\in U$. Fix $h\in L^2(U)\cap C^\infty(U)$ with $h(0)=0$. Is there some $C^1$-function $u\neq 0$ in such that $u$ is solution of
$$-h\,\Delta u +\langle \nabla h,\...
3
votes
0
answers
208
views
Analytic solution to two component, first order, linear PDE system
I would like to obtain analytic solutions to the following PDE system:
\begin{equation}
\rho_t + D(\lambda)\,\rho_\lambda = A(\lambda) \rho, \tag{1}
\end{equation}
with $\rho = (\rho_0,\rho_1)^T$, $D$ ...
2
votes
0
answers
102
views
Elliptic equation with Laplace-Beltrami boundary condition
For my research, I've come across the following type of equation (under variational form).
Assume $\Omega\subset\mathbb{R}^d$ is a Lipschitz domain, $\phi \in L^2(\partial \Omega)$ and $\nabla_{\...
2
votes
0
answers
178
views
are these norms equivalent?
If it is known that $\sum_{i,j=1}^{n}a_{ij}\xi_i\xi_j\geq \alpha^2|\xi|^2$, where $\xi=(\xi_1,\xi_2,...,\xi_n)\in\mathbb{R}^n$ then can it be said that $\sum_{i,j=1}^{n}a_{ij}\frac{\partial u}{\...
0
votes
1
answer
247
views
Gradient bounds on Newtonian potentials
Suppose $N \ge 3$ and let $\Phi(x):= C_N |x|^{2-N}$ is the fundamental solution. Let $\Omega$ denote a bounded domain in $ R^N$.
Consider $ -\Delta u(x) = f(x) $ in $\Omega$ with $u=0$ on $ \...
3
votes
0
answers
338
views
Method of characteristic for a system of first order PDEs
I am working with this system of first order PDEs:
\begin{equation}
\left\{
\begin{aligned}
%Suscettibili
&\frac{\partial{S}(a,t)}{\partial{t}} + \frac{\partial{S}(a,t)}{\partial{a}}= -\lambda(a,...
1
vote
0
answers
788
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) = u_0$$...