# 2D Laplacian

1. Jul 17, 2005

### MalleusScientiarum

Does anybody out there know what the Laplacian is for two dimensions?

2. Jul 17, 2005

### dextercioby

The Laplacian is the trace of the Hessian operator and is undoubtedly given by

$$\Delta =g^{ij}\nabla_{i}\nabla_{j}$$

,where $i,j=1,2$. Incidentally, for a manifold on which Christoffel's symbols are 0, it reduces to the standard form

$$\Delta=g^{ij}\partial_{i}\partial_{j}$$

Daniel.

3. Jul 17, 2005

### MalleusScientiarum

That is probably one of the most complicated answers to a simple question I've ever seen.

4. Jul 17, 2005

### HallsofIvy

Staff Emeritus
It depends upon the coordinate system. Dextercioby gave the general formula for any coordinate system, thereby making it, as MalleusScientarum said, "one of the most complicated answers to a simple question I've ever seen"!

In Cartesian coordinates it is $$\frac{\partial^2}{\partial x^2}+ \frac{\partial^2}{\partial y^2}$$.

By the way, the Laplacian is the simplest differential operator that is "invarient under rigid motions".

Last edited: Jul 17, 2005
5. Jul 17, 2005

### mathwonk

lets see now, isn't the laplacian the differential operator that vanishes on harmonic functions? if so, wouldn't that say it is the one that governs steady state heat flow? and characterizes the real and imaginary parts of holomorphic functions?

harmonic forms on the other hand are very sueful in discussing cohomology. the de rham theorem says that every cohomology class on a compact oriented? diff manifold can be represented by a smooth differential form, but there is no uniqueness.

by imposing a metric and hence defining a laplacian, one can define harmonic foirms and thewn there is a unique harminic representative for each cohomology class.

e.g. on an elliptic curve, formed as a quotient of the complex numbers by a lattice, one has the natural harmonic basis dz and "dzbar".

Last edited: Jul 17, 2005
6. Jul 17, 2005

### fourier jr

yes that stuff about harmonic & holomorphic functions sounds right. i don't know anything about heat flow though.

7. Jul 17, 2005

### quetzalcoatl9

yes, the heat-diffusion equation is:

$$T_p = k\Delta T$$

where in cartesian coordinates $T_p$ is the change in temperature at the point $p$

$$T(t,x,y,z)$$ and $$p: (x,y,z)$$

$$T_p = k(\frac{\partial^2 T}{\partial x^2} + \frac{\partial^2 T}{\partial y^2} + \frac{\partial ^2 T}{\partial z^2})$$

8. Jul 17, 2005

### MalleusScientiarum

Apologies, I guess I should specify for polar coordinates.

9. Jul 18, 2005

### inha

10. Jul 19, 2005

### MalleusScientiarum

That's ultimately what I decided to do, but it always makes me nervous when I do something like that without knowing what mathematical reasoning I could use to justify it. As for the original answer, how would one find the metric tensor for an arbitrary coordinate system? Examples would be greatly appreciated.