TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm...

103
The Dirichlet Problem and Feller Semigroups Wolfgang Arendt Ulm Workshop “Probability, Analysis and Geometry” University of Ulm — Moscow State University Ulm, September 2–6, 2013

Transcript of TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm...

Page 1: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem and Feller Semigroups

Wolfgang Arendt

Ulm

Workshop “Probability, Analysis and Geometry”University of Ulm — Moscow State University

Ulm, September 2–6, 2013

Page 2: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem

Let Ω⊂ Rd be open and bounded. Given g ∈ C(∂Ω) the DirichletProblem is

(Pg )

u ∈ C2(Ω)∩C(Ω)

∆u = 0u|∂Ω = g

Maximum Principle ⇒ there exists at most one solution.

DefinitionΩ is called Dirichlet regular if for all g ∈ C(∂Ω) there is a solution uof (Pg )

Page 3: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem

Let Ω⊂ Rd be open and bounded. Given g ∈ C(∂Ω) the DirichletProblem is

(Pg )

u ∈ C2(Ω)∩C(Ω)

∆u = 0u|∂Ω = g

Maximum Principle ⇒ there exists at most one solution.

DefinitionΩ is called Dirichlet regular if for all g ∈ C(∂Ω) there is a solution uof (Pg )

Page 4: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem

Let Ω⊂ Rd be open and bounded. Given g ∈ C(∂Ω) the DirichletProblem is

(Pg )

u ∈ C2(Ω)∩C(Ω)

∆u = 0u|∂Ω = g

Maximum Principle ⇒ there exists at most one solution.

DefinitionΩ is called Dirichlet regular if for all g ∈ C(∂Ω) there is a solution uof (Pg )

Page 5: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem

Let Ω⊂ Rd be open and bounded. Given g ∈ C(∂Ω) the DirichletProblem is

(Pg )

u ∈ C2(Ω)∩C(Ω)

∆u = 0u|∂Ω = g

Maximum Principle ⇒ there exists at most one solution.

DefinitionΩ is called Dirichlet regular if for all g ∈ C(∂Ω) there is a solution uof (Pg )

Page 6: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weakly harmonic functionsMotivationLet u ∈ C2(Ω), ϕ ∈ D(Ω). Then∫

Ω∆uϕ=

∫Ωu∆ϕ

Let f ∈ L1(Ω)

Define∆f : D(Ω)→ R by

〈∆f ,ϕ〉 :=

∫Ωf ∆ϕ (ϕ ∈ D(Ω))

Thus ∆f ∈ D(Ω)′ — the dual space of D(Ω).

Theorem (Weyl)∆f = 0 ⇒ f ∈ C∞(Ω).

Page 7: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weakly harmonic functionsMotivationLet u ∈ C2(Ω), ϕ ∈ D(Ω). Then∫

Ω∆uϕ=

∫Ωu∆ϕ

Let f ∈ L1(Ω)

Define∆f : D(Ω)→ R by

〈∆f ,ϕ〉 :=

∫Ωf ∆ϕ (ϕ ∈ D(Ω))

Thus ∆f ∈ D(Ω)′ — the dual space of D(Ω).

Theorem (Weyl)∆f = 0 ⇒ f ∈ C∞(Ω).

Page 8: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weakly harmonic functionsMotivationLet u ∈ C2(Ω), ϕ ∈ D(Ω). Then∫

Ω∆uϕ=

∫Ωu∆ϕ

Let f ∈ L1(Ω)

Define∆f : D(Ω)→ R by

〈∆f ,ϕ〉 :=

∫Ωf ∆ϕ (ϕ ∈ D(Ω))

Thus ∆f ∈ D(Ω)′ — the dual space of D(Ω).

Theorem (Weyl)∆f = 0 ⇒ f ∈ C∞(Ω).

Page 9: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Sobolev Space H1(Ω)

H1(Ω) :=u ∈ L2(Ω), ∃Dju ∈ L2(Ω) :

−∫

Ωu ∂v∂xj

=

∫Ω

(Dju)v ∀v ∈ D(Ω), j = 1, . . . ,d

D(Ω) := C∞c (Ω) (test functions)

Consistencyu ∈ C1(Ω)∩L2(Ω), ∂u

∂xj∈ L2(Ω) ⇒ u ∈ H1(Ω) & Dju = ∂u

∂xj

Page 10: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Sobolev Space H1(Ω)

H1(Ω) :=u ∈ L2(Ω), ∃Dju ∈ L2(Ω) :

−∫

Ωu ∂v∂xj

=

∫Ω

(Dju)v ∀v ∈ D(Ω), j = 1, . . . ,d

D(Ω) := C∞c (Ω) (test functions)

Consistencyu ∈ C1(Ω)∩L2(Ω), ∂u

∂xj∈ L2(Ω) ⇒ u ∈ H1(Ω) & Dju = ∂u

∂xj

Page 11: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Sobolev Space H1(Ω)

H1(Ω) is a Hilbert space for the scalar product

(u |v)H1 :=

∫Ωuv +

∫Ω∇u.∇v ,

where

∇u := (D1u, . . . ,Ddu)>

∇u.∇v :=d∑

j=1DjuDjv .

Page 12: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Poincaré Inequality

H10 (Ω) :=D(Ω)

H1(Ω)

λ1

∫Ω|u|2 ≤

∫Ω|∇u|2 (u ∈ H1

0 (Ω))

Consequence

(u |v)0 :=

