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

learn more… | top users | synonyms (2)

6
votes
2answers
188 views

Fourier Transform $\displaystyle{F}^{-1}({e^{i\xi^3t}})$

The problem is$$u_t+u_{xxx}=0,u(x,0)=f(x),$$ Use Fourier Transform we get$$\overline{u}=e^{i\xi^3t}\overline{f},$$I want to solve out $u$ . Thus I want to know ...
6
votes
2answers
379 views

Liouville Theorem

Liouville theorem for superharmonic functions states that Any bounded function $f:\mathbb R^n\to\mathbb R$ admitting an inequality $\Delta f\leq 0$ on $\mathbb R^n$ is a constant function. Here ...
6
votes
1answer
229 views

Difficulties in solving a PDE problem

This is an exercise in "Variation et optimisation des formes", chapter 3, Ex. 3.8. The preliminaries are: $$D=(0,1)^2,\ f \in L^2(D),\ x_{ij}=(i/n, j/n),\ 0<i,j<n,$$ $$\Omega_n = D\setminus ...
6
votes
2answers
3k views

Finding integrating factor when IF will be a function of x and y

I'm not finding any resource or description or systemic methodology to find integrating factors when the integrating factor will be a function of both x and y. I'm on this problem, $$ ( y - xy^2 ) ...
6
votes
2answers
180 views

What physical information does the mean value property of heat equation convey?

I'm reading through the Evans' book on PDE, the chapter on heat equation. The definitions are the same as here. I see that mean value property of heat equation is useful for proving maximum principle ...
6
votes
2answers
287 views

The relationship between two definitions of star-shaped domain

