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

learn more… | top users | synonyms (2)

101
votes
5answers
7k views

What do modern-day analysts actually do?

In an abstract algebra class, one learns about groups, rings, and fields, and (perhaps naively) conceives of a modern-day algebraist as someone who studies these sorts of structures. One learns about ...
83
votes
8answers
36k views

Has Prof. Otelbaev shown existence of strong solutions for Navier-Stokes equations? [closed]

Moderator Notice: I am unilaterally closing this question for three reasons. The discussion here has turned too chatty and not suitable for the MSE framework. Given the recent pre-print ...
41
votes
5answers
10k views

Is the problem that Prof Otelbaev proved exactly the one stated by Clay Mathematics Institute?

Recently, mathematician Mukhtarbay Otelbaev published a paper Existence of a strong solution of the Navier-Stokes equations, in which he claim that he solved one of the Millennium Problems: existence ...
41
votes
1answer
2k views

What is the solution to Nash's problem presented in “A Beautiful Mind”?

I was watching the said movie the other night, and I started thinking about the equation posed by Nash in the movie. More specifically, the one he said would take some students a lifetime to solve ...
36
votes
5answers
1k views

Understanding the Laplace operator conceptually

The Laplace operator: those of you who now understand it, how would you explain what it "does" conceptually? How do you wish you had been taught it? Any good essays (combining both history and ...
27
votes
1answer
4k views

Mathematical precise definition of a PDE being elliptic, parabolic or hyperbolic

what is the general definition for some partial differential equation being called elliptic, parabolic or hyperbolic - in particular, if the PDE is nonlinear and above second-order. So far, I have ...
25
votes
2answers
2k views

Why are mathematician so interested to find theory for solving partial differential equations but not for integral equation?

Why are mathematician so interested to find theory for solving partial differential equations (for example Navier-Stokes equation) but not for integral equations?
25
votes
8answers
1k views

Partial differential equations in “pure mathematics”

One thing I have noticed about PDEs is that they come from Mathematical Physics in general. Almost all the equations I see in Wikipedia follow this pattern. I can't help wondering whether there are ...
25
votes
2answers
804 views

PDEs on manifold: what changes from Euclidean case?

I know some PDE theory for nice open domains in $\mathbb{R}^n.$ I want to know what the changes are when I switch to other domains like manifolds. For example, do things like Poincare's inequality ...
24
votes
6answers
1k views

Should I understand a theorem's proof before using the theorem?

I find myself embarrassed when using results in books. For example, there are so many results in Sobolev spaces that I think I would not be able to understand all of them. Yes, I could try to ...
24
votes
7answers
8k views

Good 1st PDE book for self study

What is a good PDE book suitable for self study? I'm looking for a book that doesn't require much prerequisite knowledge beyond undergraduate-level analysis. My goal is to understand basic ...
22
votes
1answer
401 views

Why is the Laplacian important in Riemannian geometry?

As I've learned more Riemannian geometry, many of my teachers have said that studying the Laplacian (and its eigenvalues) is very important. But I must admit, I've never fully understood why. ...
22
votes
2answers
931 views

Non-linear partial differential equation

I would like to find out if there is any specific method -apart from numerics- for finding solutions of a non-linear PDE of the form $$\nabla \times \mathbf{A} = \pm\lambda\mathbf{A} \tag{1}$$ under ...
21
votes
2answers
433 views

Why do odd dimensions and even dimensions behave differently?

It is well known that odd and even dimensions work differently. Waves propagation in odd dimensions is unlike propagation in even dimensions. A parity operator is a rotation in even dimensions, ...
19
votes
1answer
599 views

Was Euler right?

We have a differential equation $$ y + y' = f(x) $$ and assume $f$ is infinitely differentiable. And we want to find particular solution. Then,I set $$ y_p = f(x)-f'(x)+f''(x)...., $$ i.e., ...
18
votes
2answers
704 views

Applications of Pseudodifferential Operators

I am very interested in just about anything that has to do with PDE's, and inevitably pseudodifferential operators comes up. Its obvious that such a novel way of looking at PDE's would be important, ...
18
votes
2answers
662 views

Intuitive explanation of the difference between waves in odd and even dimensions

Motivation: In odd dimensions, solutions to the wave equation: $u_{tt}(x,t)=\nabla u(x,t)$, $u_t(x,0)=0$, $u(x,0)=f(x)$, ($t\geq 0, x\in \mathbb{R}^n$) have the nice property that the value of ...
18
votes
1answer
522 views

Seeking Fourier series solution on Laplace equation…still looking, am I on track?

Okay, I've been working at this a couple of days now, I will try to give relevant details but will omit some intermediate steps. The problem as given says: Consider the BVP for $u=u(x,y)$: ...
14
votes
2answers
795 views

Why are harmonic functions called harmonic functions?

Are they related to harmonic series in any way? Or something else? Wikipedia didn't help.
13
votes
3answers
454 views

Connections between K-Theory and PDEs?

I've recently spent some time learning (the very basics of) K-theory for $C^*$-algebras and topological K-theory. Actually, my main fields of interest are PDEs and related topics, in particular ...
13
votes
3answers
1k views

What is the purpose of computing the eigenvalue of a PDE problem?

I understand that eigenvalues have their purpose in linear algebra (e.g. iterative methods won't converge unless the modulus of the spectral radius is less than or equal to one). But when I solve ...
12
votes
3answers
759 views

Do discontinuous harmonic functions exist?

A function, $u$, on $\mathbb R^n$ is normally said to be harmonic if $\Delta u=0$, where $\Delta$ is the Laplacian operator $\Delta=\sum_{i=1}^n\frac{\partial^2}{\partial x_i^2}$. So obviously, ...
12
votes
4answers
353 views

Roadmap to SPDEs

I'm trying to learn about the Kushner-Stratonovich-Pardoux equations in filtering theory. I'm familiar with Itô calculus at the level of Øksendal's book (but struggle with much of Karatzas and ...
12
votes
4answers
316 views

Correct spaces for quantum mechanics

The general formulation of quantum mechanics is done by describing quantum mechanical states by vectors $|\psi_t(x)\rangle$ in some Hilbert space $\mathcal{H}$ and describes their time evolution by ...
12
votes
2answers
768 views

PDEs on Manifolds

I am wondering if there is a general coordinate-independent way to define a Partial Differential Equation on a Smooth manifold. It is definitely true that in each coordinate neighborhood you could ...
12
votes
2answers
801 views

viscosity solution vs. weak solution

I am confused between the two. Is one a subset of the other or they are the same/completely different notions? Say I have an euqaiton $u_t=\mathcal{L}u$ for an elliptic operator $\mathcal{L}$ with bad ...
12
votes
1answer
370 views

Do eigenfunctions of elliptic operator form basis of $H^k(M)$?

We know that the eigenfunctions of the Laplacian on a compact manifold $M$ form a countable basis of $H^1(M)$. If $L$ is a $2k$-order elliptic operator, do the eigenfunctions of $L$ form a basis for ...
12
votes
1answer
570 views

The Helmholtz equation: How prove this $T\psi{(x)}\in\Omega$.

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$ ...
11
votes
2answers
3k views

Energy norm. Why is it called that way?

Let $\Omega$ be an open subset of $\mathbb{R}^n$. The following $$\lVert u \rVert_{1, 2}^2=\int_{\Omega} \lvert u(x)\rvert^2\, dx + \int_{\Omega} \lvert \nabla u(x)\rvert^2\, dx$$ defines a norm on ...
11
votes
1answer
117 views

Non-divergence form of a 2nd order PDE

This might be a trivial question but I'm very rusty with regards to calculus and am new to PDEs. How would you write the following second order quasilinear equation in it's non-divergence form: The ...
11
votes
2answers
745 views

classical solutions of PDE with mixed boundary conditions

Nowadays people usually consider PDEs in weak formulations only, so I have a hard time finding statements about the existence of classical solutions of the Poisson equation with mixed ...
11
votes
1answer
400 views

Motivation of Feynman-Kac formula and its relation to Kolmogorov backward/forward equations?

Kolmogorov backward/forward equations are pdes, derived for the semigroups constructed from the Markov transition kernels. Feynman-Kac formula is also a pde corresponding to a stochastic process ...
11
votes
2answers
382 views

Elliptic regularity in Sobolev spaces of negative order

I am having some trouble with Sobolev spaces of negative order. More precisely I am considering the space $W^{-1,p}(\mathbb{R}^2),$ considered as 'the' dual space of $W^{1,q}(\mathbb{R}^2).$ Question ...
11
votes
1answer
430 views

Book recommendations for self-study at the level of 3rd-4th year undergraduate

I have only recently discovered an interested in mathematics and I could only take a year off work to be back at school. Needless to say, for financial reasons (couple of mortgages) I will need to ...
11
votes
2answers
205 views

Positivity of principal eigenvalue for $L\phi=-\triangle \phi + \nabla \cdot( u \phi )$

EDIT: This question is still unresolved as of April 18. The two answers provide useful work in the right direction, but neither resolves the question. A counterexample should have $u \in ...
11
votes
0answers
235 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
2answers
220 views

Existence and uniqueness of Stokes flow

What are the solution existence and uniqueness conditions for Stokes' flow? $$\begin{gathered} \nabla p = \mu \Delta \vec{u} + \vec{f} \\ \nabla \cdot \vec{u} = 0 \end{gathered}$$ Maybe you could ...
10
votes
3answers
2k views

The mathematics of music - why sine waves?

Of course, the Fourier transform is an extremely elegant mathematical method of overwhelming simplicity, and this straight away puts sine waves (or complex exponentials) on a high pedestal. But what ...
10
votes
2answers
582 views

Relation of Brownian Motion to Helmholtz Equation

one can obtain solutions to the Laplace equation $$\Delta\psi(x) = 0$$ or even for the Poisson equation $\Delta\psi(x)=\varphi(x)$ in a Dirichlet boundary value problem using a random-walk approach, ...
10
votes
5answers
319 views

What is the motivation behind a product solution?

Let's consider the simple differential equation: $$\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0$$ And let's assume we have some regular homogeneous boundary conditions ...
10
votes
2answers
322 views

Mean value property with fixed radius

I will focus on the real line. Let $f$ be a smooth function on $\mathbb{R}$, if $\forall x\in\mathbb{R}, r>0$, $$\frac{f(x-r)+f(x+r)}{2}=f(x),$$ we say that f has the spherical mean value property ...
10
votes
1answer
338 views

Why no trace operator in $L^2$?

We have trace operator which allows us to define boundary values of an $H^1$ function. This is because of the fact that $C^\infty$ is dense in $H^1$ under the $H^1$ norm, I believe. I'm sure either ...
10
votes
1answer
302 views

Solving Poisson's equation for $\varrho(\mathbf{r}) = \sigma \cos\left(\frac{2 \pi}{L} x\right) \, \delta(y)$

Problem statement I took an exam, where I had the following task: Determine the electrostatic potential for the charge distribution $$\varrho(\mathbf{r}) = \sigma \cos\left(\frac{2 \pi}{L} x\right) ...
10
votes
2answers
338 views

Reversing the Ricci flow

Suppose $S$ is a closed, oriented surface (2-manifold) embedded in $\mathbb{R}^3$, which inherits the metric from $\mathbb{R}^3$, so that distances are measured by shortest paths on the surface. If ...
10
votes
1answer
1k views

How to compute the first eigenvalue of Laplace operator in an ellipse?

Let $\mathcal{E}$ be an ellipse in the $\mathbb{R}^2$ plane with center in $o=(0,0)$, given focal distance $c\geq 0$ and given area $A>0$. It is a fact that the eigenvalue problem for the Laplace ...
10
votes
1answer
196 views

A type of local minimum (2)

Data: $\Omega \subset \mathbb{R}^{n}$ is an open connected (may be unbounded) set, and locally $\partial \Omega$ is a Lipschitz graph. $S \subset \partial \Omega$ is measurable and $H^{n-1}(S)>0$. ...
10
votes
1answer
109 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 ...
10
votes
1answer
101 views

Understanding what people mean in PDEs

I have noticed that two omissions are frequent in PDE theory, to the point that it has even cropped up in textbooks and very much discouraged my study of the field. This is my 5th attempt at learning ...
10
votes
1answer
273 views

Regularizing effect of the heat equation

Consider the heat equation on $\mathbb{R}_+\times\mathbb{R}^d$ \begin{align*} \partial_t u -\Delta_x u &= f, \\ u(0,x)&=u_0(x). \end{align*} In the case where $u_0\in L^2(\mathbb{R}^d)$ ...
10
votes
1answer
487 views

Understanding a theorem concerning Sobolev spaces

I have two doubts in the proof of the theorem below. If you want the detaIls can be found here. Theorem A Let $q$ a given real number $q>p$. Let $u \in W^{1,p}$ be a solution to (E2). Assume ...