∫Ω∇u.∇v

is an equivalent scalar product on H10 (Ω).

Page 13: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Poincaré Inequality

H10 (Ω) :=D(Ω)

H1(Ω)

λ1

∫Ω|u|2 ≤

∫Ω|∇u|2 (u ∈ H1

0 (Ω))

Consequence

(u |v)0 :=

∫Ω∇u.∇v

is an equivalent scalar product on H10 (Ω).

Page 14: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Poincaré Inequality

H10 (Ω) :=D(Ω)

H1(Ω)

λ1

∫Ω|u|2 ≤

∫Ω|∇u|2 (u ∈ H1

0 (Ω))

Consequence

(u |v)0 :=

∫Ω∇u.∇v

is an equivalent scalar product on H10 (Ω).

Page 15: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Riesz-Fréchet

Let V be a Hilbert space and L ∈ V ′.

Then there exists exactly one v ∈ V such that

(v |ϕ)V = Lϕ (ϕ ∈ V ).

Moreover12‖v‖

2V −Lv = min

w∈V(12‖w‖

2V −Lw)

and v is the unique minimum.

Page 16: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Riesz-Fréchet

Let V be a Hilbert space and L ∈ V ′.Then there exists exactly one v ∈ V such that

(v |ϕ)V = Lϕ (ϕ ∈ V ).

Moreover12‖v‖

2V −Lv = min

w∈V(12‖w‖

2V −Lw)

and v is the unique minimum.

Page 17: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Riesz-Fréchet

Let V be a Hilbert space and L ∈ V ′.Then there exists exactly one v ∈ V such that

(v |ϕ)V = Lϕ (ϕ ∈ V ).

Moreover12‖v‖

2V −Lv = min

w∈V(12‖w‖

2V −Lw)

and v is the unique minimum.

Page 18: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Let g ∈ C(∂Ω).

DefinitionG ∈ C(Ω) is an H−1-extension of g , if there exists a constant c ≥ 0such that

|∫

ΩG∆ϕ| ≤ c‖ϕ‖H1 (ϕ ∈ D(Ω)),

i.e. ∆G ∈ H−1(Ω) := H10 (Ω)′

ConsequenceThere exists a unique v ∈ H1

0 (Ω) such that∫Ω∇v .∇ϕ=

∫ΩG∆ϕ (ϕ ∈ D(Ω))

Page 19: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Let g ∈ C(∂Ω).

DefinitionG ∈ C(Ω) is an H−1-extension of g , if there exists a constant c ≥ 0such that

|∫

ΩG∆ϕ| ≤ c‖ϕ‖H1 (ϕ ∈ D(Ω)),

i.e. ∆G ∈ H−1(Ω) := H10 (Ω)′

ConsequenceThere exists a unique v ∈ H1

0 (Ω) such that∫Ω∇v .∇ϕ=

∫ΩG∆ϕ (ϕ ∈ D(Ω))

Page 20: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Thus

−∫

Ωv∆ϕ=

d∑j=1

∫ΩDjvDjϕ

=

∫Ω∇v .∇ϕ

=

∫ΩG∆ϕ (ϕ ∈ D(Ω)).

I.e.−∆v = ∆G in D(Ω)′.

Thus G + v is harmonic.Since v ∈ H1

0 (Ω) and G |∂Ω = g , we may consider G + v as a weaksolution.

Page 21: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Thus

−∫

Ωv∆ϕ=

d∑j=1

∫ΩDjvDjϕ

=

∫Ω∇v .∇ϕ

=

∫ΩG∆ϕ (ϕ ∈ D(Ω)).

I.e.−∆v = ∆G in D(Ω)′.

Thus G + v is harmonic.Since v ∈ H1

0 (Ω) and G |∂Ω = g , we may consider G + v as a weaksolution.

Page 22: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Thus

−∫

Ωv∆ϕ=

d∑j=1

∫ΩDjvDjϕ

=

∫Ω∇v .∇ϕ

=

∫ΩG∆ϕ (ϕ ∈ D(Ω)).

I.e.−∆v = ∆G in D(Ω)′.

Thus G + v is harmonic.Since v ∈ H1

0 (Ω) and G |∂Ω = g , we may consider G + v as a weaksolution.

Page 23: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Thus

−∫

Ωv∆ϕ=

d∑j=1

∫ΩDjvDjϕ

=

∫Ω∇v .∇ϕ

=

∫ΩG∆ϕ (ϕ ∈ D(Ω)).

I.e.−∆v = ∆G in D(Ω)′.

Thus G + v is harmonic.Since v ∈ H1

0 (Ω) and G |∂Ω = g , we may consider G + v as a weaksolution.

Page 24: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Thus

−∫

Ωv∆ϕ=

d∑j=1

∫ΩDjvDjϕ

=

∫Ω∇v .∇ϕ

=

∫ΩG∆ϕ (ϕ ∈ D(Ω)).

I.e.−∆v = ∆G in D(Ω)′.

Thus G + v is harmonic.

Since v ∈ H10 (Ω) and G |∂Ω = g , we may consider G + v as a weak

solution.

Page 25: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Thus

−∫

Ωv∆ϕ=

d∑j=1

∫ΩDjvDjϕ

=

∫Ω∇v .∇ϕ

=

∫ΩG∆ϕ (ϕ ∈ D(Ω)).

I.e.−∆v = ∆G in D(Ω)′.

Thus G + v is harmonic.Since v ∈ H1

