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

learn more… | top users | synonyms (2)

3
votes
0answers
88 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
84 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
82 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
117 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
104 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
92 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
140 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
84 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
57 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
42 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
676 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
194 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
73 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
55 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
53 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
92 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
41 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
74 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
137 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
101 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
80 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
84 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
145 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 ...
3
votes
0answers
74 views

Confused by a (standard?) gradient estimate.

This sort of inequality appears frequently in a paper I'm reading, but never with any justification. Take $u(x) \in H^{1}(B(x_{0}, r))$ and a cutoff $\phi(x) \in C_{0}^{\infty}(B(x_{0}, r))$ where ...
3
votes
0answers
159 views

Reference: Hölder regularity for linear elliptic equation, Neumann problem

I checked the Book of Gilbarg Trudinger on elliptic equations for (Hölder)-regularity results on weak solutions for elliptic pde. In particular, my equation is of the form $$\nabla \cdot ...
3
votes
0answers
115 views

Prove the equivalence of the solution existence of Stokes equation's variational problem to the original problem

I have this exercise. We put $X = L^2(\Omega)^4 \times L^1_0(\Omega), M = H^1_0(\Omega)^2.$ $$a : X \times X \rightarrow \mathbb{R}; ((\sigma,p),(\tau,\alpha)) \rightarrow (\sigma \otimes \tau)$$ ...
3
votes
0answers
246 views

Weak solution to PDE boundary value problems

Take $\lambda>0$ and let $\Delta$ be the Laplacian operator in dimension $n$ and let $\Delta^2:=\Delta\circ\Delta$. Consider the boundary value problem $\Delta^2 u+\lambda u=f$ on some open subset ...
3
votes
0answers
48 views

Timestepping PDE with positive eigenvalues

I'm trying to numerically solve a PDE, namely: $$ \partial_t \binom{u(x, t)}{v(x, t)} = x \left(\begin{array}{cc} 0 & -1 \\ 1 & 0 \end{array}\right) \cdot \partial_x \binom{u(x, t)}{v(x, t)} ...
3
votes
0answers
66 views

Why can I write the curve shortening flow system as..

Consider the family of curves $$\gamma:S^1\times [0, T)\rightarrow \mathbb R^2, \gamma(u, t)=(x(u, t), y(u, t)),$$ where $u$ parametrizes the trace of the curve and $t$ parametrizes which curve is ...
3
votes
0answers
57 views

Regularization of solutions from a quasilinear equation.

Let $\Omega\subset\mathbb{R}^N$ be a bounded regular domain and $p\in (1,\infty)$. Let $-\Delta_p :W_0^{1,p}\to W^{-1,p'}$ be the $p$-Laplace operator, i.e. $$\langle-\Delta_pu,v\rangle=\int_\Omega ...
3
votes
0answers
180 views

Regularity of weighted p-Laplace equation up to boundary

Take the weighted p-Laplace equation, $\nabla \cdot (\gamma |\nabla u|^{p-2}\nabla u) = 0$, with smooth Dirichlet boundary values on some smooth and bounded domain. Suppose the weight $\gamma$ is also ...
3
votes
0answers
117 views

Is this pde Elliptic?

I have seen that there is a classification of elliptic pde's. It says the pde $$au_{xx} + 2bu_{xy} + cu_{yy} + du_x + eu_y+f =0$$ is elliptic if $b^2 - ac < 0$. There is another definition that is ...
3
votes
0answers
149 views

Solving $ T' = 0 $ for distributions in $\mathbb{R}^n$

Denoting $ T \in \mathcal{D}'(\mathbb{R}^n) $ as distributions with $ T_f(\varphi) = \int_{\mathbb{R}^n} f\varphi\ dx $, I wish to prove the distribution solution of the equation $ T' = 0 $ ...
3
votes
0answers
116 views

Boundedness for Reaction Diffusion BVP with Arbitrary Exponent $\alpha$

Let $U\subset\mathbb{R}^{n}$ be open, $U_{T}$ and $\Gamma_{T}$ be the parabolic cylinder and boundary of $U$ for arbitrary $0\leq t\leq T$, respectively, and suppose $u$ solves $$ ...
3
votes
0answers
217 views

Solving systems PDE's

I have a bit of trouble solving a system of first order PDE's, that I get by solving a boundary issue problem in gravitation (here). I have six equations: ...
3
votes
0answers
122 views

invertible operator Sobolev space

Let $T:H_0^2(D)\rightarrow H_0^2(D)$ a linear bounded operator defined via the sesqulinear form $(Tu,v)=a(u,v):=\int_{D}\Delta u\Delta v dx$. I have shown that T is coercive and self-adjoint. How can ...
3
votes
0answers
165 views

Why is this function space dense in this Bochner-type space? (Rogers and Renardy)

Let $\phi(t) = \sum_{i=1}^N\beta_i(t)\phi_i(x)$, where $\phi_i$ is basis for space $V$, and $\beta_i \in C_c^\infty(0,T).$ Renardy and Rogers says that 1) Functions of the above form are dense in ...
3
votes
0answers
77 views

Is a solution to some partially differential equation homeomorphic (or diffeomorphic) to a solution of an equation with a different covariance group?

Consider some solution $\psi(x,t)$ to the linear Klein-Gordon equation: $-\partial^2_t \psi + \nabla^2 \psi = m^2 \psi$. Up to homeomorphism, can $\psi$ serve as a solution to some other equation ...
3
votes
0answers
108 views

an application of implicit function theorem?

I need to proof the following, could any one help me to proof step by step? $(t,\epsilon)\mapsto F(t,\epsilon):\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}$ be a twice continuously differentiable ...
3
votes
0answers
96 views

Compute the continuous spectrum of an unbounded operator in $L^2(\mathbb{R}^2)^2$.

In "Béthuel, F. und J. C. Saut: Travelling waves for the Gross-Pitaevskii equation. I. Ann. Inst. H. Poincaré Phys. Théor., 70(2):147–238, 1999." the authors write on page 150, that one can easily ...
3
votes
0answers
195 views

Show that the convolution of a spherically symmetric function with the heat kernel is also spherically symmetric

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

Wave Equations Concept questions

My Engineering Mathematics teacher have a very novel method of teaching. He thinks that while it's all good and well to learn the analytical side of math, he stresses more on the theory, than the ...
3
votes
0answers
258 views

When the weak derivative just is the strong (or classical) derivative?

When the weak derivative just is the strong (or classical) derivative? For instance, can we prove that weak derivate $Du\in C^\alpha$(or $C^0$) implies $u\in C^{1,\alpha}$(or $C^1$).
3
votes
0answers
229 views

how to uncouple and unreduce a system of first order PDEs

Suppose we are given a system of first order PDEs with constant coefficients. In particular, suppose we are given $k$ PDEs for $u_1,u_2, \dots u_n$ with respect to independent variables $x_1,x_2, ...
3
votes
0answers
108 views

An existence Theorem

Data: $\Omega \subset \mathbb{R}^{n}$ is an open connected (may be unbounded) set, and locally $\partial \Omega$ is aLipschitz graph. $S \subset \partial \Omega$ is measurabel and $H^{n-1}(S)>0.$ ...
3
votes
0answers
1k views

What is the difference between the domain of influence and the domain of dependence?

When analysing the wave equation $$u_{tt} = c^2 u_{xx}$$ in my PDE's module, I understand the 'domain of dependence' which is where the value $u(x_0,t_0)$ is only depends on the initial value of $x$ ...