Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property...

53
Diffusion equations: from Euclidean space to Graphs MATH 697 AM:ST November 7th, 2017

Transcript of Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property...

Page 1: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Diffusion equations:from Euclidean space to Graphs

MATH 697 AM:ST

November 7th, 2017

Page 2: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Warm upConvolutions and differentiability

Consider the following:

A function K : Rd 7→ R which is infinitely differentiable, with

K(y) ≥ 0 ∀ y, K(y) = 0 if |y| ≥ 1,

∫RdK(y) dy = 1,

and which is spherically symmetric, that is

K(y) = K(y′) if |y| = |y′|.

For δ > 0, define

Kδ(y) = δ−dK(δ−1y).

Page 3: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Warm upConvolutions and differentiability

Consider a domain D ⊂ Rd, and f : D 7→ R an integrablefunction, ∫

D|f(x)| dx <∞

For δ > 0 define the domain

Dδ = {x | d(x, ∂D) > δ}

Page 4: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Warm upConvolutions and differentiability

Lemma

For x ∈ Dδ, define

fδ(x) = (f ∗Kδ)(x)

Then, fδ is infinitely differentiable in Dδ, and

∂αfδ(x) = (f ∗ ∂αKδ)(x)

Page 5: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Minima of FunctionalsRECAP

Hilbert’s 19th Problem (1900)

Show that the minima for the functional

J (f) =

∫DL(∇f, f, x) dx

are always analytic functions of x (under certain specificconditions we will not specify).

Page 6: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Minima of FunctionalsRECAP

Hilbert’s 19th Problem (1900)

1. Schauder (1930’s): If there exists a C1,α minimizer, thenthis minimizer must be analytic.

2. De Giorgi (1957), Nash (1958) showed that there were C1,α

minimizers. Their method relied greatly on new regularityestimates for partial differential equations.

Page 7: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Minima of FunctionalsRECAP

The Dirichlet Energy

Given a bounded domain D ⊂ Rd with smooth boundary, and acontinuous function

φ : ∂D 7→ R

ProblemFind a function f : D 7→ R equal to φ on ∂D, minimizing

J (f) =1

2

∫D|∇f |2 dx

Page 8: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Minima of FunctionalsRECAP

The Dirichlet Energy

Theorem

If φ is differentiable, there is a unique continuous function

f : D 7→ R, f = φ on ∂D,

which is infinitely differentiable in the interior of D, and

∆f = 0.

Page 9: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Mean Value PropertyRECAPThe MVP

Theorem

Let f : D 7→ R be a continouous function which is twicedifferentiable and harmonic in its interior.

Then, if x0 is an interior point of D and r is strictly smallerthan the distance from x0 to ∂D, we have that

(Average of f over ∂Br(x0)) = f(x0).

Page 10: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Harmonic Functions and the MVPHigher differentiability of harmonic functions

Suppose we are given a continuous function f : D 7→ R which istwice differentiable and harmonic in D.

Lemma

If x ∈ D is a distance larger than δ from ∂D, then

f(x) = (f ∗Kδ)(x)

Page 11: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Harmonic Functions and the MVPHigher differentiability of harmonic functions

Theorem

A continuous function f : D 7→ R which is twice differentiableand harmonic in D is always infinitely differentiable.

Furthermore, for any index α there is a constant C(d, α) suchthat in Dδ we have the estimate

|∂αf(x)| ≤ C(d, α)δ−|α|‖f‖L1(D).

Page 12: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Harmonic Functions and the MVPStability properties of Harmonic Functions

An important consequence of the higher differentiability andthe estimate above, is the following stability property forharmonic functions (hinted at last time).

If a sequence of harmonic functions converge (locally) uniformlyto a function, then this function is itself harmonic and thederivatives also converge (locally) uniformly.

Page 13: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Fractional Laplacian

Last time, we defined the fractional Laplacian of orderα ∈ [0, 2], by the formula

Lαf(x) := C(d, α)

∫Rd

f(y)− f(x)

|y − x|d+αdy

the constant C(d, α) is explicitly defined but we will notconcern ourselves with its exact form.

We observed that (−L1) = (−∆)12 , and that in general

−Lα = (−∆)α2

Page 14: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Fractional Laplacian

Last time, we defined the fractional Laplacian of orderα ∈ [0, 2], by the formula

Lαf(x) := C(d, α)

∫Rd

f(y)− f(x)

|y − x|d+αdy