0 (Ω) and G |∂Ω = g , we may consider G + v as a weaksolution.

Page 26: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Definitionug := v +G .

Theorem (W. A., D. Daners; Bull LMS 2008)

1. ug does not depend on the choice of the H−1-extension of g.2. ug ∈ C∞(Ω), ∆ug = 03. min

∂Ωg ≤ ug (x)≤max

∂Ωg (x ∈ Ω)

4. If (Pg ) has a solution u, then u = ug .

Page 27: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Definitionug := v +G .

Theorem (W. A., D. Daners; Bull LMS 2008)

1. ug does not depend on the choice of the H−1-extension of g.

2. ug ∈ C∞(Ω), ∆ug = 03. min

∂Ωg ≤ ug (x)≤max

∂Ωg (x ∈ Ω)

4. If (Pg ) has a solution u, then u = ug .

Page 28: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Definitionug := v +G .

Theorem (W. A., D. Daners; Bull LMS 2008)

1. ug does not depend on the choice of the H−1-extension of g.2. ug ∈ C∞(Ω), ∆ug = 0

3. min∂Ω

g ≤ ug (x)≤max∂Ω

g (x ∈ Ω)

4. If (Pg ) has a solution u, then u = ug .

Page 29: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Definitionug := v +G .

Theorem (W. A., D. Daners; Bull LMS 2008)

1. ug does not depend on the choice of the H−1-extension of g.2. ug ∈ C∞(Ω), ∆ug = 03. min

∂Ωg ≤ ug (x)≤max

∂Ωg (x ∈ Ω)

4. If (Pg ) has a solution u, then u = ug .

Page 30: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Problem via Riesz-Fréchet

Definitionug := v +G .

Theorem (W. A., D. Daners; Bull LMS 2008)

1. ug does not depend on the choice of the H−1-extension of g.2. ug ∈ C∞(Ω), ∆ug = 03. min

∂Ωg ≤ ug (x)≤max

∂Ωg (x ∈ Ω)

4. If (Pg ) has a solution u, then u = ug .

Page 31: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weak solutions

Open ProblemDoes every g ∈ C(∂Ω) have an H−1-extension?

In any caseThe space F of all functions, which have an H−1-extension, is densein C(∂Ω) and

T : F → C(Ω)∩L∞(Ω), g 7→ ug

is linear and contractive.

Page 32: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weak solutions

Open ProblemDoes every g ∈ C(∂Ω) have an H−1-extension?

In any caseThe space F of all functions, which have an H−1-extension, is densein C(∂Ω) and

T : F → C(Ω)∩L∞(Ω), g 7→ ug

is linear and contractive.

Page 33: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weak solutions

Thus T has a continuous extension T on C(∂Ω).

Definitionug := T gThen ug ∈ C∞(Ω), ∆ug = 0,

min∂Ω

g ≤ ug (x)≤max∂Ω

g (x ∈ Ω).

Definitionug is called the weak solution of (Pg ).

Page 34: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weak solutions

Thus T has a continuous extension T on C(∂Ω).

Definitionug := T g

Then ug ∈ C∞(Ω), ∆ug = 0,

min∂Ω

g ≤ ug (x)≤max∂Ω

g (x ∈ Ω).

Definitionug is called the weak solution of (Pg ).

Page 35: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weak solutions

Thus T has a continuous extension T on C(∂Ω).

Definitionug := T gThen ug ∈ C∞(Ω), ∆ug = 0,

min∂Ω

g ≤ ug (x)≤max∂Ω

g (x ∈ Ω).

Definitionug is called the weak solution of (Pg ).

Page 36: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Weak solutions

Thus T has a continuous extension T on C(∂Ω).

Definitionug := T gThen ug ∈ C∞(Ω), ∆ug = 0,

min∂Ω

g ≤ ug (x)≤max∂Ω

g (x ∈ Ω).

Definitionug is called the weak solution of (Pg ).

Page 37: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Perron solution

Let g ∈ C(∂Ω).w ∈ C(Ω) is called a subsolution of (Pg ) if

−∫

Ωw∆ϕ≤ 0 for all 0≤ ϕ ∈ D(Ω)

and limsupx→z

w(x)≤ g(z) for all z ∈ ∂Ω.

Theoremug (x) = supw(x), w is subsolution for all x ∈ Ω.

Page 38: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Perron solution

Let g ∈ C(∂Ω).w ∈ C(Ω) is called a subsolution of (Pg ) if

−∫

Ωw∆ϕ≤ 0 for all 0≤ ϕ ∈ D(Ω)

and limsupx→z

w(x)≤ g(z) for all z ∈ ∂Ω.

Theoremug (x) = supw(x), w is subsolution for all x ∈ Ω.

Page 39: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Variational Solution

Let g ∈ C(∂Ω) with H−1-extension G .Then there is exactly one vg ∈ H1

0 (Ω) such that −∆vg = ∆G .Set ug := vg +G .

Furthermore for vg ∈ H10 (Ω) the expression

12

∫Ω|∇v |2−〈∆G ,v〉 (v ∈ H1

0 (Ω))

becomes minimal.Let v = u−G .Thus ug ∈ H1

0 (Ω) is the unique minimizer of12

∫Ω|∇(u−G)|2−〈∆G ,u−G〉 (u ∈ H1(Ω))

u−G ∈ H10 (Ω).

Page 40: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Variational Solution

