Skip to main content

Questions tagged [ap.analysis-of-pdes]

Partial differential equations (PDEs): Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.

Filter by
Sorted by
Tagged with
2 votes
0 answers
164 views

Regularity properties of the derivatives of a particular function on $D \times D\to \bar{D} $ ?

This question might sound a little less rigorously formulated, but I hope the question still makes sense. Let $h: S^1 \to S^1$ be an oriention-preserving homeomorphism and let $p(z,t) = \frac{1}{2\...
3 votes
0 answers
206 views

Numerical solution

Last time, I asked this question but after discussing with some friends, I have given up finding closed-form solutions. Now I have a simpler question.Let $g_i: i=1,2$ be $C^2 =C^{2}(-\infty,\infty)$ ...
2 votes
0 answers
329 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 $0\...
10 votes
1 answer
1k views

What would the best treatment of Gehring's lemma look like?

In a course about elliptic regularity probably one sooner or later stubles into the reverse Holder inequalities, and has to introduce the Gehring lemma, which in one of its many versions improves a ...
8 votes
0 answers
349 views

Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
9 votes
1 answer
1k views

Endpoint Strichartz Estimates for the Schrödinger Equation

The non-endpoint Strichartz estimates for the (linear) Schrödinger equation: $$ \|e^{i t \Delta/2} u_0 \|_{L^q_t L^r_x(\mathbb{R}\times \mathbb{R}^d)} \lesssim \|u_0\|_{L^2_x(\mathbb{R}^d)} $$ $$ 2 \...
4 votes
2 answers
2k views

Euler-Lagrange, Gradient Descent, Heat Equation and Image Denoising

For a image denoising problem (below): http://www.bekirdizdaroglu.com/ceng/Downloads/ISCE10.pdf the author has a functional E defined $E(u) = \int\int_\Omega F \\ d\Omega$ which he wants to ...
3 votes
0 answers
488 views

kernel of the conformal Laplacian

Let $M$ be a smooth, closed manifold of dimension $n>2$. Let $L_g$ be the conformal Laplacian of the metric $g$. That is, $L_g=-\Delta_g + \frac{n-2}{4(n-1)}R_g$, where $R_g$ is the scalar ...
10 votes
3 answers
1k views

How to motivate and interpret the geometric solutions of Hamilton-Jacobi equation?

Studying the Hamilton-Jacobi equation, I meet a generalization of the notion of its solutions, which is found already in the work of Sophus Lie. For an H-J eqn, I mean a first order pde $H\circ dS=...
3 votes
1 answer
1k 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) $$ ...
2 votes
4 answers
6k views

Undergraduate Derivation of Fundamental Solution to Heat Equation

