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

learn more… | top users | synonyms (2)

3
votes
0answers
110 views

quasilinear partial differential equation

Given a PDE $ f e^2 \frac{\partial f}{\partial x}- e f^2 \frac{\partial f}{\partial y} + M_1 f^4 + M_2 f^2 + M_3=0 $ Note that $M_1$ , $M_2$ and $M_3$ are functions of $\cos (x-y)$ and $\sin (x-y)$ ...
3
votes
0answers
70 views

Hopf lemma for generalized normal derivatives

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. If $u\in C^2(\Omega)\cap C_0(\overline{\Omega})$ is a superharmonic function ($-\Delta u\ge 0)$ then, Hopf Boundary Lemma does implies that ...
3
votes
0answers
105 views

Solving 1D telegrapher's equation by reduction to two-dimensional wave equation

The solution $w : \mathbb R \times \mathbb R_{+} \to \mathbb R$ of the Cauchy problem for the telegrapher's equation $$ w_{tt} - c^2 w_{xx} + c^2 \lambda^2 w = 0 $$ with $$ w(x,0) = 0, \qquad ...
3
votes
0answers
119 views

Regularity of a Weak Solution to Fokker-Planck Equation

Suppose that $\rho \in L^1(\mathbb{R}^n \times (0,T))$ for every $T < \infty$ is a weak solution of the PDE \begin{align} \partial_t\rho &= \Delta \rho + \text{div}(\rho\nabla\Psi(x))\\ \rho(t ...
3
votes
0answers
83 views

eigen value problem with Robin Boundary Conditions at both ends

This is a problem from the book Partial Differential Equations by Walter.A.Strauss. Consider the eigen value problem with Robin Boundary Conditions at both ends: $-X''=\lambda X$ $X'(0)-a_0X(0)=0$ ...
3
votes
0answers
47 views

Missing step in Evan's PDE?

In the attached proof, I am having trouble justifying the presence of "$x_n^{p-1}$" in eh line immediately below "Thus" and "Letting $m\to\infty$". I understand he uses Minkowski's inequality, and ...
3
votes
0answers
67 views

$L^2(S;W^{1,p})$-regularity for solution of parabolic pde in Hilbert space setting

I have a question regarding the regularity theory for parabolic pdes. I am considering the following "minimal working example": Let $\Omega\subset\mathbb{R}^n$, $n\in\mathbb{N}$, be and bounded ...
3
votes
0answers
38 views

Anyone help me with this PDE using Fourier Transform?

I have this: $$\frac{\partial c}{\partial t} + p\frac{\partial c}{\partial z}+\lambda p\frac{\partial^{2} c}{\partial z\partial t}-\frac{\partial^{2} c}{\partial z^2}=0\quad(1)$$ $$c(z,0)=\delta(z)$$ ...
3
votes
0answers
140 views

Hölder estimate of solution to linear parabolic PDE

Consider a standard Cauchy-Dirichlet problem for linear parabolic PDE: \begin{cases} u_t + \mathcal{L}u=-g, \ (t,x) \in [0,T)\times \Omega \\ u(T,x)=0 , \ x\in \Omega\\ u|_{\partial \Omega}=0 ...
3
votes
0answers
64 views

Tensor differential equations

I am reading Ringstrom's book The Cauchy problem in General Relativity, But I don't really understand Chapter 12 associating to tensor equations. I want to read some other material about this. Could ...
3
votes
0answers
62 views

Are there any results linking hyperbolic operators and Pseudo-Riemaniann geometry?

In the case of a $n$-dimensional pseudo-riemannian manifold one has a symmetric bilinear form, $h$, with signature $(1,n)$ and the analogous operator to the Laplace -Beltrami operator,$\Delta$, is the ...
3
votes
0answers
156 views

Conservation of momentum for nonlinear Schrodinger equation

I am having trouble proving the following momentum conservation law. Given smooth compactly supported solution $u(x,t)\in \mathbb{C}$ where $(x,t)\in \mathbb{R}^n\times \mathbb{R}$ of $iu_t+\Delta u= ...
3
votes
0answers
55 views

Variational Problem on a manifold - bounding my functional from below

Let $(M, g_{ij})$ be a compact Riemannian manifold. Let $f \in C^{0,\alpha}(M)$ be a given function. I have the linear operator $L = \Delta h - 12u^2h$, where $u \in C^{2,\alpha}$. I need to show ...
3
votes
0answers
107 views

Passing to the limit in a PDE; problem with subsequence (please check my answer)

For $w \in L^2(0,T;H^1)$, consider the PDE $$\int u'(t)v(t) + \int g(w(t))\nabla u(t) \nabla v(t) = \int f(t) v(t)\quad \forall v \in L^2(0,T;H^1)$$ where $u \in H^1(0,T;L^2)\cap L^2(0,T;H^1)$, and ...
3
votes
0answers
88 views

A regularity result for a parabolic PDE? Want $u' \in L^\infty((0,T)\times \Omega)$

Let $f \in L^\infty((0,T)\times \Omega)$ and let $g \in L^\infty((0,T)\times \Omega)$ satisfy $$0 < a \leq g(x,t) \leq b\quad\text{for all $(x,t)$}$$ $$\frac{dg}{dt} \in L^\infty((0,T)\times ...
3
votes
0answers
170 views

Simultaneous Orthogonal basis for $L^2(\mathbb{R}^n)$ and $H^1(\mathbb{R}^n)$

Given a smooth bounded set $U\subset \mathbb{R}^n$, there is a simultaneous orthogonal basis for $L^2(U)$ and $H^1_0(U)$ by the existence of eigenvectors to the Laplacian in a bounded domain, which ...
3
votes
0answers
63 views

$f, f|f| \in L^{1} (\mathbb R) \cap C_{0} (\mathbb R) \implies |f| \in H_{1} (\mathbb R)$?

Suppose $f \ \text{and} \ f|f|\in L^{1}(\mathbb R).$ Then, clearly, $|f|\in L^{2}(\mathbb R)$ and therefore by Plancheral theorem, we get, $\widehat{|f|} \in L^{2}(\mathbb R).$ Also, assume, $f, ...
3
votes
0answers
107 views

What does $\cos(n,t)$ mean?

In the book by JL Lions "Quelques methodes...", (Chapter 2, Section 3.3, page 197), he uses the notation $$\cos(n,t)$$ in a boundary condition on a domain $\Omega(t)$, where $n$ denotes the normal ...
3
votes
0answers
103 views

Crank Nicolson Method PDE

I have the following PDE $0=\partial _t u+\frac{1}{2}\partial_{xx} u$, now I assume that $t\in[0,T], x\in[0,L]$ and initial data $u(T,x)=g(x), u(t,0)=a(t), u(t,L)=b(t)$ The grid $\{(ik,jh): ...
3
votes
0answers
49 views

Schauder estimate with right hand side in $L^n$.

The classical Schauder estimate says that if $u$ is a solution of \begin{equation} \Delta u = f \end{equation} where $f \in C^{\alpha}(B_1)$, then $u \in C^{2, \alpha}(B_{1/2})$. Moreover, we have ...
3
votes
0answers
354 views

What is compensated compactness?

As the title says, what is compensated compactness? I see people talk about it in the books and papers I am reading but I can only find hand wavy definitions when I look online. Is there a definition ...
3
votes
0answers
47 views

Finite Difference Methods for arbitrary elliptic PDE

I am looking for textbook references that describe lattice numerical methods for arbitrary elliptic PDEs, particularly finite difference schemes and particularly in 2d. The few references that I have ...
3
votes
0answers
27 views

Convergence of the series $\sum_{\xi\in\mathbb Z^n} e^{2\pi ix\cdot \xi} a(x, \xi)\hat{f}(\xi)$?

I need some help with the following problem: let $a:\mathbb R^n\times \mathbb R^n\rightarrow \mathbb C$ be a smooth function and suppose there are constantes $C_{\alpha, \beta}$ and $M(\alpha, \beta)$ ...
3
votes
0answers
91 views

In which space does my (weak) solution exist?

I am reading through some numerical analysis papers, and was wondering what characteristics of a problem define which function space the weak solution of a problem belongs to. For example, for the ...
3
votes
0answers
96 views

$W^2_p$ regularity of solutions of linear elasticity

I want to prove the following statement: Let $\Omega$ be bounded, polygonal, and convex, then for the solution of the linear elasticity (elliptic) equation with inhomogenous Dirichlet boundary ...
3
votes
0answers
86 views

wave equation $C^2$ solution

If we consider the wave equation on the half line $\mathbb{R}_+$ such that $u_{tt} -u_{xx}=0$ in $\mathbb{R_+}\times(0,\infty)$ $u(x,0)=g(x)$ and $u_t(x,0)=h(x)$ for $x\in \mathbb{R_+}$ $u(0,t)=0$ ...
3
votes
0answers
128 views

Verifying the fundamental solution of Stokes flow in R^3?

Recall that Stokes flow in $\mathbb{R}^3$ is the solution $(\textbf{u}, p)$ of $$\begin{align} -\nabla p + \mu \Delta \textbf{u} &= \textbf{f} \\ \nabla \cdot \textbf{u} &= 0, \end{align} ...
3
votes
0answers
107 views

Proving norm equivalence in $W^{1-1/p,p}(\Omega)$

Define for $p\in [1,\infty)$ and $\Omega=(0,1)^N\subset\mathbb{R}^N$ $$W^{1-1/p,p}(\Omega)=\left\{u\in L^p(\Omega): \ \int_\Omega\int_\Omega\frac{|u(x)-u(y)|^p}{|x-y|^{N-1+p}}dxdy<\infty\right\}$$ ...
3
votes
0answers
94 views

An estimate For the Laplacian semi-group

Let $S(t)$ be the semi-group generated by the Dirichlet Laplacian in $L^2(0,1)$, which is given, for $y\in L^2(0,1)$, by $$S(t)y=\displaystyle\sum_{n=1}^\infty e^{-n^2\pi^2 t} \langle y,\sin(n\pi x) ...
3
votes
0answers
37 views

existence theorem of eliptic equation

Consider $\Omega \subset R^n$ a bounded and open set with $\partial \Omega$ smooth . Consider the problem: $$ - \Delta u + au = f \text{ in } \Omega $$ $$ u = 0 \text{ in } \partial \Omega $$ ...
3
votes
0answers
155 views

PDE- Method of Characteristics

I am given the following equation: $ (y+u)u_x + (x+u)u_y =(x+y)u$ , when: $ u(x,2x)=3x$ . and I want to solve it using the method of characteristics. The equations are: $ x_t = y+u , y_t=x+u , u_t ...
3
votes
0answers
86 views

Are Navier-Stokes equations used in molecular biology research?

I am wondering whether Navier-Stokes equations have been used in some molecular biology research papers in the past. A quick Google search revealed that such papers exist but I want to know if there ...
3
votes
0answers
58 views

Verifying an integral identity related to asymptotic homogenization of an elliptic partial differential equation

Background I'm reading Hornung (1997)'s Homogenization and porous media, pg 3: We study a family of [1D] problems, indexed by the scale parameter $\epsilon=\frac{1}{n}$, namely, ...
3
votes
0answers
44 views

Bounds on solutions of elliptic pde's in the whole plane

My question is rather simple. Given $f$ a $L^2(\mathbb{R}^2)$ function with zero mean but supported in the whole plane, is there a bound of the form $$ \|\nabla(\Delta)^{-1} ...
3
votes
0answers
678 views

Help with a non-linear partial differential equation

I am wondering whether someone can help me with a non-linear PDE: $$\frac{\partial^2\phi}{\partial t^2} = c\frac{\partial^2\phi}{\partial x^2} \left(\frac{\partial\phi}{\partial x} \right)^{n-1}$$ ...
3
votes
0answers
199 views

A probable inspiring proof to Poincare lemma

Poincare lemma says if a smooth $p$-form $\omega$ is closed, then $\omega$ must be exact. Let's put it in another way, it says the solution of $d\omega=0$ is $\omega=d\eta$ for some $(p-1)$-form ...
3
votes
0answers
79 views

Trace spaces of Orlicz-Sobolev spaces.

Recently I have the need of study trace spaces of Orlicz-Sobolev spaces. By looking in google I have discovered in this PDF page 14 (not only in the PDF), that the main contributions come from the ...
3
votes
0answers
56 views

Ergodic mean for Schrodinger flow

Let us consider the linear Schrodinger equation in $\mathbb{R}^N$ $$ (i\partial _t+\Delta)\,u=0\mbox{ ,}\quad u(0,x)=f$$ with $f\in L^2(\mathbb{R}^N)$, and let $u(t,x)=e^{it\Delta}f$ its solution. ...
3
votes
0answers
56 views

What is the difference between Deformation technique and Ekeland's variational principle?

What is the difference between Deformation technique and Ekeland's variational principle to approach Mountain Pass theorem ?
3
votes
0answers
96 views

The second derivative of simple layer potential

A simple-layer potential is defined as $$\Psi(M)=\iint_{S}\dfrac{\sigma(N)}{R(M,N)}dS(N)$$ where $S$ denotes a flat region in the plane $z=0$; the coordinates of $M$ and $N$ are $(\rho,\phi,z)$ and ...
3
votes
0answers
45 views

Attach term to solution of PDE(perturbation theory)

Currently I am struggeling with the following problem: Actually I have a found a solution to the PDE $\Delta \Phi(r,\theta)=f(r,\theta)$ and now I want to include a small extra term given by ...
3
votes
0answers
76 views

A “straightforward” inequality.

In section 5.5 page page 117 of Fanghua, Quing's book, in order to obtain $W^{2,p}$ estimates the idea is to show that for $p \in (1,\infty]$ the condition $\theta \in L^p(\Omega)$ implies $D^2u \in ...
3
votes
0answers
139 views

How to solve the advection equation with spiral motion

The advection equation is : $$\frac{\partial f(x,y,t)}{\partial t} + \nabla_{(x,y)} \cdot (A f)= 0$$ With initial condition $f(x,y,0) = f_0(x,y)$. If the vector $A$ is constant, ie. $A = ...
3
votes
0answers
106 views

Green's Function Divergence

Given a domain $ \Omega \in \mathbb{R}^2 $, and a PDE of the form $ L = a(x) \partial_x^2 + b(x) \partial_y ^2 $ for $ x \in \Omega $ , the green's function $ G(x,y) : \Omega \times \Omega \rightarrow ...
3
votes
0answers
78 views

Adjoints of an operator

In a paper I'm reading the discussion centres on operators of the form \begin{equation} \mathbf{B} = (-1)^{m+1} \Delta^m_y + \frac{1}{2m}y\cdot\nabla_y \end{equation} Apparently this is symmetric ...
3
votes
0answers
81 views

Integration by Parts for PDEs

I'm reading a paper on PDEs in preparation for some research. In it, integrals like this appear repreatedly: $$ I(x,t) = \int_{|y|>1} e^{-i\alpha xy} \frac{e^{i\beta y^2}}{(1+y^2)^m} dy. $$ Here ...
3
votes
0answers
45 views

Classical Parabolic theory (PDE)

I am reading an article and I almost done but I don't understand an argument on page 8: It is known from the classical parabolic theory that in the case when the nonlinearity grows no faster than ...
3
votes
0answers
86 views

Is this Stokes problem well-posed?

I am solving Stokes problem: $$\begin{gathered} \nabla p = \mu \Delta \vec{u} + \vec{f} \\ \nabla \cdot \vec{u} = 0 \end{gathered}$$ in a domain that's bounded by two surfaces - a cuboid and a small ...
3
votes
0answers
150 views

Checking initial condition of PDE is satisfied in Galerkin method

The following is an argument I read, it is part of a proof of checking that the solution given by the Galerkin method satisfies the initial conditions. From our PDE $$\langle u', v \rangle_{V',V} + ...
3
votes
0answers
46 views

Estimation of $\|(1-\Delta)^{\gamma/2}f\|_1$ type

Let $\phi(\xi)\in C_c^\infty(\mathbb{R}^d)$ with value $1$ in a neighborhood of the unit ball and vanishing fast outside the ball. I want to estimate $$\|(1-\Delta)^d (\cdot)^\alpha ...