Let g ∈ C(∂Ω) with H−1-extension G .Then there is exactly one vg ∈ H1

0 (Ω) such that −∆vg = ∆G .Set ug := vg +G .Furthermore for vg ∈ H1

0 (Ω) the expression

12

∫Ω|∇v |2−〈∆G ,v〉 (v ∈ H1

0 (Ω))

becomes minimal.

Let v = u−G .Thus ug ∈ H1

0 (Ω) is the unique minimizer of12

∫Ω|∇(u−G)|2−〈∆G ,u−G〉 (u ∈ H1(Ω))

u−G ∈ H10 (Ω).

Page 41: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Variational Solution

Let g ∈ C(∂Ω) with H−1-extension G .Then there is exactly one vg ∈ H1

0 (Ω) such that −∆vg = ∆G .Set ug := vg +G .Furthermore for vg ∈ H1

0 (Ω) the expression

12

∫Ω|∇v |2−〈∆G ,v〉 (v ∈ H1

0 (Ω))

becomes minimal.Let v = u−G .Thus ug ∈ H1

0 (Ω) is the unique minimizer of12

∫Ω|∇(u−G)|2−〈∆G ,u−G〉 (u ∈ H1(Ω))

u−G ∈ H10 (Ω).

Page 42: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Variational Solution

Now assume that G ∈ H1(Ω). Then some terms cancel:

12

∫Ω|∇(u−G)|2−〈∆G ,u−G〉=

12

∫Ω|∇u|2−

∫Ω∇u.∇G +

12

∫Ω|∇G |2

−∫

Ω|∇G |2 +

∫Ω∇G .∇u

=12

∫Ω|∇u|2− 1

2

∫Ω|∇G |2

Thus we obtain the Dirichlet principle:

TheoremAssume that g ∈ C(∂Ω) has an extension G ∈ H1(Ω)∩C(Ω). Then

min∫

Ω|∇u|2, u ∈ H1(Ω), u−G ∈ H1

0 (Ω)

exists and is attained exactly for ug .

Page 43: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Variational Solution

Now assume that G ∈ H1(Ω). Then some terms cancel:

12

∫Ω|∇(u−G)|2−〈∆G ,u−G〉=

12

∫Ω|∇u|2−

∫Ω∇u.∇G +

12

∫Ω|∇G |2

−∫

Ω|∇G |2 +

∫Ω∇G .∇u

=12

∫Ω|∇u|2− 1

2

∫Ω|∇G |2

Thus we obtain the Dirichlet principle:

TheoremAssume that g ∈ C(∂Ω) has an extension G ∈ H1(Ω)∩C(Ω). Then

min∫

Ω|∇u|2, u ∈ H1(Ω), u−G ∈ H1

0 (Ω)

exists and is attained exactly for ug .

Page 44: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Variational Solution

Now assume that G ∈ H1(Ω). Then some terms cancel:

12

∫Ω|∇(u−G)|2−〈∆G ,u−G〉=

12

∫Ω|∇u|2−

∫Ω∇u.∇G +

12

∫Ω|∇G |2

−∫

Ω|∇G |2 +

∫Ω∇G .∇u

=12

∫Ω|∇u|2− 1

2

∫Ω|∇G |2

Thus we obtain the Dirichlet principle:

TheoremAssume that g ∈ C(∂Ω) has an extension G ∈ H1(Ω)∩C(Ω). Then

min∫

Ω|∇u|2, u ∈ H1(Ω), u−G ∈ H1

0 (Ω)

exists and is attained exactly for ug .

Page 45: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

When does the solution have finite energy?

Assume that Ω is Dirichlet regular.

TheoremLet g ∈ C(∂Ω). Equivalent are:

1.∫

Ω|∇ug |2 <∞

2. g has an extension G ∈ C(Ω)∩H1(Ω)

Page 46: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

When does the solution have finite energy?

Assume that Ω is Dirichlet regular.

TheoremLet g ∈ C(∂Ω). Equivalent are:

1.∫

Ω|∇ug |2 <∞

2. g has an extension G ∈ C(Ω)∩H1(Ω)

Page 47: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

When does the solution have finite energy?

Assume that Ω is Dirichlet regular.

TheoremLet g ∈ C(∂Ω). Equivalent are:

1.∫

Ω|∇ug |2 <∞

2. g has an extension G ∈ C(Ω)∩H1(Ω)

Page 48: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Hadamard’s example

Ω := x ∈ R2, |x |< 1g(eiθ) :=

∑∞n=1 2−n cos(22nθ)

Then g ∈ C(∂Ω) and ∫Ω|∇ug |2 =∞.

Even worse:g does not have any extension in C(Ω)∩H1(Ω).

Page 49: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Hadamard’s example

Ω := x ∈ R2, |x |< 1g(eiθ) :=

∑∞n=1 2−n cos(22nθ)

Then g ∈ C(∂Ω) and ∫Ω|∇ug |2 =∞.

Even worse:g does not have any extension in C(Ω)∩H1(Ω).

Page 50: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Hadamard’s example

Ω := x ∈ R2, |x |< 1g(eiθ) :=

∑∞n=1 2−n cos(22nθ)

Then g ∈ C(∂Ω) and ∫Ω|∇ug |2 =∞.

Even worse:g does not have any extension in C(Ω)∩H1(Ω).

Page 51: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity
Page 52: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Regular Points

Recall, for each g ∈ C(∂Ω) we have the weak solution ug : Ω→ Rof (Pg ).