There are two definitions of star-shaped domain. One is given in wikipedia as follows. Def1: A set $S$ in the Euclidean space $\mathbb{R}^n$ is called a star domain (or star-convex set, star-shaped ...
6
votes
1answer
350 views

Surjectivity of the trace operator in Sobolev spaces

Suppose $U$ is an open bounded set with $C^1$ boundary. It is a well-known result in the theory of Sobolev spaces $W^{1,p}$ that there is a continuous linear operator $T:W^{1,p}(U)\rightarrow ...
6
votes
1answer
362 views

Regularity of a solution of Laplace equation

Assume $\Omega$ is some open, bounded domain with smooth boundary - say $\Omega = B(0,1) \subset \mathbb{R}^3$. Let $v$ be a solution of the Laplace equation \begin{equation} \begin{cases} \Delta v =0 ...
6
votes
2answers
87 views

Decay of $H^1(\mathbb{R}^n)$ functions

Is it true (is there a commonly known theorem) that says: $f \in H^1(\mathbb R ^n)$ $\Rightarrow$ $\displaystyle \lim_{|x| \to \infty} f(x) = 0$ pointwise (where $H^1$ denotes the Sobolev space ...
6
votes
2answers
640 views

Gradient of a Harmonic Function

I was asked the following vector calculus problem: Let $D$ be the unit ball and let $S$ be the unit sphere in $\mathbb{R}^3$. Suppose that $F:\mathbb{R}^3\rightarrow \mathbb{R}^3$ is a $C^1$ ...
6
votes
1answer
120 views

Why do we take the odd extension?

When we have the initial and boundary value problem $$u_{tt}(x,t)-c^2u_{xx}(x,t)=0, x>0, t>0 \\ u(0,t)=0 \\ u(x,0)=f(x), x \geq 0 \\ u_t(x,0)=g(x), x \geq 0$$ can we apply Green's theorem or ...
6
votes
1answer
113 views

Transforming a PDE given basis vectors

I have a non-orthogonal coordinate system defined by $\mathbf x=\mathbf x(r,\beta,z)$, and so I can find the basis vectors as $$ \mathbf g_r=\frac{\partial \mathbf x}{\partial r},\quad\mathbf ...
6
votes
1answer
270 views

Solving the 2D Poisson equation with variable boundary location

I am trying to find $z(r,\phi)$ from the 2D Poisson equation in polar coordinates: $$\frac{1}{r}\frac{\partial}{\partial r}\left(r \frac{\partial z}{\partial ...
6
votes
1answer
68 views

Missing a necessary power in this proof - please help.

This question is somewhat related to Gradient Estimate - Question about Inequality vs. Equality sign in one part. That question was related to part (c) of a problem I am working on, and this question ...
6
votes
1answer
280 views

Approximate Holder continuous functions by smooth functions

Let $g \in C^{\alpha} (B_1)$ be given. Can we find a sequence $(f_n) \subset C^{\infty} (B_1)$ such that $f_n \rightarrow g$ in $C^{\alpha}(\overline{B_1})$? If so, how can it be done? I have tried ...
6
votes
1answer
231 views

Is there an integral form of Newton's method?

Warning : This seems like a silly sort of question, not the kind I'd ask out loud. The contraction mapping theorem is a basic tool for proving existence of, and finding solutions to, equations. Given ...
6
votes
1answer
109 views

Euler Darboux PDE solution

Consider the Euler-Darboux PDE $$ u_{xy}+\frac{k}{x-y}(u_{x}-u_{y})=0 $$ What is the solution when $k>0$? All text books I have looked at give solutions for $k<0$ and I don't seem to see how I ...
6
votes
3answers
513 views

Elliptic estimates on compact manifolds

Hey where may I find elliptic estimates for PDEs on compact (no boundary) Riemannian manifolds? I want a source/paper/book where I can cite it. For example, for $L$ a linear elliptic operator, (eg. ...
6
votes
1answer
401 views

What is the Laplace operator's representation in 3-sphere-coordinates?

The three-dimensional Laplace operator in spherical coordinates can be expressed as $$\Delta_3 = \frac1{r^2}\partial_r(r^2\partial_r) + \frac1{r^2} L^2$$ where $L^2$ is the squared angular momentum ...
6
votes
1answer
241 views

differential operator on manifold

I am currently trying to understand the local expression of a (pseudo)differential operator $$ \int_{R^n} e^{(x - y)\cdot \xi} \sigma(x,\xi) \, d \xi $$ on a manifold $M$ (compact and boundaryless, ...
6
votes
1answer
170 views

An interesting semi-linear PDE problem

Assume $u\in H^1(\mathbb{R}^n)$ has compact support, and assume that it is a weak solution of the semi linear equation $$ -\Delta u+c(u)=f\;\;\text{in}\;\mathbb{R^n} $$ where $f\in ...
6
votes
1answer
107 views

Differential equation - Green's Theorem

I want to find the solution of the following initial value problem: $$u_{tt}(x, t)-u_{xt}(x, t)=f(x, t), x \in \mathbb{R}, t>0 \\ u(x, 0)=0, x \in \mathbb{R} \\ u_t(x, 0)=0, x \in \mathbb{R}$$ ...
6
votes
1answer
89 views

Surveys: problems, conjectures, and questions in some areas of nonlinear analysis

I would like to create a "big-list" of resources (e.g., survey papers, webpages, conference proceedings, monographs, etc.) that collect and offer some context and ...
6
votes
1answer
115 views

Solution of $\frac{\partial f}{\partial x}\frac{\partial f}{\partial y} - 2 f \frac{\partial^2 f}{\partial x \, \partial y} = 0$

I've been trying to to solve the following PDE: \begin{equation} \frac{\partial f}{\partial x}\frac{\partial f}{\partial y} - 2 f \frac{\partial^2 f}{\partial x \, \partial y} = 0 \end{equation} I ...
6
votes
2answers
138 views

Regularity of the heat kernel

Let $(M,g)$ be a compact Riemannian manifold. Let $H:M\times M\times\mathbb{R}_{>0}\to\mathbb{R}$ be the heat kernel. i.e. $H\in C^0(M\times M\times\mathbb{R}_{>0})$ is the unique continuous ...
6
votes
1answer
77 views

Nonlinear PDE $u_y=(u_x)^3$

I need to show that the only solutions of $u_y=(u_x)^3$ that are smooth on whole $\Bbb R^2$ are of the form $ax+by+c$, could anyone help me please?
6
votes
1answer
128 views

What “standard estimates for the laplacian” do the authors of this paper mean?

I am trying to follow the proof of lemma 2.1 in this paper. The setup. Consider a solution $v$ to the nonlinear equation $$ -\Delta v = ic \partial_1 v + v(1-\vert v\vert^2) ~\mbox{on}~ ...
6
votes
1answer
79 views

Solution form for Stokes flows

If $p:\mathbb{R^3} \rightarrow \mathbb{R} $ and $u: \mathbb{R}^3 \rightarrow \mathbb{R}^3$ satisfy: $$\nabla p-\nabla^2u=0$$ $$\nabla\cdot u=0$$ How can we prove that every solution is of the form: ...
6
votes
1answer
338 views

Wave Equation Non-uniform string (PDE)

The wave equation in a non-uniform string is : $$ u_{tt} = c(x)^2 u_{xx} $$ $$ u(x,0) = f(x) = e^\frac{(x-\mu)^2}{2 \sigma^2} , \:\:u(0,t) = 0\:,\:\:u(L,t) = 0, \:\: u_{t}(x,0) = -cf'(x) $$ ...
6
votes
1answer
229 views

Characteristics in the theory of PDE's - What's Going On?

What's really going on as regards characterstics in the theory of PDE's? (Hopefully you wont have to check the links provided below, included for those who are interested really) For second order ...
6
votes
1answer
175 views

Caccioppoli-Leray Inequality for De Giorgi's regularity theorem

I am studying De Giorgi's proof of Holder continuity of solutions of elliptic equations with bounded measurable coefficients. This is the translation of the original paper De Giorgi paper At page ...
6
votes
1answer
258 views

Why are weak solutions to PDEs good enough?

Obviously solutions in $C^k$ are nicer but it seems people are happy with obtaining weak solutions in some Sobolev space that only satisfy the weak formulation. Why should this, in the real world, be ...
6
votes
1answer
215 views

How we do actually compute the topological index in Atiyah-Singer?

I am taking a lectured class in Atiyah-Singer this semester. While the class is moving on really slowly (we just covered how to use Atiyah-Singer to prove Gauss-Bonnet, and introducing ...
6
votes
2answers
250 views

Trace regularity result $\lVert n \times u\rVert_{H^{-1/2}}$

There is a result in a paper I am reading : Let $\Omega$ be a bounded domain. For any $\epsilon > 0$, there is a constant $C(\epsilon)$ such that $$\lVert n \times u\rVert_{H^{-1/2}(\partial ...
6
votes
1answer
381 views

Parabolic linear PDE with continuous coefficients; how to solve and explanation of text needed

I have the following PDE $$u_t = a(x,t)u_{xx} + b(x,t)u_x + c(x,t)u - f(x,t)$$ $$u|_{t=0} = u_0$$ over the domain $S^1 \times [0,T)$. The coefficients and $f$ are in $C^{k,\alpha}$ for some $k$ (and ...
6
votes
1answer
269 views

Capacity theory beginner resources

I'm currently studying a book on shape optimization: Variation et optimisation de formes: Une analyse géométrique By Antoine Henrot, Michel Pierre. The book introduces at some point capacity, and uses ...
6
votes
1answer
302 views

Two different definitions of ellipticity

This is a question originating in another mathematics forum, matematicamente.it (in Italian). In literature one encounters the word elliptic in (at least) two different definitions. In what follows ...
6
votes
1answer
93 views

counterexample for ill posedness of the laplace equation

Consider the wave equation with initial data: $$u_{tt}(t,x) + u_{xx}(t,x) = 0$$ $$u(0,x) = u_0(x)$$ $$u_t(0,x) = u_1(x)$$ Hadamard showed that this problem is ill-posed: there exist large solutions ...
6
votes
1answer
84 views

About some properties of the heat kernel

Maybe my questions are stupit, but I'm so unsure about some properties of the heat equation. Suppose we have a compact and smooth manifold M (possibly with boundary), then in a lot of books they ...
6
votes
1answer
217 views

How should I numerically solve this PDE?

I am hoping to figure out the function $u(x,y,t)$ for some integer arguments when $u(x,y,0)$ is given (by figuring out I mean generating some images in MatLab), also time $t \ge 0$. $$\frac{\partial ...
6
votes
1answer
335 views

solving the PDE of a beam under a moving load using Laplace transform

Solve this PDE using Laplace transform : $$ EI {\partial^4 y(x,t)\over\partial x^4}+\mu {\partial^2y(x,t)\over\partial t^2}= F(x,t) $$ $$F(x,t)= P\delta(x-u) / ...
6
votes
2answers
272 views

Weakly differentiable but classically nowhere differentiable

Is there any example of a function which is weakly differentiable but none of its versions are classically nowhere differentiable (or differentiable only on a set of measure 0) ? Thanks
6
votes
1answer
584 views

Uniqueness for 3-dimensional heat equation initial Robin boundary value problem (SOLVED)

Let $\Omega \subset \mathbb{R}^3$ be a bounded domain. Using an energy argument, show that the IBVP \begin{align} u_t &= \Delta u ~~~~~~~~~~x \in \Omega, ~t>0\\ \frac{\partial u}{\partial \nu} ...
6
votes
1answer
419 views

is $\nabla \cdot ( c^2 \nabla)$ a Laplace-Beltrami operator?

I asked this on mathoverflow, and was suggested to ask it here. Someone mentioned, in passing, to me that $u \mapsto \nabla \cdot ( c^2 \nabla u)$ is a Laplace-Beltrami operator. Does anyone have ...
6
votes
2answers
219 views

Prerequisits for Gauss-Green theorem

Consider the following theorem from the appendix C from Evans PDE book: I know about integration in $\mathbb{R}^n$ but not about how to make sense of the integrals on the right-hand side. As my ...
6
votes
0answers
144 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
1answer
131 views

oblique derivative smoothness of harmonic functions

Let $Q$ be a domain in the half-space $\mathbb R^n\cap\{x_n>0\}$ and part of its boundary is a domain $S$ on the hyperplane $x_n=0$. Let $u\in C(\bar Q)\cap C^2( Q)$ satisfy $\Delta u=0$ in $Q$ and ...
6
votes
0answers
75 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$}, ...
6
votes
0answers
118 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
1answer
175 views

Measure theory questions applied to Second Order PDE

Most of the questions are more measure theory and integration related but I need to give some context, so I will now. Consider the quasilinear 2nd-order partial differential equation ...