the constant C(d, α) is explicitly defined but we will notconcern ourselves with its exact form.

We observed that (−L1) = (−∆)12 , and that in general

−Lα = (−∆)α2

Page 15: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Fractional Laplacian

The Nonlocal Dirichlet Energy: given f : Rd 7→ R

Jα(f) =1

2C(d, α)

∫Rd

∫Rd

|f(x)− f(y)|2

|x− y|d+αdxdy

Minimization of Jα leads to the equation Lαf = 0, just as forthe case of the Laplacian and the L2 norm of |∇f |.

Page 16: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

GraphsVertices, Edges, and weights

A (finite) weighted graph G is most typically, described as

G = (V,E,w)

V = a (finite) set, the set of vertices

E = a subset of V × V, the set of edges

w : E 7→ R the weight function

It is said that x ∼ y if (x, y) ∈ E,

Page 17: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

GraphsVertices, Edges, and weights

Some simplificationIt is usually preferable to think simply of the graph as being aset G (forget about distinguishing V ), coupled with a(non-negative) weight function w,

w : G×G 7→ R

with w(x, y) denoted sometimes as wxy for any x, y ∈ G.

One can think as E being the set of (x, y)’s such that wxy > 0.

Page 18: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

GraphsExamples

1. Subsets of Rp.

Let V = {x1, . . . , xN} be a subset of Rp, let

w(xi, xj) = h(xi − xj)

A popular choice is for h to be spherically symmetric, e.g.

1

Zσe−|xi−xj |

2

σ , χBσ(0)(xi − xj)

where σ > 0 is a tuning parameter.

Page 19: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

GraphsExample

2. Subsets of a metric space.

Let V = {x1, . . . , xN} be a subset of (X, ρ), a metric space.Then, define

w(xi, xj) = h

(ρ(xi, xj)

2

σ2

)Popular selections for h are

h(t) =√t

h(t) = e−t

h(t) = χ[0,1](t)

Page 20: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

GraphsSetup

Given a vertex x, it’s degree is the number

d(x) =∑y∈V

wxy

The normalized weight function is then defined by

K(x, y) :=1

d(x)wxy

so that for fixed x, K(x, ·) is a probability distribution over G,∑y∈V

K(x, y) = 1.

Page 21: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem on graphs andit’s use in Semi-supervised learning

MATH 697 AM:ST

November 9th, 2017

Page 22: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Warm up

A path in a graph G is a sequence of points xi (i = 1, . . . ,m)such that

xi ∼ xi+1 for i = 1, 2, . . . ,m− 1

Two points x, y ∈ G are said to be connected if there exists apath with x1 = x and xm = y.

A subset D of G is said to be connected if given two points inD then they can be connected by a path exclusively made outof points in D.

Page 23: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Warm up

We consider the Laplacian of a function f : G 7→ R

∆f(x) =∑y∈G

wxy(f(y)− f(x)).

Then, we observe the following:

f(x0) ≥ f(x) ∀ x ∈ G⇒ ∆f(x0) ≤ 0.

Moreover, if f(x0) > f(x1) for at least one x1 ∼ x0, then

∆f(x0) < 0.

Page 24: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Graph LaplaciansRECAP

We define various operators all with equal claims to be called aLaplacian.

First, the Combinatorial Laplacian (or just the Laplacian)

∆f(x) =∑y∈G

(f(y)− f(x))wxy

Page 25: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Graph LaplaciansRECAP

We define various operators all with equal claims to be called aLaplacian.

Secondly, we have the Random Walk Laplacian

∆f(x) =∑y∈G

(f(y)− f(x))K(x, y)

Page 26: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Graph LaplaciansRECAP

We define various operators all with equal claims to be called aLaplacian.

Last but not least, we have the Symmetric Laplacian

∆f(x) =1√d(x)

∑y∈G

wxy

(g(y)√d(x)

− g(x)√d(x)

)

Page 27: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Graph LaplaciansRECAP

The Combinatorial Laplacian (or just the Laplacian)

∆f(x) =∑y∈G

(f(y)− f(x))wxy

The Random Walk Laplacian

∆f(x) =∑y∈G

(f(y)− f(x))K(x, y)

The Symmetric Laplacian

∆f(x) =1√d(x)

∑y∈G

wxy

(g(y)√d(x)

− g(x)√d(x)

)

Page 28: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The (strong) Maximum Principle

Consider a function f : G 7→ R such that

∆f(x) =∑y∈G