Definitionz ∈ ∂Ω is called regular if for each g ∈ C(∂Ω)

limx→zx∈Ω

ug (x) = g(z).

Ω is (Dirichlet-)regular :⇔∀g ∈ C(∂Ω) : (Pg ) has a solution⇔ each z ∈ ∂Ω is regular

Page 53: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Regular Points

Recall, for each g ∈ C(∂Ω) we have the weak solution ug : Ω→ Rof (Pg ).

Definitionz ∈ ∂Ω is called regular if for each g ∈ C(∂Ω)

limx→zx∈Ω

ug (x) = g(z).

Ω is (Dirichlet-)regular :⇔∀g ∈ C(∂Ω) : (Pg ) has a solution⇔ each z ∈ ∂Ω is regular

Page 54: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Regular Points

Recall, for each g ∈ C(∂Ω) we have the weak solution ug : Ω→ Rof (Pg ).

Definitionz ∈ ∂Ω is called regular if for each g ∈ C(∂Ω)

limx→zx∈Ω

ug (x) = g(z).

Ω is (Dirichlet-)regular :⇔∀g ∈ C(∂Ω) : (Pg ) has a solution⇔ each z ∈ ∂Ω is regular

Page 55: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The weak solution via Brownian motion

Let Bt , t ≥ 0, denote the Brownian motion.Denote by Px the Wiener measure at x ∈ Rd .

Let τΩ := inft > 0, Bt 6∈ Ω be the first hitting time.Let g ∈ C(∂Ω). Then

ug (x) = Ex [g(BτΩ)] (x ∈ Ω).

Page 56: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The weak solution via Brownian motion

Let Bt , t ≥ 0, denote the Brownian motion.Denote by Px the Wiener measure at x ∈ Rd .Let τΩ := inft > 0, Bt 6∈ Ω be the first hitting time.

Let g ∈ C(∂Ω). Then

ug (x) = Ex [g(BτΩ)] (x ∈ Ω).

Page 57: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The weak solution via Brownian motion

Let Bt , t ≥ 0, denote the Brownian motion.Denote by Px the Wiener measure at x ∈ Rd .Let τΩ := inft > 0, Bt 6∈ Ω be the first hitting time.Let g ∈ C(∂Ω). Then

ug (x) = Ex [g(BτΩ)] (x ∈ Ω).

Page 58: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Probabilistic characterization of regular points

z ∈ ∂Ω is regular if and only if

Pz [∃t > 0, Bs ∈ Ω ∀s ∈ [0, t]] = 0.

Thus z ∈ Ω is regular if and only if the Brownian motion withstarting point z ∈ ∂Ω immediately leaves Ω.z ∈ ∂Ω is regular if for all r > 0

B(r ,z)\Ω is "large enough".

Page 59: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Probabilistic characterization of regular points

z ∈ ∂Ω is regular if and only if

Pz [∃t > 0, Bs ∈ Ω ∀s ∈ [0, t]] = 0.

Thus z ∈ Ω is regular if and only if the Brownian motion withstarting point z ∈ ∂Ω immediately leaves Ω.

z ∈ ∂Ω is regular if for all r > 0

B(r ,z)\Ω is "large enough".

Page 60: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Probabilistic characterization of regular points

z ∈ ∂Ω is regular if and only if

Pz [∃t > 0, Bs ∈ Ω ∀s ∈ [0, t]] = 0.

Thus z ∈ Ω is regular if and only if the Brownian motion withstarting point z ∈ ∂Ω immediately leaves Ω.z ∈ ∂Ω is regular if for all r > 0

B(r ,z)\Ω is "large enough".

Page 61: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Wiener criterion

Let A⊂ Rd .

Cap(A) := inf‖u‖2H1(Rd ), u ∈ H1(Rd ),

∃U open,A⊂ U : u ≥ 1 a.e. on U

Theorem (Wiener)A point z ∈ ∂Ω is regular if and only if

∞∑n=1

2nCap(B(z ,2−n)\Ω) =∞.

Page 62: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Wiener criterion

Let A⊂ Rd .

Cap(A) := inf‖u‖2H1(Rd ), u ∈ H1(Rd ),

∃U open,A⊂ U : u ≥ 1 a.e. on U

Theorem (Wiener)A point z ∈ ∂Ω is regular if and only if

∞∑n=1

2nCap(B(z ,2−n)\Ω) =∞.

Page 63: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Criteria for regularity

I Ω Lipschitz =⇒ Ω is regular.

I d = 2, Ω simply connected =⇒ Ω is regular.I d = 3, the Lebesgue cusp is not regular

Surprising∃g ∈ C(∂Ω), g has a real analytic extension at each z ∈ ∂Ω, but(Pg ) has no solution. (W.A., D. Daners: Discrete and ContinuousDynamical Systems, 2008)

Page 64: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Criteria for regularity

I Ω Lipschitz =⇒ Ω is regular.I d = 2, Ω simply connected =⇒ Ω is regular.

I d = 3, the Lebesgue cusp is not regular

Surprising∃g ∈ C(∂Ω), g has a real analytic extension at each z ∈ ∂Ω, but(Pg ) has no solution. (W.A., D. Daners: Discrete and ContinuousDynamical Systems, 2008)

Page 65: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Criteria for regularity

I Ω Lipschitz =⇒ Ω is regular.I d = 2, Ω simply connected =⇒ Ω is regular.I d = 3, the Lebesgue cusp is not regular

