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

learn more… | top users | synonyms (2)

12
votes
0answers
129 views

Level sets of solution to Nonlinear PDE

I work on Stochastic Control theory and BSDE's for my research. In my research, I characterized the set I am interested in as the level set of a function which is a viscosity solution to nonlinear PDE ...
12
votes
0answers
334 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
137 views

Regularity of PDEs, general question (Example: Kolmogorov equation)

Let us consider a differential operator $L$ and the PDE $$Lu=0$$ with some boundary conditions (assume Neumann conditions). For example, Kolmogorov's equation $$(1) \quad Lu(t,x) = \partial_t u(t,x) + ...
10
votes
0answers
264 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 ...
9
votes
0answers
174 views

$\int\limits_{\Omega}{uvdx}<\infty,\forall v\in H_0^1(\Omega)$ implies $u\in L^{6/5}(\Omega)$

Let $d=3$ and $\Omega\subset \mathbb R^d$ is a bounded Lipschitz domain and $u$ is a measurable function. A sufficient condition for the integral $\int\limits_{\Omega}{uvdx}<\infty,\forall v\in ...
9
votes
0answers
164 views

Half Solved: A problem on the heat operator not being elliptic with a weakened version of elliptic regularity

I should first mention this: in my studies of Sobolev spaces I have completed all the questions of chapter 9 from Folland's real analysis with the help of this site and this is my last one, which is ...
8
votes
0answers
207 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
189 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 ...
8
votes
0answers
150 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
406 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
246 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
188 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
225 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
100 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
227 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
314 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
80 views

Implementation of a simulation of an incompressible Newtonian fluid with uniform density

Let $d\in\left\{2,3\right\}$ and $\Omega\subseteq\mathbb R^d$ be a bounded domain. I want to simulate an incompressible Newtonian fluid with uniform density $\rho$ and viscosity $\nu$. The evolution ...
6
votes
0answers
172 views

The study of the properties of the solution of Heat equation.

I am studying the following basic heat equation. (All notations follows Evans book) \begin{align} u_t -\Delta u =0 &\text{ in }\mathbb R^2\times(0,\infty)\\ u=u_0 &\text{ on }\mathbb ...
6
votes
0answers
249 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
200 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
74 views

Monotonic convergence of Newton's method for boundary value problems

I’m interested in solving nonlinear elliptic boundary value problems of the type $$ -a\Delta u + f\left(u\right) = 0, \\ u\big\vert_\Gamma = u_0 $$ by Newton’s method when its convergence is global ...
6
votes
0answers
94 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}$ ...
6
votes
0answers
131 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
152 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
197 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
193 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
183 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 ...
6
votes
0answers
90 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
157 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$. ...
6
votes
0answers
100 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
223 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 ...
6
votes
0answers
225 views

Recommendation textbooks on D-module

I am going to take part in a seminar on D-module and applications, the textbooks that will be used are : D-modules, Perverse Sheaves, and Representation Theory, and A Primer of Algebraic D-Modules ...
5
votes
0answers
48 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
186 views

Laplace transform of functions related to type $\mathcal{S}$, and the relation to entire functions

I have doubts in the following two questions : 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
97 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
67 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
85 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
109 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
74 views

What does a well-posed problem imply?

A well-posed problem in the sense of Hadamard states that: A solution exists The solution is unique The solution's behavior changes continuously with the initial conditions. Now in order to prove ...
5
votes
0answers
85 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
216 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
65 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
66 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
143 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
153 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
106 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
232 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 ...
5
votes
0answers
239 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$ ...