It is well known that the 1-dimensional heat equation $$\frac{\partial}{\partial t} u(x,t)=a\cdot\frac{\partial^2}{\partial x^2} {u(x,t)}$$ has the fundamental solution $$K(x,t)=\frac{1}{\sqrt{4\pi a ...
9 votes
3 answers
1k views

Applications of geometric evolution equations.

Hi everybody, I'm looking for applications of geometric evolution equations such as the Ricci flow and the extrinsic flows by Gauss and mean curvature. Applications other than topological ...
6 votes
0 answers
344 views

Dirichlet-to-Neumann map on $C^{k,1}$ domains

I am interested in the mapping properties of the Dirichlet-to-Neumann map (also called the Poincare-Steklov operator) for $C^{k,1}$ domains, between Sobolev spaces on the boundary. What I know is in ...
3 votes
0 answers
498 views

PDES - from Vector fields whose inner product with their vector Laplacian equals norm of the vector field

Let $g(x_{1},........,x_{n}) = \sum_{i=1}^{n}g_{i}(x_{1},\cdots,x_{n})e_{i}$ be a function in $\mathbb{C}^n$ ($e_{i}$ are the standard bases). Let $\nabla^{2}$ be the vector Laplacian. Let $<\cdot,...
1 vote
0 answers
486 views

Maximum principle for heat eq. with boundary conditions on derivatives

The Maximum principle for parabolic eq. is based on the fact that the boundary conditions are given on u. How can this Maximum principle be used, when having boundary conditions including derivatives....
4 votes
1 answer
634 views

Higher order Sobolev inequality

Let $(M,g)$ be a closed, Riemannian manifold of dimension $n>4$. Let $K$ be the best constant for the Sobolev inequality $||u||^2_p \leq K \int_{{\Bbb{R}}^n} (\Delta u)^2 dx,$ where $p=\frac{2n}{...
1 vote
1 answer
467 views

A more accurate method to solve hyperbolic PDE

Hi all, I have a set of hyperbolic PDE and I have been solving this equation uisng Lax-Wendroff method (from Richtmyer). The solution is OK while I am looking for a better approach to do it. Is there ...
24 votes
3 answers
3k views

Does elliptic regularity guarantee analytic solutions?

Let $D$ be an elliptic operator on $\mathbb{R}^n$ with real analytic coefficients. Must its solutions also be real analytic? If not, are there any helpful supplementary assumptions? Standard ...
4 votes
1 answer
812 views

A name for PDE systems which are neither under- nor overdetermined?

The concepts of overdetermined and underdetermined PDE systems are well known. However, all sources I have so far looked into appear to avoid giving any name to PDE systems which are neither ...
2 votes
2 answers
507 views

Positivity of Second-Order Elliptic Differential Operators

Let $(M,g)$ be a closed, smooth Riemannian manifold. Let $\Delta = -div\nabla$ be the Laplace-Beltrami operator. Let $h$ be a smooth function on $M$. Is there a condition on $h$ weaker than non-...
-2 votes
1 answer
3k views

Separability of continuous functions with compact support [closed]

Hi, is the space $C_0(\mathbb{R}^m)$, $m \in \mathbb{N}$ of continuous functions with compact support separable? If yes: where can I find a proof for that? Please note: this is not a duplicate of ...
4 votes
1 answer
729 views

A quick and elementary question from Hubbard's Teichmuller Theory : Volume I

Hi, On page 120, chapter 4, proposition 4.2.7 in Hubbard's Teichmuller Theory book, volume 1, he proves : Let $U,V$ be open in $C, f:U \to V $ be a homeomorphism and the restriction of $f$ on $U \...
10 votes
2 answers
2k views

Characterize where the Dirichlet Problem for the Laplacian is always solvable

Conway's 1978 textbook Functions of One Complex Variable I gives an unsatisfying characterization of the regions for which the Dirichlet Problem can always be solved, and then comments no cleaner ...
2 votes
1 answer
1k views

Solvable PDE Problems [closed]

I'm currently in a PDE course where one of the requirements is to find a common PDE problem and explain how to solve it. The problems found easily on google won't help me, since every student has to ...
1 vote
1 answer
956 views

Sobolev Embedding Theorems

I am getting a little confused about the huge number of slight variations on the Sobolev Embedding Theorem. Let $\Omega\subseteq\mathbb{R}^n$ be a bounded Lipschitz domain and suppose that $f\in L_\...
2 votes
3 answers
1k views

Maximum principle corner

Hello, consider a parabolic boundary value problem, for instance $-\partial_tu+\Delta u=0$, in $\Omega$, $\partial_\nu u=0$ on $\partial\Omega$, in a domain $Q=(0,T)\times\Omega$, where $\Omega\...
1 vote
1 answer
318 views

convergence of metrics

Hi, I have the following question: take a Riemannian manifold M, with a family of smooth metrics $g(t)$ in $[0,T)$, call $D_0$ the Levi-Civita connection of $g(0)$ and assume that for every $m\geq 0$ $...
1 vote
1 answer
630 views

Stuck on a convergence argument in $H_0^1(\Omega)$.

I'm trying to verify that a functional I have satisfies the Palais Smale condition for appliction of the Mountain Pass lemma. However I've encountered this step along the way which seems clear to me ...
2 votes
2 answers
394 views

Poisson equation in the plane

Hello, as I'm not an analyst, I'm having difficulties with the following, certainly well-known problem: one is given the PDE $\Delta u(x,y)=\sqrt{x^2+y^2}$ in the "region" $x^2+y^2\leq1$ with the ...
1 vote
1 answer
365 views

metrics compatible with conformal structures

I have three related questions: (1) How does one describe the possible Riemannian metrics that are compatible with a conformal structure on a two dimensional surface? (2) Can all conformable ...
8 votes
2 answers
4k views

Proof of L^p Elliptic Regularity

Let $L = \sum_{i,j=1}^n -\frac{\partial}{\partial x^i} (a^{ij}(x)\frac{\partial}{\partial x^j}) + \sum_{i=1}^n b^i(x) \frac{\partial}{\partial x^i} + c(x)$ be a second order elliptic operator with ...
2 votes
0 answers
291 views

Can the solution manifold for an exterior differential system be represented using alternating multivectors?

Differential equations can be written as an ideal of n-forms. Solutions are manifolds where the forms pull back to zero. Is it possible, or useful, to represent the solution by multivectors? For ...
6 votes
3 answers
1k views

Removable Singularities for Elliptic Equations

The following fact is quite standard and does not have a very long proof: $(\*)$ If $u$ is harmonic on $B_1(0)\setminus \{0\}$ and uniformly bounded, then $u$ in fact extends to a harmonic function ...
3 votes
2 answers
642 views

Localization of Laplacian eigenfunction on the unit square?

Let A be the unit square, $\{u_k\}$ is the set of all L2-normalized Laplacian eigenfunctions with Dirichlet boundary condition. Is it true that for any open subset V, $C_V = \inf\limits_k \int\...
3 votes
1 answer
427 views

Spectral Galerkin method for a semi-linear parabolic PDE

I'm trying to understand how to apply the Galerkin method to $u_t - \Delta u = u^3$. I understand how to obtain all of the a-priori estimates using Sobolev embeddings and such but my question concerns ...
1 vote
3 answers
364 views

another solution to PDE possible?

hi there, i have the following pde: $$(\partial_x x^4 \partial_x - \partial_t^2)y(x,t)=0$$ and found the solution $$y=a+t^2-1/x^2$$, with a a constant. Is this solution unique? Does anyone know of any ...
0 votes
1 answer
643 views

Is this (interpolation) inequality right?

Suppose that $\Omega$ is a bounded domain in $\mathbb{R}^3$, $F$ is bounded in $L^\infty (\Omega \times (0,T))\cap (\cap_{k=1}^\infty L^{5/3}(0,T;C^k(\bar{\Omega})))$. Question: Can we say that $F$ ...
7 votes
2 answers
414 views

Uniqueness of weak solution L[u]=0

Suppose L is a partial differential operator of arbitrary order with constant coefficients. If u is in $L^p(\mathbb{R}^n)$ and Lu=0 in distributions, is it necessarily the case that u=0? Does the ...
2 votes
2 answers
569 views

smoothness of solution for second order elliptic problem

Hello all, could someone point me to a reference that ties the smoothness of the solution $u$ to the classical elliptic problem $\nabla \cdot ( q \nabla u ) = f \;,\; x \in \Omega$ $u = g \;,\; x \...
13 votes
3 answers
4k views

PDEs, boundary conditions, and unique solvability

I'm interested in a criterion that determines whether a linear scalar PDE (arbitrary order) has a unique solution given vanishing boundary conditions at spatial infinity. I'll try to formulate the ...
2 votes
3 answers
1k views

Sobolev norms of eigenfunctions

Let D be a domain in R^n, and let f be an eigenfunction of the Laplacian with Dirichlet boundary condition with eigenvalue $\lambda$. Assume that f has L^2 norm 1. I want to know if I can say anything ...
8 votes
1 answer
2k views

K.Uhlenbeck's preprint "A priori estimates for Yang-Mills fields"

Does anyone have a copy of the unpublished preprint of Karen Uhlenbeck A priori estimates for Yang-Mills fields from around 1986? It appears to have circulated for some time, and it is quoted in ...
9 votes
1 answer
2k views

Rate of convergence of smooth mollifiers

How does one figure out/prove the rate of convergence (in some norm) of mollifiers given a function bounded in some other norm (say Sobolev space, Besov space)? Also, is there a dimensional analysis ...
4 votes
2 answers
6k views

Is the derivative of a Lipschitz function better than L^\infty

How smooth is the first derivative (in the distribution sense) of a Lipschitz function? Taking difference quotients and testing against an $L^1$ function, we see that $Df$ is in $L^\infty$. In ${\...
2 votes
0 answers
444 views

Vanishing solution of the Poisson equation at infinity

Hi, I am interested in finding some vanish bahavior at infinity of the solutions of this kind of equations: $-\Delta\phi+a(x)\phi=b(x)$ where $a(x), b(x)\in L^{p}$ with $1\leq p\leq 3$. Besides $\...
5 votes
0 answers
488 views

Any similar inequality in literature?

I got the following inequality: $B_{4}$ is the unit ball in $R^{4}$, $\partial B_{4}$ is its boundary. $(\int_{B_{4}}e^{4u}dx)^{\frac{1}{4}} \leq S(\int_{\partial B_{4}}e^{3u}d\xi)^{\frac{1}{3}}$, ...
3 votes
1 answer
186 views

question about mixed spectrum of a linear operator $\mathcal{L}$

Suppose $\mathcal{L}$ is a bounded linear operator and I have the solution to Eigenvalue problem $\mathcal{L} \phi + \lambda \phi = 0$ wish to solve the following PDE $\left(-\partial_t + \mathcal{...
5 votes
3 answers
3k views

Laplace equation with mixed boundary conditions

Does the Laplace equation on a rectangle with Dirichlet boundary conditions at two opposing sides and Neumann boundary conditions at the other two, always have a solution? If it does, is it unique? Is ...
2 votes
0 answers
320 views

Poisson problem with a "scaled" Laplacian.

Let $d_1$ and $d_2$ be positive constants. I'm considering a 2D Poisson-like problem of the form $$ d_1\frac{\partial^2 u}{\partial x_1^2} + d_2\frac{\partial^2 u}{\partial x_2^2} = f$$ in the ...
3 votes
0 answers
318 views

Controlling the Second Eigenvalue of a Schrödinger Operator

Consider a bounded domain $\Omega$ (with smooth boundary) in some Riemannian $n$-manifold $M^n$. Let $L$ be the operator $$ L=\Delta+V $$ where $\Delta$ is the Laplace-beltrami operator on $M$ (so is ...