Surprising∃g ∈ C(∂Ω), g has a real analytic extension at each z ∈ ∂Ω, but(Pg ) has no solution. (W.A., D. Daners: Discrete and ContinuousDynamical Systems, 2008)

Page 66: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Criteria for regularity

I Ω Lipschitz =⇒ Ω is regular.I d = 2, Ω simply connected =⇒ Ω is regular.I d = 3, the Lebesgue cusp is not regular

Surprising∃g ∈ C(∂Ω), g has a real analytic extension at each z ∈ ∂Ω, but(Pg ) has no solution. (W.A., D. Daners: Discrete and ContinuousDynamical Systems, 2008)

Page 67: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity
Page 68: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Keld²s

M.V. Keld²s On the solvability and stability of the Dirichlet problem.Uspekhi Mat. Nauk 8 (1941) 144–171Amer. Math. Soc. Translations 51 (1966) 1–73.

Page 69: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Regularity is non-local

Consider Lebesgue’s cusp Ω with the crater at the north pole. Callthe cusp point z0 (the bottom of the crater). Then z0 is the onlysingular point on the boundary.

TheoremLet U be an arbitrarily small neighborhood of the south pole. Thenthere exists g ∈ C(∂Ω) such that g(z) = 1 for all z ∈ ∂Ω\U, but

limx→z0

ug (x)

does not exist.

Page 70: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Regularity is non-local

Consider Lebesgue’s cusp Ω with the crater at the north pole. Callthe cusp point z0 (the bottom of the crater). Then z0 is the onlysingular point on the boundary.

TheoremLet U be an arbitrarily small neighborhood of the south pole. Thenthere exists g ∈ C(∂Ω) such that g(z) = 1 for all z ∈ ∂Ω\U, but

limx→z0

ug (x)

does not exist.

Page 71: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity
Page 72: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Semigroups

Let X be a Banach space.

DefinitionA semigroup is a mapping T : (0,∞)→L (X ) such that

T (t + s) = T (t)T (s) and limt→0

T (t)x = x (x ∈ X ).

DefinitionThe generator A of T is defined by

D(A) :=x ∈ X : lim

t0

T (t)x − xt exists

Ax := lim

t0

T (t)x − xt .

Page 73: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Semigroups

Let X be a Banach space.

DefinitionA semigroup is a mapping T : (0,∞)→L (X ) such that

T (t + s) = T (t)T (s) and limt→0

T (t)x = x (x ∈ X ).

DefinitionThe generator A of T is defined by

D(A) :=x ∈ X : lim

t0

T (t)x − xt exists

Ax := lim

t0

T (t)x − xt .

Page 74: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Semigroups

Let X be a Banach space.

DefinitionA semigroup is a mapping T : (0,∞)→L (X ) such that

T (t + s) = T (t)T (s) and limt→0

T (t)x = x (x ∈ X ).

DefinitionThe generator A of T is defined by

D(A) :=x ∈ X : lim

t0

T (t)x − xt exists

Ax := lim

t0

T (t)x − xt .

Page 75: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Cauchy Problem

ConsequenceFor u0 ∈ D(A)

u := T (·)u0 ∈ C1(R+,X )

is the unique solution of u(t) = Au(t)

u(0) = u0.

Page 76: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Feller semigroups

Let Ω⊂ Rd be open and bounded.We consider the space

C0(Ω) := u ∈ C(Ω), u|∂Ω = 0

with norm ‖u‖∞ := supx∈Ω |u(x)|.

DefinitionA semigroup (T (t))t≥0 on C0(Ω) is called a Feller semigroup if1. f ≥ 0 ⇒ T (t)f ≥ 0, i.e. T (t)≥ 0.2. ‖T (t)‖ ≤ 1 (t ≥ 0)

Page 77: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Feller semigroups

Let Ω⊂ Rd be open and bounded.We consider the space

C0(Ω) := u ∈ C(Ω), u|∂Ω = 0

with norm ‖u‖∞ := supx∈Ω |u(x)|.

DefinitionA semigroup (T (t))t≥0 on C0(Ω) is called a Feller semigroup if1. f ≥ 0 ⇒ T (t)f ≥ 0, i.e. T (t)≥ 0.2. ‖T (t)‖ ≤ 1 (t ≥ 0)

Page 78: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Characterization

Theorem (Phillips)An operator A on C0(Ω) generates a Feller semigroup if and only if

1. D(A) is dense2. f ∈ D(A), f (x0) = supx∈Ω f (x)> 0 ⇒ Af (x0)≤ 03. There is λ > 0 such that λ−A is surjective.

Page 79: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Characterization

Theorem (Phillips)An operator A on C0(Ω) generates a Feller semigroup if and only if1. D(A) is dense

2. f ∈ D(A), f (x0) = supx∈Ω f (x)> 0 ⇒ Af (x0)≤ 03. There is λ > 0 such that λ−A is surjective.

Page 80: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Characterization

Theorem (Phillips)An operator A on C0(Ω) generates a Feller semigroup if and only if1. D(A) is dense2. f ∈ D(A), f (x0) = supx∈Ω f (x)> 0 ⇒ Af (x0)≤ 0

3. There is λ > 0 such that λ−A is surjective.

Page 81: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Characterization

Theorem (Phillips)An operator A on C0(Ω) generates a Feller semigroup if and only if1. D(A) is dense2. f ∈ D(A), f (x0) = supx∈Ω f (x)> 0 ⇒ Af (x0)≤ 03. There is λ > 0 such that λ−A is surjective.