wxy(f(y)− f(x)) = 0 ∀ x ∈ G.

Let M = maxx∈G

f(x), and let x0 ∈ G be such that

f(x0) = M

Claim:

If x is connected to x0 then we have f(x0) = M

Page 29: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The (strong) Maximum Principle

Theorem

Let G be a connected graph, then the only functions f : G 7→ Rwhich are harmonic in G are the constants.

In other words: for a connected graph, the kernel of the linearmap ∆ is one dimensional and given by the constant function.

To have any interesting harmonic functions, we must ask theybe harmonic only in some portion of G.

Page 30: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Comparison Principle

Theorem

Let G be a graph, and D ⊂ G a connected subset of the graph.Then, if f1, f2 : G 7→ R are such that

∆f1 = ∆f2 = 0 in D, and f1 ≤ f2 in G \D

Then, we have

f1 ≤ f2 in D

Page 31: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Measuring Smoothness

Let f : G 7→ R, and define the norms

‖f‖L2 :=

(∑x∈G|f(x)|2

) 12

‖f‖Hw :=

∑x∈G|f(x)|2 +

∑x,y∈G

|f(x)− f(y)|2ωxy

12

as well as

‖f‖Hw :=

∑x,y∈G

|f(x)− f(y)|2ωxy

12

Page 32: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Measuring Smoothness

While ‖f‖L2 measures simply the average “size” of f , ‖f‖Hwmeasures the average size of its oscillations.

Observe that if ‖f‖Hw = 0, then f must be constant in eachconnected component of the graph.

Thus, the larger ‖f‖Hw is with respect to ‖f‖L2 , the more thefunction f is oscillating with respect to its size.

Page 33: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Laplacian is a symmetric operator

We introduce an inner product for functions in G,

〈f, g〉 =∑x∈G

f(x)g(x)

Henceforth assume that G has symmetric weights, that is

wxy = wyx

Page 34: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Laplacian is a symmetric operator

Let ∆ be the combinatorial Laplacian, and observe that

∑x∈G

∆f(x)g(x) =∑x∈G

∑y∈G

(f(y)− f(x))wxy

g(x)

Page 35: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Laplacian is a symmetric operator

Then, expanding this sum, we have

〈∆f, g〉 =∑x,y∈G

f(y)g(x)wxy −∑x∈G

f(x)g(x)d(x)

where d(x) =∑y∈G

wxy. Since wxy = wyx, it follows that

〈∆f, g〉 = 〈f,∆g〉

Therefore, ∆ is symmetric with respect to this inner product.

Page 36: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Laplacian is a symmetric operatorPositivity

One further expression, which is reminiscent of the Greenidentity, is the following (to be proved later)

−〈∆f, g〉 = −12

∑x,y∈G

wxy(f(y)− f(x))(g(y)− g(x))

It follows that for any f : G 7→ R,

−〈∆f, f〉 ≥ 0

Page 37: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Laplacian is a symmetric operatorPositivity

Furthermore, if G is connected, then

−〈∆f, f〉 = 0

if and only if f is equal to a constant.

With this knowledge in hand, we obtain a good picture of theeigenfunction decomposition associated to ∆.

Page 38: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Eigenfunctions of ∆

There is a family of functions

{φn}Nn=0, φn : G 7→ R

as well as numbers 0 = λ0 ≤ λ1 ≤ λ2 ≤ . . . ≤ λN , such that

−∆φn(x) = λnφn(x) ∀ x ∈ G.

Moreover, the φn are orthonormal,

〈φn, φm〉 = δnm.

Page 39: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

Eigenfunctions of ∆Decrasing Smoothness of φn

Observe that

‖φn‖1Hw =∑x,y∈G

wxy(φn(y)− φn(x))2

= −2〈∆φn, φn〉

Therefore,

‖φn‖1Hw = 2λn‖φn‖2L2

As the λn is increasing with n, we see that the φn becomeincreasingly more oscillatory as n gets larger and larger.

Page 40: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Heat Equation

We consider the heat equation in all of G, with some initialdatum u0 : G 7→ R,

u = ∆u in G× (0,∞),

u = u0 at t = 0.

Page 41: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Heat Equation

By the orthogonality of the φn, it follows that u0 can beexpressed as

u0 =

N∑n=0

αnφn where αn = 〈φn, u0〉.

Therefore, for t > 0, the solution to the heat equation is

u(t) =

N∑n=0

αne−tλnφn

Page 42: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Heat Equation

