Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
user avatar
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$ ...
A random mathematician's user avatar
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 ...
Adi's user avatar
  • 455
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+\...
foo90's user avatar
  • 301
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}{\...
Denis Serre's user avatar
  • 52.3k
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$ ...
Fedor Goncharov's user avatar
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. ...
AlphaXY's user avatar
  • 139
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'...
Saal Hardali's user avatar
  • 7,789
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 ...
PG_One's user avatar
  • 11
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 \...
Stefan Rigger's user avatar
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}$ \...
user118240's user avatar
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 &= \...
fred's user avatar
  • 142
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(\...
S.Surace's user avatar
  • 1,675
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, ...
user268193's user avatar
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 ...
Yegor's user avatar
  • 53
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 ...
JahvedM's user avatar
  • 159
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 ...
Gustave's user avatar
  • 617
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 ...
Ali's user avatar
  • 4,145
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 = ...
Maximilian Bernkopf's user avatar
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 ...
Kore-N's user avatar
  • 387
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^{...
A random mathematician's user avatar
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 ...
homocomputeris's user avatar
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{...
Math604's user avatar
  • 1,385
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. ...
Yuhang's user avatar
  • 181
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)\...
A random mathematician's user avatar
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 ...
Jean Duchon's user avatar
  • 3,085
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 ...
PeteAgor's user avatar
  • 143
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 ...
Darren Ong's user avatar
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(...
Comic Book Guy's user avatar
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 (...
Pedro Lauridsen Ribeiro's user avatar
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| \...
A random mathematician's user avatar
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, ...
F.M.R.'s user avatar
  • 43
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 ...
Math604's user avatar
  • 1,385
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$ ...
Math604's user avatar
  • 1,385
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 {...
Alex M.'s user avatar
  • 5,407
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 ...
Alex M.'s user avatar
  • 5,407
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 ...
user106481's user avatar
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 (...
Math604's user avatar
  • 1,385
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$ ...
Math604's user avatar
  • 1,385
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) ...
abcd's user avatar
  • 233
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$ ...
Paul's user avatar
  • 501
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(...
mathpde's user avatar
  • 103
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^...
Math604's user avatar
  • 1,385
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,\...
melomm's user avatar
  • 245
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$ ...
Frits Veerman's user avatar
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_{\...
Florian Omnes's user avatar
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}{\...
Alexander's user avatar
  • 157
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 $ \...
Math604's user avatar
  • 1,385
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,...
CrishaD's user avatar
  • 31
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$$...
ChristopherSail's user avatar

1 2 3
4
5
7