Page 82: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Laplacian

Recall: Let u ∈ C0(Ω).

∆u ∈ C0(Ω) :⇔ ∃f ∈ C0(Ω) :

∫Ωu∆ϕ=

∫Ωf ϕ (ϕ ∈D(Ω))

Then ∆u := f .

Define ∆0 on C0(Ω) by

D(∆0) := u ∈ C0(Ω), ∆u ∈ C0(Ω)∆0u := ∆u.

Theorem (W.A., Ph. Bénilan)∆0 generates a Feller semigroup if and only if Ω is Dirichlet regular.

Page 83: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Laplacian

Recall: Let u ∈ C0(Ω).

∆u ∈ C0(Ω) :⇔ ∃f ∈ C0(Ω) :

∫Ωu∆ϕ=

∫Ωf ϕ (ϕ ∈D(Ω))

Then ∆u := f .Define ∆0 on C0(Ω) by

D(∆0) := u ∈ C0(Ω), ∆u ∈ C0(Ω)∆0u := ∆u.

Theorem (W.A., Ph. Bénilan)∆0 generates a Feller semigroup if and only if Ω is Dirichlet regular.

Page 84: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

The Dirichlet Laplacian

Recall: Let u ∈ C0(Ω).

∆u ∈ C0(Ω) :⇔ ∃f ∈ C0(Ω) :

∫Ωu∆ϕ=

∫Ωf ϕ (ϕ ∈D(Ω))

Then ∆u := f .Define ∆0 on C0(Ω) by

D(∆0) := u ∈ C0(Ω), ∆u ∈ C0(Ω)∆0u := ∆u.

Theorem (W.A., Ph. Bénilan)∆0 generates a Feller semigroup if and only if Ω is Dirichlet regular.

Page 85: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Surjectivity

Proof.Assume that Ω is Dirichlet regular.∆0 is surjective:

Let f ∈ C0(Ω) and extend it to Rd by 0.Let w = Ed ∗ f , where Ed is the Newtonian Potential.Then w ∈ C(Rd ) and ∆w = f .Let g = w |∂Ω. Then ug ∈ C(Ω), ∆ug = 0.Let u = w −ug . Then u ∈ C0(Ω), ∆u = f .

Page 86: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Surjectivity

Proof.Assume that Ω is Dirichlet regular.∆0 is surjective:Let f ∈ C0(Ω) and extend it to Rd by 0.Let w = Ed ∗ f , where Ed is the Newtonian Potential.Then w ∈ C(Rd ) and ∆w = f .

Let g = w |∂Ω. Then ug ∈ C(Ω), ∆ug = 0.Let u = w −ug . Then u ∈ C0(Ω), ∆u = f .

Page 87: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Surjectivity

Proof.Assume that Ω is Dirichlet regular.∆0 is surjective:Let f ∈ C0(Ω) and extend it to Rd by 0.Let w = Ed ∗ f , where Ed is the Newtonian Potential.Then w ∈ C(Rd ) and ∆w = f .Let g = w |∂Ω. Then ug ∈ C(Ω), ∆ug = 0.Let u = w −ug . Then u ∈ C0(Ω), ∆u = f .

Page 88: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Elliptic operators in divergence form

Let aij ,bj ,cj ,c ∈ L∞(Ω) be real coefficients, such that

d∑i ,j=1

aij(x)ξiξj ≥ α|ξ|2 (ξ ∈ Rd ,x ∈ Ω).

A : H1loc→D(Ω)′

Au :=d∑

i ,j=1Di (aijDju) +

d∑j=1

(bjDju+Dj(cju)) + cu

Realization A0 in C0(Ω):

D(A0) :=u ∈ C0(Ω)∩H1

loc(Ω) :Au ∈ C0(Ω)

A0u :=Au

Page 89: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Elliptic operators in divergence form

Let aij ,bj ,cj ,c ∈ L∞(Ω) be real coefficients, such that

d∑i ,j=1

aij(x)ξiξj ≥ α|ξ|2 (ξ ∈ Rd ,x ∈ Ω).

A : H1loc→D(Ω)′

Au :=d∑

i ,j=1Di (aijDju) +

d∑j=1

(bjDju+Dj(cju)) + cu

Realization A0 in C0(Ω):

D(A0) :=u ∈ C0(Ω)∩H1

loc(Ω) :Au ∈ C0(Ω)

A0u :=Au

Page 90: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Elliptic operators in divergence form

Let aij ,bj ,cj ,c ∈ L∞(Ω) be real coefficients, such that

d∑i ,j=1

aij(x)ξiξj ≥ α|ξ|2 (ξ ∈ Rd ,x ∈ Ω).

A : H1loc→D(Ω)′

Au :=d∑

i ,j=1Di (aijDju) +

d∑j=1

(bjDju+Dj(cju)) + cu

Realization A0 in C0(Ω):

D(A0) :=u ∈ C0(Ω)∩H1

loc(Ω) :Au ∈ C0(Ω)

A0u :=Au

Page 91: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Elliptic operators in divergence form

Assume thatd∑

j=1Djcj + c ≤ 0,

i.e. ∫Ω

(−d∑

j=1

∂ϕ

∂xjcj + cϕ)dx ≤ 0 (0≤ ϕ ∈ D(Ω))

Theorem (W.A., Ph. Bénilan)A0 generates a Feller semigroup on C0(Ω) if and only if Ω isDirichlet regular.

