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

learn more… | top users | synonyms (2)

11
votes
0answers
232 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 ...
9
votes
0answers
91 views

Why are $L^p$-spaces so ubiquitous?

It always baffled me why $L^p$-spaces are the spaces of choice in almost any area (sometimes with some added regularity (Sobolev/Besov/...)). I understand that the exponenent allows for convenient ...
8
votes
0answers
161 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
80 views

Delta distributions with nonlinear arguments

I am confused by the use of nonlinear arguments with the Dirac $\delta$ distribution that I am encountering in the literature. This looks like a widespread use, but for concreteness let us focus on a ...
7
votes
0answers
47 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
72 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
155 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 ...
6
votes
0answers
100 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 coordinates or spherical are just plain ...
6
votes
0answers
117 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)$ ...
6
votes
0answers
96 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 ...
6
votes
0answers
129 views

Heat Kernel Property

Let $\phi$ be the Heat Kernel in $\mathbb{R}^n$. and let $u$ satisfy Heat equation. Show that: $$\frac{d}{dt}\int\limits_{\mathbb{R}^n}\phi |Du|^2=-2\int\limits_{\mathbb{R}^n}(\Delta u)^2$$ What I ...
6
votes
0answers
89 views

References on the Nash-Moser Implicit Function Theorem

To learn, the Nash-Moser implicit function theorem, I tried with Hamilton (1982) The Inverse Function Theorem of Nash and Moser. But, the article is very encyclopedic. I have a background in ...
6
votes
0answers
73 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
83 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
242 views

Idea behind distributional solutions

I have a problem understanding the meaning of a distributional solution. Let me tell you the context the problem appeared: I read thorugh some papers by DiPerna and Lions concerning the Cauchy Problem ...
5
votes
0answers
103 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
27 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
87 views

Solve PDE by getting two ODEs

My goal is to solve this PDE for $f:[-1,1] \times \mathbb{R}_{\ge 0}\rightarrow \mathbb{C}$ $$ \partial_t f(x,t) = -\partial_x^2 f(x,t) + g(t)V(x)f(x,t).$$ I would consider this PDE to be solved if ...
5
votes
0answers
98 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 ...
5
votes
0answers
1k 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
108 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 ...
5
votes
0answers
164 views

Describing co-ordinate systems in 3D for which Laplace's equation is separable

Laplace's Equation in 3 dimensions is given by $$\nabla^2f=\frac{ \partial^2f}{\partial x^2}+\frac{ \partial^2f}{\partial z^2}+\frac{ \partial^2f}{\partial y^2}=0$$ and is a very important PDE in ...
5
votes
0answers
50 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
475 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
104 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
117 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
96 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
142 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
87 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
106 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
278 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
134 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
96 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 ...
5
votes
0answers
330 views

Does the infinite propagation speed of the heat equation violate special relativity?

I realize that Special Relativity is more of a physics concept than a math one, but I figured that since I learned the heat equation, $$\frac{\partial u}{\partial t} = \kappa\frac{\partial^2 ...
5
votes
0answers
90 views

Can we do some scaling argument in the presence of inhomogeneous norms?

Notation: $B^n_R$ stands for the ball of radius $R$ in $\mathbb{R}^n$. $\hat{f}$ stands for the Fourier transform of $f$. Question. The following inequality holds true for all $f\in ...
5
votes
0answers
1k 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 ...
5
votes
0answers
148 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
199 views

How should I understand $u_{\infty}$ in this theorem?

I learned the extension of Green's formula to unbounded domains in Kress's Linear Integral Equations (p.71): Theorem 6.10 Assume that $D$ is a bounded domain of class $C^1$ with a connected boundary ...
5
votes
0answers
262 views

How to use Galerkin method to prove uniqueness of solutions of hyperbolic equations?

Galerkin method is used heavily in finite element method, which can conveniently convert continuous problems to discrete ones. Particularly, Galerkin method can be used to prove uniqueness existence ...
4
votes
0answers
69 views

Second degree partial differential equation with variable-change

Edit: @Etienne mentioned that I did a typo, writing $u_y' = -xye^{-y}$ instead of $u_y' = -xe^{-y}$. I've corrected that in the calculations and now it's closer to being correct! Though I still miss ...
4
votes
0answers
51 views

Sturm-Liouville problem on unit disk

Where can I find some information about: find the eigen values and eigen vectors $(\lambda,u)$ of the Sturm-Liouville problem -$div(\rho^{\alpha+1}\nabla u)=\lambda\rho^\alpha u$ where ...
4
votes
0answers
62 views

Convection-diffusion-reaction problem

I seek to solve to the system $$ \frac{\partial \phi_{a}}{\partial t} = D_{a} \frac{\partial^{2} \phi_{a}}{\partial x^{2}} - v_{a} \frac{\partial \phi_{a}}{\partial x} + \mathfrak{K}_{b}\phi_{b} ...
4
votes
0answers
133 views

How to balance learning and researching as a new PhD student?

As a new PhD student, how to balance learning and researching? I am in Australia and here we don't have any course in PhD period. I know I need to learn something about my programme, but sometimes ...
4
votes
0answers
90 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 ...
4
votes
0answers
78 views

$f_n \rightharpoonup f$ in $L^q(Q)$ $\forall q < \infty$ and $f_n' \rightharpoonup f'$ in $L^2(0,T;H^{-1})$ implies $f_n \to f$

(... in $C^0([0,T]; H^{-1})$. ) Let $f_n$ be a sequence of functions defined on $Q:=(0,T)\times \Omega$, where $\Omega$ is a bounded domain. I have read this: Since $f_n \rightharpoonup f$ in ...
4
votes
0answers
84 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 ...
4
votes
0answers
32 views

How to approximate derivative inside derivative

I am using a box-scheme for solving partial differential equation. The function is approximated with: $$ f_p=\psi\cdot\left(\theta\cdot f_{j}^{k+1}+(1-\theta)\cdot f_{j}^{k} \right) + (1-\psi)\cdot ...
4
votes
0answers
66 views

Is every solution of generalized Cauchy-Riemann equations $C^\infty$?

Let be given functions $f_1,...,f_n:\mathbb{R}^n \to \mathbb{R}$ such that the Jacobian $J=(\partial f_j / \partial x_k)_{j,k=1,\ldots, n}$ exists (say, for all $x\in \mathbb{R}^n)$ and let $a_{ijk} ...
4
votes
0answers
104 views

If $u$ has a weak derivative and $f$ is $C^1$ does $fu$ have a weak derivative (fractional Sobolev space and weak time derivatives)

Let $\Omega$ be an open bounded set. Let $s \in (0,1)$ and $H^s(\Omega) := W^{s,2}(\Omega).$ Let $f \in C^1([0,T]\times \Omega)$ and $u \in L^2(0,T;H^s(\Omega))$ with weak derivative $u' \in ...
4
votes
0answers
72 views

Regularity theorem for Laplacian

Let $\Omega \subset \mathbb R^d$ be a bounded domain, $d>2$. Let $f \in C^\infty(\Omega)$. If $u \in L^2$ is a distributional solution of $\Delta u = f$ in $\Omega$ then $u \in C^\infty(\Omega)$ ...