By the orthogonality of the φn, it follows that u0 can beexpressed as

u0 =

N∑n=0

αnφn where αn = 〈φn, u0〉.

Therefore, for t > 0, the solution to the heat equation is

u(t) =

N∑n=0

e−tλn〈φn, u0〉φn

Page 43: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Heat Equation

By the orthogonality of the φn, it follows that u0 can beexpressed as

u0 =

N∑n=0

αnφn where αn = 〈φn, u0〉.

Therefore, for t > 0, the solution to the heat equation is

u(x, t) =

N∑n=0

∑y∈G

e−tλnφn(y)u0(y)φn(x)

Page 44: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Heat Equation

This leads to an analogue of the heat kernel H(t, x, y), namely,a function such that

u(x, t) =∑y∈G

H(t, x, y)u0(y)

This H(t, x, y) is given via the eigenfunction decomposition

H(t, x, y) =

N∑n=0

e−tλnφn(x)φn(y)

Page 45: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

Fix some subset D ⊂ G, and suppose we are given a function

g : G \D 7→ R

Then, we aim to find f : G 7→ R, such that

f = g in G \D,

and with f minimizing the discrete Dirichlet energy

J(f) :=1

2

∑x,y∈G

wxy(f(x)− f(y))2

Page 46: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

Let fs = f + sφ, then

d

dsJ(fs) =

d

ds

1

2

∑x,y∈G

wxy(fs(x)− fs(y)2

=∑x,y∈G

wxy(fs(x)− fs(y)(φ(x)− φ(y))

At s = 0, this results in∑x,y∈G

wxy(f(x)− f(y)(φ(x)− φ(y))

Page 47: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

∑x,y∈G

wxy(f(x)− f(y)(φ(x)− φ(y))

=

∑x,y∈G

wxy(f(x)− f(y))φ(x)

− ∑x,y∈G

wxy(f(x)− f(y))φ(y)

Since wxy = wyx means that∑

x,y∈Gwxy(f(x)− f(y))φ(y) =

∑x,y∈G

wxy(f(y)− f(x))φ(x)

Page 48: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

∑x,y∈G

wxy(f(x)− f(y)(φ(x)− φ(y))

= 2∑x,y∈G

wxy(f(x)− f(y))φ(x)

= −2∑x∈G

φ(x)∑y∈G

wxy(f(y)− f(x))

= −2∑x∈G

φ(x)∆f(x)

Page 49: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

In conclusion,

d

ds |s=0J(fs) = −2

∑x∈G

φ(x)∆f(x)

In particular, ∑x∈G

φ(x)∆f(x) = 0

for any function φ : G 7→ R with φ(x) = 0 if x ∈ G \D.

Page 50: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

There is a unique minimizer f , and it is characterized by{Lf(x) = 0 if x ∈ D,f(x) = g(x) if x ∈ G \D.

Compare with the Dirichlet problem for the Laplacian

min

∫D|∇f(x)|2 dx, f = g on ∂D.

and the one for the fractional Laplacian (α ∈ (0, 2)),

min

∫R2d

(f(x)− f(y)|2|x− y|−d−2α dx, f = g in Rd \D.

Page 51: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

There is a unique minimizer f , and it is characterized by{Lf(x) = 0 if x ∈ D,f(x) = g(x) if x ∈ G \D.

Compare with the Dirichlet problem for the Laplacian

min

∫D|∇f(x)|2 dx, f = g on ∂D.

and the one for the fractional Laplacian (α ∈ (0, 2)),

min

∫R2d

(f(x)− f(y)|2|x− y|−d−2α dx, f = g in Rd \D.

Page 52: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

Thanks to the variational characterization of harmonicfunctions and the comparison theorem, we have the following:

Theorem

Let D ⊂ G be a connected subset of G. Then, giveng : G \D 7→ R there exists one, and exactly one, function fwhich solves {

Lf(x) = 0 if x ∈ D,f(x) = g(x) if x ∈ G \D.

Page 53: Di usion equations: from Euclidean space to Graphsnguillen/697/697Week10.pdf · Mean Value Property RECAP The MVP Theorem Let f: D7!R be a continouous function which is twice di erentiable

The Dirichlet Problem Revisited

The solution to {Lf(x) = 0 if x ∈ D,f(x) = g(x) if x ∈ G \D.

Is given by

f(x) =∑

y∈G\D

g(y)P (x, y)

for a certain kernel P (x, y) computable from the wxy.