Page 92: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Elliptic operators in divergence form

Assume thatd∑

j=1Djcj + c ≤ 0,

i.e. ∫Ω

(−d∑

j=1

∂ϕ

∂xjcj + cϕ)dx ≤ 0 (0≤ ϕ ∈ D(Ω))

Theorem (W.A., Ph. Bénilan)A0 generates a Feller semigroup on C0(Ω) if and only if Ω isDirichlet regular.

Page 93: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Non-divergence Form

Let bj ,c ∈ L∞(Ω), c ≤ 0, aij ∈ C(Ω), aij = aji be real coefficients,such that

d∑i ,j=1

aij(x)ξiξj ≥ α|ξ|2 (x ∈ Ω, ξ ∈ Rd )

Au :=d∑

i ,j=1aijDiDju+

d∑j=1

bjDju+ cu

Realization of A in C0(Ω):

D(A0) :=u ∈ C0(Ω)∩W 2,d

loc (Ω) :Au ∈ C0(Ω)

A0u :=Au

Page 94: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Non-divergence Form

Let bj ,c ∈ L∞(Ω), c ≤ 0, aij ∈ C(Ω), aij = aji be real coefficients,such that

d∑i ,j=1

aij(x)ξiξj ≥ α|ξ|2 (x ∈ Ω, ξ ∈ Rd )

Au :=d∑

i ,j=1aijDiDju+

d∑j=1

bjDju+ cu

Realization of A in C0(Ω):

D(A0) :=u ∈ C0(Ω)∩W 2,d

loc (Ω) :Au ∈ C0(Ω)

A0u :=Au

Page 95: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Non-divergence Form

Let bj ,c ∈ L∞(Ω), c ≤ 0, aij ∈ C(Ω), aij = aji be real coefficients,such that

d∑i ,j=1

aij(x)ξiξj ≥ α|ξ|2 (x ∈ Ω, ξ ∈ Rd )

Au :=d∑

i ,j=1aijDiDju+

d∑j=1

bjDju+ cu

Realization of A in C0(Ω):

D(A0) :=u ∈ C0(Ω)∩W 2,d

loc (Ω) :Au ∈ C0(Ω)

A0u :=Au

Page 96: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Non-divergence Form

Theorem (W.A., R. Schätzle, Ann. Sc, Normale Pisa 2013)Assume that Ω satisfies the uniform exterior cone condition or

thatΩ is Dirichlet regular and the aij are Hölder continuous.Then A0 generates a Feller semigroup on C0(Ω).Previous work on the Dirichlet problem by N. Krylow.We prove that the semigroup is even holomorphic.

Page 97: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Non-divergence Form

Theorem (W.A., R. Schätzle, Ann. Sc, Normale Pisa 2013)Assume that Ω satisfies the uniform exterior cone condition or thatΩ is Dirichlet regular and the aij are Hölder continuous.

Then A0 generates a Feller semigroup on C0(Ω).Previous work on the Dirichlet problem by N. Krylow.We prove that the semigroup is even holomorphic.

Page 98: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Non-divergence Form

Theorem (W.A., R. Schätzle, Ann. Sc, Normale Pisa 2013)Assume that Ω satisfies the uniform exterior cone condition or thatΩ is Dirichlet regular and the aij are Hölder continuous.Then A0 generates a Feller semigroup on C0(Ω).

Previous work on the Dirichlet problem by N. Krylow.We prove that the semigroup is even holomorphic.

Page 99: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Non-divergence Form

Theorem (W.A., R. Schätzle, Ann. Sc, Normale Pisa 2013)Assume that Ω satisfies the uniform exterior cone condition or thatΩ is Dirichlet regular and the aij are Hölder continuous.Then A0 generates a Feller semigroup on C0(Ω).Previous work on the Dirichlet problem by N. Krylow.

We prove that the semigroup is even holomorphic.

Page 100: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Non-divergence Form

Theorem (W.A., R. Schätzle, Ann. Sc, Normale Pisa 2013)Assume that Ω satisfies the uniform exterior cone condition or thatΩ is Dirichlet regular and the aij are Hölder continuous.Then A0 generates a Feller semigroup on C0(Ω).Previous work on the Dirichlet problem by N. Krylow.We prove that the semigroup is even holomorphic.

Page 101: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Markov Processes

Let (T (t))t≥0 be a Feller semigroup on C0(Ω), Ω a locally compactspace with countable topological base.

Then there exists a strong Markov process Xt , t ≥ 0 such that forall f ∈ C0(Ω),

(T (t)f )(Xs) = E(f (Xt+s) |Xs)

= E(f (Xt+s) |Fs) a.e.,

whereFs = σ(Xt , t ≤ s).

Page 102: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Markov Processes

Let (T (t))t≥0 be a Feller semigroup on C0(Ω), Ω a locally compactspace with countable topological base.Then there exists a strong Markov process Xt , t ≥ 0 such that forall f ∈ C0(Ω),

(T (t)f )(Xs) = E(f (Xt+s) |Xs)

= E(f (Xt+s) |Fs) a.e.,

whereFs = σ(Xt , t ≤ s).

Page 103: TheDirichletProblemandFellerSemigroups · TheDirichletProblemandFellerSemigroups WolfgangArendt Ulm Workshop“Probability,AnalysisandGeometry” UniversityofUlm—MoscowStateUniversity

Thank you for your attention