Questions on "Partial Differential Equations", as opposed to "ordinary differential equations".

learn more… | top users | synonyms (2)

11
votes
0answers
304 views

On the Constant Rank Theorem and the Frobenius Theorem for differential equations.

Recently I was reading chapter $4$ (p. $60$) of The Implicit Function Theorem: History, Theorem, and Applications (By Steven George Krantz, Harold R. Parks) on proof's of the equivalence of the ...
10
votes
0answers
200 views

Energy in the heat equation.

Before getting to question, some background. Let $u(x,t)$ be the temperature in a laterally insulated rod of length $L$, at position $x$ and time $t$. The temperature satisfies the heat equation ...
10
votes
0answers
250 views

Gradient Estimate - Question about Inequality vs. Equality sign in one part

$\DeclareMathOperator{\diam}{diam}\newcommand{\norm}[1]{\lVert#1\rVert}\newcommand{\abs}[1]{\lvert#1\rvert}$For $u \in C^{1}(\overline{\Omega})$, for $\Omega\subset \subset \mathbb{R^{n}}$ a bounded ...
8
votes
0answers
188 views

prove or disprove an inequality on bounds of derivatives for radial functions

Suppose $f$ is a radial function, i.e., $f(x)=f(|x|)$, and $f \in C^\infty(\bar{B})$, where $\bar{B}$ is the closure of the unit ball in $\mathbb{R}^n$. Prove or disprove the following. Given any ...
8
votes
0answers
143 views

Question about boundedness of a sequence in $ W^{3,q} $ for any $ 1\leq q < \frac{N}{N-1} $

I have asked this question several months ago, I have understood every thing and there are good comments and they have helped me , but only I have a question about tomas comment, how can ...
8
votes
0answers
342 views

How to solve a time-dependent Schrodinger equation in periodic Dirac delta potential

I'm trying to solve a 1D time-dependent Schrodinger equation: $$ i\frac{\partial \psi(x,t)}{\partial t}=\left[-\frac{1}{2} \frac{\partial^2}{\partial x^2}+V(x)+F(t)*x\right]\psi(x,t) $$ where $V(x)$ ...
8
votes
0answers
187 views

Showing L infinity norm bounded by L2 norm on a manifold

I have the following problem that I'm working on: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality ...
8
votes
0answers
126 views

Two definitions of $H^1(\partial\Omega)$, one using charts and one use tangential gradients

Let $\Omega$ be a bounded Lipschitz domain with boundary $\partial\Omega$. There are two ways to define a space $H^1(\partial\Omega)$: By using charts, we can define $H^1(\partial\Omega)$ to ...
8
votes
0answers
177 views

$W^{1,p} $ and $W^{2,p}$ Estimates.

In the beginning of section 4 in here the author says that one can easily adapt the methods in the preceding section to obtain $W^{1,p}$ estimate. I'm trying to do this. I think the following: the ...
7
votes
0answers
203 views

Uniqueness of solutions to $u_{tt} - c^{2}u_{xxxx} + au_{t} = 0$

The problem I am working on is to show that there is a unique compactly supported solution to the PDE $u_{tt} - c^{2}u_{xxxx} + au_{t} = 0$, $(x, t) \in \mathbb{R} \times [0, \infty)$ with $u(x, 0)= ...
7
votes
0answers
87 views

Existence of classical solution for equation $\Delta u + v(x) u = 0$

It is known that if $D$ is a bounded domain in $\mathbb R^n$, $n \geq 2$, with $\partial D \in C^2$ then the Dirichlet problem $$ \begin{array}{rl} \Delta u & = 0 \quad \text{in $D$}, ...
7
votes
0answers
173 views

heat kernel on n-sphere

I'm interested in diffusion, a.k.a. the heat kernel driven by the Laplace-Beltrami operator, on the $n$-dimensional sphere. There are lots of bounds showing that, for small times, it behaves in a way ...
7
votes
0answers
294 views

Connection between distributional and renormalized solutions for Boltzmann equation

I have a problem understanding the meaning of a distributional solution. Let me tell you the context the problem appeared: I read through some papers by DiPerna and Lions concerning the Cauchy Problem ...
6
votes
0answers
223 views

How to classify/ solve this PDE?

I am searching how to solve the PDE below but I can not seem to find a decent example online. My major did not focus much in solving PDEs so I feel very deficient. I know how to solve for the steady ...
6
votes
0answers
162 views

Regularity of a weak solution

The problem is formulated as follows: Let $\Omega\subset\mathbb{R}^2$ a bounded Lipschitz domain. For $u\in L_2(\Omega)$ one can define the one dimensional weak dirivative $\partial_1 u$. Now define ...
6
votes
0answers
100 views

Energy inequalities with negative sobolev number.

Let $\phi\in H^{s}$ such that the following energy inequality is true: $$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| P\phi(t,\cdot)\|_s \, dt $$ where $P$ is a strictly hyperbolic linear operator. For ...
6
votes
0answers
125 views

When is separation of variables possible?

In classical PDE courses it is common to learn to perform a change of variables without really learning how to find the adequate equations of the change (polar, cylindrical or spherical coordinates ...
6
votes
0answers
144 views

How to solve a particular initial-boundary value problem

I have the following initial-boundary value problem $$\begin{cases}\dfrac{\partial^2 u_1}{\partial x^2}=A_{11}\dfrac{\partial u_1}{\partial t}+A_{12}\dfrac{\partial u_2}{\partial ...
6
votes
0answers
180 views

Separation of Variables for the Wave Equation

I'm trying to understand the method of separation of variables. I'm probability overlooking something simple, regarding the justification for the term-by-term differentiation that comes up when an ...
6
votes
0answers
178 views

An imcomprehensible proof on Arnold's Lectures on PDE, contact diffeomorphism

In Lectures on Partial Differential Equations, Arnold gives a theorem in the chapter Huygens' Principle in the Theory of Wave Propagation: Theorem 1 (the theory of support functions). The manifold ...
6
votes
0answers
86 views

How are boundary conditions formally captured by the jet bundle approach to differential equations?

In the jet bundle approach to differential equations https://en.wikipedia.org/wiki/Jet_bundle#Partial_differential_equations one identifies the equation with the set of a solution of the ...
6
votes
0answers
96 views

Understanding orthogonality in two-scale asymptotic expansion (cf. G. Allaire)

This question is about equation (2.16) of Lecture 2 on Homogenization in Porous Media_ by Allaire page 28. There are two spacial scales: $x$ being macroscopic and $y=\dfrac{x}{\varepsilon}$ being ...
6
votes
0answers
2k views

First Order PDE Solution Method Issues

I'd really appreciate help with two little questions relating to first order partial differential equations. Just to quickly let you know what I'm asking, the first is about solution methods to first ...
6
votes
0answers
197 views

Show that, given spherically symmetric initial data, a solution to the heat equation is spherically symmetric

Let $\phi \colon \mathbb{R}^n \to \mathbb{R}$ be continuous with compact support. Furthermore, suppose that $\phi$ is spherically symmetric. That is, suppose that $\phi(Tx) = \phi(x)$ for every ...
5
votes
0answers
33 views

Solving a 2nd-order elliptic PDE with non-constant coefficients

I wonder how I can solve the following 2nd-order PDE on the positive semiplane $\{x>0\}$: $$(\partial_x^2+\frac{1}{x}\partial_y^2)\phi=\delta(x-x_0)\delta(y).$$ I notice that the l.h.s. is the ...
5
votes
0answers
170 views

Doubts relating to Spaces of type $\mathcal{S}$

I have doubts in the following two questions : 1) What is the Laplace transform of $[x^k\varphi(x)]^{(q)}$, where $\varphi\in \mathcal{S}_\alpha^\beta$ and $-\infty<x<\infty$ , ...
5
votes
0answers
94 views

Functions Satisfying $u,\Delta u\in L^{1}(\mathbb{R}^{n})$

In this paper, the authors assert that ...the domain of realization of the Laplacian in $L^{1}(\mathbb{R}^{n})$ is not contained in $W^{2,1}(\mathbb{R}^{n})$ if $n>1$. However, it is ...
5
votes
0answers
74 views

Jacobian of Stabilized Eikonal Equation $| \nabla u| = 1$

I am trying to implement a Finite Element Solution for the Stabilized Eikonal Equation : $$ |\nabla u| = 1 + \Gamma \Delta u, \quad \text{ where } \quad u = \text{ distance function }$$ $$ ...
5
votes
0answers
61 views

Are there existence results for the heat equation on unbounded Lipschitz domain?

I am looking for a reference/ ideas on the following problem. Let $\Omega\subset\Bbb R^2$ be a Lipschitz domain (if it helps, the domain can be piecewise smooth with only one "kink", for example the ...
5
votes
0answers
57 views

resonance in pde

(I migrated the question from overflow b/c I think it belongs here instead.) About a year back I was in Professor Henry Mckean's office and he told me alot of interesting things. One thing he told me ...
5
votes
0answers
66 views

Method of sub- and supersolutions

PDE Evans, 2nd edition: Chapter 9, Exercise 6: Assume $f : \mathbb{R} \to \mathbb{R}$ is Lipschitz continuous, bounded, with $f(0)=0$ and $f'(0)>\lambda_1$, $\lambda_1$ denoting the principal ...
5
votes
0answers
66 views

Elliptic and Fredholm partial differential operators

As I learn from the comments to this question a non elliptic operator on a compact manifold can not be a fredholm operator. On the other hand it seems that the following operator is fredholm(At ...
5
votes
0answers
113 views

Weak maximum principle

We say that the uniformly elliptic operator $$Lu\ =\ -\sum_{i,j=1}^na^{ij}u_{x_ix_j}\ +\ \sum_{i=1}^nb^iu_{x_i}\ +\ cu$$ satisfies the weak maximum principle if for all $u\in C^2(U)\cap ...
5
votes
0answers
58 views

Solving a partial differential equation by transformation of variables?

I found an exercise in a book, where one was supposed to transform the differential equation $$y\frac{\partial f}{\partial x}-x\frac{\partial f}{\partial y}=xyf(x,y)$$ by using the substitutions ...
5
votes
0answers
52 views

Vector Laplace equation with constraint

I want to solve Laplace equation for a vector $\boldsymbol v=(v_x,v_y)$: $$\nabla^2 \boldsymbol{v}=0$$ but under the constraint that $$(1+v_x)^2+v_y^2=1$$ which becomes $v_y = -(2v_x+v_x^2)^{1/2}$. ...
5
votes
0answers
90 views

General form of a connection with zero curvature

I am looking for proofs of the following two theorems: Theorem 1. On a connected and simply-connected open set $\Omega\subset\mathbb{R}^3$, functions $L^p_{ij}\in C^1(\Omega)$ are given that satisfy ...
5
votes
0answers
78 views

Weakening Sobolev coefficient in an elliptic estimate.

One of the classical estimates for Sobolev norms and elliptic operators is the following: let $L$ be an elliptic operator of order $l$, then there is some $C > 0$ such that for all $u \in H^{s+l}$ ...
5
votes
0answers
141 views

Why is $a_{n}(x,y)=a_{n}(y)$?

This particular question is connected (with a slight variation in the definition of $g$) to an earlier question. The link is here. The specifics are: Given that $u(x,y)$ is the solution of a PDE ($x$ ...
5
votes
0answers
147 views

Sobolev spaces and using monotone convergence theorem (don't understand a paper)

I'm reading this paper. In it there the following argument (see page 240). Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...
5
votes
0answers
65 views

“Advective”, “diffusive”, “dispersive”, and related terms in the realm of PDEs

Whenever I read a paper involving PDEs, the discussion inevitably refers to “the dispersive term” or “the advective term” or similar. From context it is usually possible to figure out the antecedent, ...
5
votes
0answers
189 views

What differential equation might model this almost-harmonic oscillator?

I need to precisely control the motion of a damped, driven (nearly) harmonic oscillator: $$ \ddot x(t) + \alpha\dot x(t) + \omega_0^2 x(t) \approx V(t) $$ I use the $\approx$ symbol because this is ...
5
votes
0answers
2k views

How prove this hypersingular operator $(T\psi)((z(t))$

Let $\Omega\subset R^2$ be a simply connected bounded domain with infinitely differentiable boundary $\partial\Omega$and unit normal vector $v$ directed into the exterior of $\Omega$ ...
5
votes
0answers
66 views

Inhomogeneous Wave Equation in 3 dimensions

From section 7.5 in this source, I see that, for $\vec{x} \in \mathbb{R}^3$, if $$ \frac{\partial^2 u\left(\vec{x},t\right)}{\partial t^2} - \nabla^2u\left(\vec{x},t\right) ...
5
votes
0answers
165 views

Importance of Schwartz kernel theorem

I am currently reading the proof of the Schwartz Kernel Theorem from Hormander Vol I. At the risk of sounding naive, what is the importance of Schwartz kernel theorem? What are certain insights that ...
5
votes
0answers
790 views

3d-diffusion equation in spherical coordinates (numerical), boundary problem

There is one boundary problem $$\frac{\partial u}{\partial t}= \operatorname{div}\left(a^2 E \nabla u\left(r,\varphi,\psi \right) \right) $$ in a ball $$ B_{1}(0)=\left\{x \in \mathbb{R^3}: \left\| ...
5
votes
0answers
141 views

Generating Functions, Recursive Polynomials

At the CMFT international conference in Turkey (2009), the following open problem was given: Show that $$p_n(x):=\sum_{k=0}^n \frac{(n-k)^k}{k!}x^{n-k}$$ has only real simple zeros for every $n$. ...
5
votes
0answers
140 views

What does “smooth solution” of Ricci flow mean?

A way to formalize smoothness of a flow is to think of the spacetime, see e.g. here. Let's say we are flowing a compact manifold $M$. Which of the following is true? $g_{ij}$ is a $C^1$ in time and ...
5
votes
0answers
103 views

Scattering of waves by an obstacle

I wish to study the paper by Melroe and Taylor: Near peak scattering and the corrected Kirchhoff approximation for a convex obstacle. Adv in Math, Vol 55 (3), 1985, 242–315. ...
5
votes
0answers
84 views

$u\in W^{1,p}(B)$ implies $u\in W^{1,p}(\partial B_t)$ for almost $t\in (0,1]$?

Suppose that $u\in W^{1,p}(B)$ where $B=B(0,1)\subset\mathbb{R}^N$ and $p\geq 1$. It was showed on this post (as an application of Fubini's theorem) that for almost $t\in (0,1]$ $$u_{|\partial ...
5
votes
0answers
151 views

Operator completly continuous

For $\lambda>0$, let $v(t)=\lambda \phi(t)$. Consider the BVP consisting of the equation $$u'''=\lambda[f(t,[u-v]^*+\gamma)+M(t)] ,t\in (0,1)$$ and (BC):$u(0)=u'(p)=\int_q^1 w(s)u''(s)=0 ...