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

learn more… | top users | synonyms (2)

11
votes
0answers
300 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
194 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
249 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
181 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
329 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
125 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
176 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
121 views
+50

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 ...
7
votes
0answers
86 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
164 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
181 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 ...
7
votes
0answers
293 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
203 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
98 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
191 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)= ...
6
votes
0answers
123 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
141 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
178 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
174 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
84 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
95 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
195 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
136 views
+50

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 ...
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
64 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
62 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
108 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
57 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
86 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
72 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
143 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
62 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
183 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
65 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
154 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
771 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
137 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
136 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 ...
5
votes
0answers
94 views

Solution to $\Delta_g u = \delta-1$ on a 2-sphere.

Let $S^2$ be the two-sphere, endowed with a Riemannian metric $g$, such that the volume of the sphere w.r.t. this metric is $4\pi$. Let $a \in S^2$. I am looking for an easy way to prove that the ...
5
votes
0answers
124 views

What is visualization of gradient flow of a functional?

I don't work on functional analysis but during my study, I faced gradient of a functional. I read its definition, but I can not understand why it is a useful tool? Why if a flow can be written as a ...
5
votes
0answers
383 views

How can I solve the Poisson PDE efficiently and fast in cylindrical coordinates?

I am trying to numerically solve the Possion PDE in cylindrical coordinate system. $$\Delta f = {1 \over \rho} {\partial \over \partial \rho} \left(\rho {\partial f \over \partial \rho} \right) + {1 ...
5
votes
0answers
179 views

Existence of the degenerate elliptic PDE coefficient condition

This is a question related to the theory presented in a book on degenerate elliptic PDEs. The book builds a theory for equations of the form: $$\sum a_{ij}u_{x_ix_j}+\sum b_{i}u_{x_i}+cu=0$$ with ...
5
votes
0answers
121 views

Splitting the action of functionals in duals of Sobolev spaces

Update: After some more thinking and asking I've come to the conclusion that there is no reasonable way to achieve this for all possible $\varphi$ because of the mixed terms. I believe something ...