Optimal shape of the p -Laplacian eigenvalue Farid Bozorgnia Joint - - PowerPoint PPT Presentation

optimal shape of the p laplacian eigenvalue
SMART_READER_LITE
LIVE PREVIEW

Optimal shape of the p -Laplacian eigenvalue Farid Bozorgnia Joint - - PowerPoint PPT Presentation

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References Optimal shape of the p -Laplacian eigenvalue Farid Bozorgnia Joint with Abbas Mohammadi and Heinrich Voss Department of Mathematics,IST,


slide-1
SLIDE 1

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Optimal shape of the p-Laplacian eigenvalue

Farid Bozorgnia Joint with Abbas Mohammadi and Heinrich Voss

Department of Mathematics,IST, Lisbon, Portugal

New trends in PDE constrained optimization October 14-18, 2019

slide-2
SLIDE 2

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Outline

1

Statements of Problems

2

Eigenvalue Optimization

3

Nearly Optimal Solutions

4

Numerical Algorithm

5

References

slide-3
SLIDE 3

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Problem (A)

Let Ω be a bounded domain, Given numbers γ > 0, p > 1 and a measurable subset D of Ω. Consider      −∆pu + γχD|u|p−2u = λ|u|p−2u in Ω, u = 0

  • n ∂Ω.

(1.1) ∆pu := div

  • |∇u|p−2∇u
  • ,

χD is characteristic function of D.

slide-4
SLIDE 4

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Problem (A)

The first eigenvalue has variational form: λ(γ, D) = inf

  • Ω |∇v|p dx + γ
  • Ω χD|u|p dx
  • Ω |v|p dx

, v ∈ W 1,p (Ω), v ≡ 0

  • (1.2)
slide-5
SLIDE 5

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Problem (A)

The first eigenvalue has variational form: λ(γ, D) = inf

  • Ω |∇v|p dx + γ
  • Ω χD|u|p dx
  • Ω |v|p dx

, v ∈ W 1,p (Ω), v ≡ 0

  • (1.2)

Fix A ∈ (0, |Ω|), and define Λ(γ, D) := inf {λ(γ, D) : D ⊂ Ω, |D| = A} Here |D|: Lebesgue measure of a subset D. Any minimizer is called optimal configuration. The pair (u, D) is said to be an optimal pair(optimal solution).

  • S. Chanillo, D. Grieser, M. Imai, K. Kurata and I. Ohnishi, Symmetry breaking and other phenomena in the
  • ptimization of eigenvalues for composite membranes, Commun. Math. Phys. 214 (2000) 315–337.
  • W. Pielichowski, The optimization of eigenvalue problems involving the p-Laplacian. Univ. Iagel. Acta
  • Math. 42 (2004) 109–122.
slide-6
SLIDE 6

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Problem (B)

     −∆pu = λ̺|u|p−2u, in Ω, u = 0

  • n ∂Ω.

(1.3)

slide-7
SLIDE 7

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Problem (B)

     −∆pu = λ̺|u|p−2u, in Ω, u = 0

  • n ∂Ω.

(1.3) The density function ̺ belongs to R = {̺ : ̺(x) = αχD + βχDc, D ⊂ Ω, |D| = A} , with A ∈ (0, |Ω|) and α > β > 0,

slide-8
SLIDE 8

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Problem (B)

     −∆pu = λ̺|u|p−2u, in Ω, u = 0

  • n ∂Ω.

(1.3) The density function ̺ belongs to R = {̺ : ̺(x) = αχD + βχDc, D ⊂ Ω, |D| = A} , with A ∈ (0, |Ω|) and α > β > 0, λ = λ̺ is the (principal) eigenvalue,

slide-9
SLIDE 9

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Problem (B)

     −∆pu = λ̺|u|p−2u, in Ω, u = 0

  • n ∂Ω.

(1.3) The density function ̺ belongs to R = {̺ : ̺(x) = αχD + βχDc, D ⊂ Ω, |D| = A} , with A ∈ (0, |Ω|) and α > β > 0, λ = λ̺ is the (principal) eigenvalue, u = u(x) is a corresponding eigenfunction and p ∈ (1, +∞).

slide-10
SLIDE 10

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Problem (B)

     −∆pu = λ̺|u|p−2u, in Ω, u = 0

  • n ∂Ω.

(1.3) The density function ̺ belongs to R = {̺ : ̺(x) = αχD + βχDc, D ⊂ Ω, |D| = A} , with A ∈ (0, |Ω|) and α > β > 0, λ = λ̺ is the (principal) eigenvalue, u = u(x) is a corresponding eigenfunction and p ∈ (1, +∞).

S.A. Mohammadi, F. Bozorgnia, H. Voss, Optimal shape design for the p-Laplacian eigenvalue problem, J.

  • Sci. Comput. 78, (2019) 1231–1249.
slide-11
SLIDE 11

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Variational form of the first eigenvalue:

slide-12
SLIDE 12

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Variational form of the first eigenvalue: λ̺ = inf

  • Ω |∇v|pdx
  • Ω ̺|v|pdx ,

v ∈ W 1,p (Ω), v ≡ 0

  • .

(1.4)

slide-13
SLIDE 13

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Variational form of the first eigenvalue: λ̺ = inf

  • Ω |∇v|pdx
  • Ω ̺|v|pdx ,

v ∈ W 1,p (Ω), v ≡ 0

  • .

(1.4) The corresponding eigenfunction does not change the sign in Ω. We may assume u(x) > 0.

slide-14
SLIDE 14

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Variational form of the first eigenvalue: λ̺ = inf

  • Ω |∇v|pdx
  • Ω ̺|v|pdx ,

v ∈ W 1,p (Ω), v ≡ 0

  • .

(1.4) The corresponding eigenfunction does not change the sign in Ω. We may assume u(x) > 0. u(x) ∈ C 1,δ(Ω) with δ ∈ (0, 1).

slide-15
SLIDE 15

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Variational form of the first eigenvalue: λ̺ = inf

  • Ω |∇v|pdx
  • Ω ̺|v|pdx ,

v ∈ W 1,p (Ω), v ≡ 0

  • .

(1.4) The corresponding eigenfunction does not change the sign in Ω. We may assume u(x) > 0. u(x) ∈ C 1,δ(Ω) with δ ∈ (0, 1). The first eigenfunction is unique up to a constant factor.

slide-16
SLIDE 16

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Variational form of the first eigenvalue: λ̺ = inf

  • Ω |∇v|pdx
  • Ω ̺|v|pdx ,

v ∈ W 1,p (Ω), v ≡ 0

  • .

(1.4) The corresponding eigenfunction does not change the sign in Ω. We may assume u(x) > 0. u(x) ∈ C 1,δ(Ω) with δ ∈ (0, 1). The first eigenfunction is unique up to a constant factor.

slide-17
SLIDE 17

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Eigenvalue Optimization

Consider inf

̺∈R λ̺.

(2.1)

slide-18
SLIDE 18

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Eigenvalue Optimization

Consider inf

̺∈R λ̺.

(2.1) where R = {̺ : ̺(x) = αχD + βχDc, |D| = A}

slide-19
SLIDE 19

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Eigenvalue Optimization

Consider inf

̺∈R λ̺.

(2.1) where R = {̺ : ̺(x) = αχD + βχDc, |D| = A} ≡

slide-20
SLIDE 20

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Eigenvalue Optimization

Consider inf

̺∈R λ̺.

(2.1) where R = {̺ : ̺(x) = αχD + βχDc, |D| = A} ≡ {D ⊂ Ω : |D| = A}.

slide-21
SLIDE 21

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Eigenvalue Optimization

Consider inf

̺∈R λ̺.

(2.1) where R = {̺ : ̺(x) = αχD + βχDc, |D| = A} ≡ {D ⊂ Ω : |D| = A}. We rewrite (2.1 ) as inf

D⊂Ω, |D|=A λ(D),

(2.2) The minimum in (2.2) is denoted by ˆ λˆ

̺.

The pair (ˆ u, ˆ ̺) is minimzer for problem (B) with parameters (α, β) iff (ˆ u, ˆ D) is an optimal pair of problem (A) with γ = (β − α)ˆ λˆ

̺

slide-22
SLIDE 22

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Physical Motivation

slide-23
SLIDE 23

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Physical Motivation

Let p = 2 and N = 2 and assume that we want to build a membrane with fixed boundary of prescribed shape consisting of given two different materials with densities α and β. The body has prescribed mass M = αA + β(|Ω| − A). Our aim is to distribute these materials in a such a way that the basic frequency of the resulting membrane is as small as possible.

slide-24
SLIDE 24

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Existence and Qualitative Properties of the Optimaizer

It has been proved that problem (2.1) admits a solution [Cuccu, Emamizadeh, Porru, (2009)].

slide-25
SLIDE 25

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Existence and Qualitative Properties of the Optimaizer

It has been proved that problem (2.1) admits a solution [Cuccu, Emamizadeh, Porru, (2009)]. If Ω is a ball, then the optimal shape is also a ball [Cuccu, Emamizadeh, Porru, (2009)].

slide-26
SLIDE 26

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Existence and Qualitative Properties of the Optimaizer

It has been proved that problem (2.1) admits a solution [Cuccu, Emamizadeh, Porru, (2009)]. If Ω is a ball, then the optimal shape is also a ball [Cuccu, Emamizadeh, Porru, (2009)]. Some qualitative properties such as Steiner symmetrization and connectivity of the optimal domain have been investigated [Anedda, Cuccu, (2009)-Pielichowski, (2004)].

slide-27
SLIDE 27

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Existence and Qualitative Properties of the Optimaizer

It has been proved that problem (2.1) admits a solution [Cuccu, Emamizadeh, Porru, (2009)]. If Ω is a ball, then the optimal shape is also a ball [Cuccu, Emamizadeh, Porru, (2009)]. Some qualitative properties such as Steiner symmetrization and connectivity of the optimal domain have been investigated [Anedda, Cuccu, (2009)-Pielichowski, (2004)]. For p = 2, Chanillo et al. have investigated a more general problem and obtained several interesting geometric attributes

  • f the optimal shape [ Chanillo, Grieser, Imai, Kurata,

Ohnishi, (2000)].

slide-28
SLIDE 28

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Assume ˆ ̺ = αχ ˆ

D + βχ ˆ Dc is an optimal solution and λˆ ρ and ˆ

u are the corresponding eigenvalue and eigenfunction.

slide-29
SLIDE 29

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Assume ˆ ̺ = αχ ˆ

D + βχ ˆ Dc is an optimal solution and λˆ ρ and ˆ

u are the corresponding eigenvalue and eigenfunction. Theorem Let p ∈ (1, +∞) and A ∈ (0, |Ω|) , then (a) there is a number ˆ t > 0 such that ˆ D = {x ∈ Ω : ˆ u(x) ≥ ˆ t}, and so ˆ Dc contains a tubular neighborhood of the boundary ∂Ω, (b) every connected component D0 of the interior of ˆ Dc hits the boundary, i.e., ¯ D0 ∩ ∂Ω = ∅. In particular, if Ω is simply connected, then ˆ D is connected. (c) if Ω is Steiner symmetric with respect to a hyperplane T, then every minimizer ˆ D is Steiner symmetric relative to T.

  • F. Cuccu, B. Emamizadeh, G. Porru, Optimization of the first eigenvalue in problems involving the

p-Laplacian. Proc. Amer. Math. Soc. 137 (2009) 1677–1687.

  • C. Anedda, F. Cuccu, Steiner symmetry in the minimization of the first eigenvalue in problems involving the

p-Laplacian, Proc. Amer. Math. Soc. 144 (2016) 3431–3440.

slide-30
SLIDE 30

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

The following Lemma shows that spectrum is closed: Lemma Let {̺n}∞

1 be a sequence of functions in L∞(Ω) uniformly

bounded by a constant α0 and {λ̺n}∞

1 , {un}∞ 1 be the

corresponding principle eigenvalues and positive eigenfunctions of (1.3) such that λ̺n → ˆ λ as n goes to infinity. Then, there exists a function η in L∞(Ω) so that −∆p ˆ u = ˆ ληˆ up−1, in Ω, ˆ u = 0 on ∂Ω, and lim

n→∞un − ˆ

uW 1,p

(Ω) = 0.

slide-31
SLIDE 31

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Low Contrast regime

Assume that α and β are close. Let λ be the first eigenvalue of − ∆pu = λup−1, in Ω, u = 0

  • n

∂Ω, (3.1)

slide-32
SLIDE 32

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Low Contrast regime

Assume that α and β are close. Let λ be the first eigenvalue of − ∆pu = λup−1, in Ω, u = 0

  • n

∂Ω, (3.1) and ψ(x) be the corresponding eigenfunction such that ∇ψ(x)Lp = 1. For s > 0 the superlevel set of ψ Es = {x ∈ Ω : ψ(x) ≥ s}.

slide-33
SLIDE 33

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Low Contrast regime

Assume that α and β are close. Let λ be the first eigenvalue of − ∆pu = λup−1, in Ω, u = 0

  • n

∂Ω, (3.1) and ψ(x) be the corresponding eigenfunction such that ∇ψ(x)Lp = 1. For s > 0 the superlevel set of ψ Es = {x ∈ Ω : ψ(x) ≥ s}. Theorem Let β = 1 and α = 1 + ǫ. Then, we have

  • ǫA

|Ω| + ǫA

  • λ ≤ λ − ˆ

λˆ

̺ǫ ≤

  • ǫ

1 + ǫ

  • λ.

(3.2)

slide-34
SLIDE 34

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

In the case of low contrast the optimal domain is squeezed between two super level sets. Theorem Let β = 1 and α = 1 + ǫ, choose τ such that |Eτ| = A and assume that p > N. Then for every δ > 0 there is ǫ0 such that whenever ǫ < ǫ0 and ˆ ̺ǫ = 1 + ǫχ ˆ

Dǫ,

ˆ Dǫ = {x ∈ Ω : ˆ uǫ(x) ≥ ˆ tǫ}, is an optimal solution, then |ˆ tǫ − τ| < δ and Eτ+δ ⊂ ˆ Dǫ ⊂ Eτ−δ.

slide-35
SLIDE 35

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Asymptotic Case p → ∞

Let Λ∞ be the reciprocal of the radius of the largest possible ball inscribed in the domain Ω.

slide-36
SLIDE 36

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Asymptotic Case p → ∞

Let Λ∞ be the reciprocal of the radius of the largest possible ball inscribed in the domain Ω.Assume that ˆ Dp is an optimal domain

  • f (2.2) for p and ˆ

λp, ˆ up are the corresponding principle eigenvalue and eigenfunction, respectively.

slide-37
SLIDE 37

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Asymptotic Case p → ∞

Let Λ∞ be the reciprocal of the radius of the largest possible ball inscribed in the domain Ω.Assume that ˆ Dp is an optimal domain

  • f (2.2) for p and ˆ

λp, ˆ up are the corresponding principle eigenvalue and eigenfunction, respectively. Theorem lim

p→∞

ˆ λ

1 p

p = Λ∞.

slide-38
SLIDE 38

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Theorem A function u∞ obtained as a limit of a subsequence {ˆ up}∞

1 is a

viscosity solution of the equation min{|∇u| − Λ∞u, −∆∞u} = 0, (3.3) where −∆∞u =

n

  • i,j=1

uxiuxjuxixj, is the ∞-Laplacian operator.

slide-39
SLIDE 39

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

For s > 0 we define E ∞

s

= {x ∈ Ω : u∞(x) ≥ s}.

slide-40
SLIDE 40

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

For s > 0 we define E ∞

s

= {x ∈ Ω : u∞(x) ≥ s}. Theorem Choose τ such that |E ∞

τ | = A. Then for any δ > 0 there is p0 such

that whenever p > p0 and ˆ ̺p = αχ ˆ

Dp + βχ ˆ Dc p,

ˆ Dp = {x ∈ Ω : ˆ up(x) ≥ ˆ tp}, is an optimal solution, then |ˆ tp − τ| < δ and E ∞

τ+δ ⊂ ˆ

Dp ⊂ E ∞

τ−δ.

slide-41
SLIDE 41

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

  • Example. When Ω = {x ∈ RN : 0 < a < |x| < a + R} then we
  • bserve that

E ∞

τ

= {x ∈ Ω : R 2 − r < |x| < R 2 + r}, where r =

A 2πR since u∞ is the distance function δ(x) = d(x, ∂Ω)

[Y. Yu, 2007].

slide-42
SLIDE 42

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

  • Example. When Ω = {x ∈ RN : 0 < a < |x| < a + R} then we
  • bserve that

E ∞

τ

= {x ∈ Ω : R 2 − r < |x| < R 2 + r}, where r =

A 2πR since u∞ is the distance function δ(x) = d(x, ∂Ω)

[Y. Yu, 2007].

Figure: Approximate optimal domain in yellow while p is large.

slide-43
SLIDE 43

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

  • Example. When Ω = {x ∈ RN : 0 < a < |x| < a + R} then we
  • bserve that

E ∞

τ

= {x ∈ Ω : R 2 − r < |x| < R 2 + r}, where r =

A 2πR since u∞ is the distance function δ(x) = d(x, ∂Ω)

[Y. Yu, 2007].

Figure: Approximate optimal domain in yellow while p is large.

slide-44
SLIDE 44

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Numerical Algorithm to determine the optimal shape

Our numerical procedure is a modification of the method that has been developed in [Kao, Su, (2013)].

slide-45
SLIDE 45

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Numerical Algorithm to determine the optimal shape

Our numerical procedure is a modification of the method that has been developed in [Kao, Su, (2013)]. Such rearrangement algorithms have been applied successfully to optimize eigenvalues of biharmonic equations appearing in frequency control based on the density distribution of composite rods and thin plates [ Chen, Chou, Kao, (2016)- Kang, Kao, (2017)], to derive stationary and stable flows of an ideal fluid [Mohammadi, (2017)] and to obtain minimum ground state energy in quantum dot nanostructures [Mohammadi, Voss, (2016)], [Antunes, Mohammadi, Voss, (2018)].

slide-46
SLIDE 46

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Numerical Algorithm to determine the optimal shape

Our numerical procedure is a modification of the method that has been developed in [Kao, Su, (2013)]. Such rearrangement algorithms have been applied successfully to optimize eigenvalues of biharmonic equations appearing in frequency control based on the density distribution of composite rods and thin plates [ Chen, Chou, Kao, (2016)- Kang, Kao, (2017)], to derive stationary and stable flows of an ideal fluid [Mohammadi, (2017)] and to obtain minimum ground state energy in quantum dot nanostructures [Mohammadi, Voss, (2016)], [Antunes, Mohammadi, Voss, (2018)].

slide-47
SLIDE 47

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Bathtub Principle

Lemma Let f (x) be a nonnegative function in L1(Ω) such that its level sets have measure zero. Then the maximization problem sup

̺∈R

̺f (x)dx, is uniquely solvable by (x)= αχ ˆ

D + βχ ˆ Dc where | ˆ

D| = A and ˆ D = {x ∈ Ω : f (x) ≥ t}, t = sup{s ∈ R : |{x ∈ Ω : f (x) ≥ s}| ≥ A}.

slide-48
SLIDE 48

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Theorem For every ̺0 ∈ R there exists a function ̺1 ∈ R such that λ̺0 ≥ λ̺1. Particularly, we have λ̺0 > λ̺1, if

̺0up

0dx <

̺1up

0dx,

where u0 is the eigenfunction of (1.3) corresponding to ̺0.

slide-49
SLIDE 49

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Proof. Set f (x) = up

0(x) in the bathtub principle (maximization), then

  • ne can achieve function ̺1 uniquely in R such that

̺0up

0dx ≤

̺1up

0 dx.

Hence, we observe that

  • Ω |∇u0|pdx
  • Ω ̺0up

0dx

  • Ω |∇u0|pdx
  • Ω ̺1up

0dx ,

and applying (1.4) λ̺0 ≥ λ̺1.

slide-50
SLIDE 50

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Numerical Algorithm

Given ̺n ∈ P use the inverse power method to obtain λ̺n and un. Based upon the level sets of the eigenfunction un we extract a new density function ̺n+1 ∈ P such that λ̺n ≥ λ̺n+1. Identify ̺n+1 = αχDn+1 + βχDc

n+1 by setting f (x) = up

n(x).

Recall that Dn+1 = {x ∈ Ω : f (x) ≥ t}, and the problem is to determine the parameter t introduce the function F(s) = |{x ∈ Ω : f (x) ≥ s}| for all s ≥ 0. Applying the idea of the bisection method for F(s)

slide-51
SLIDE 51

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Algorithm 1. Eigenvalue minimization Data: An initial density function ̺0 Result: Densities {̺n}∞

1 and decreasing eigenvalues {λ̺n}∞ 1

  • 1. Set n = 0;
  • 2. Insert ̺n in (1.3) and compute un and λ̺n invoking the algorithm

in [F. Bozorgnia, (2016)];

  • 3. Compute ̺n+1 applying bathtub principle (maximization);
  • 4. If (λ̺n − λ̺n+1) < TOL then stop;

else Set n = n + 1; Go to step 2;

slide-52
SLIDE 52

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Theorem Consider the sequence of eigenvalues {λ̺n}∞

1 generated by

Algorithm 1. We have lim

n→∞λ̺n = λˆ ̺,

and lim

n→∞̺n − ˆ

̺Lp(Ω) = 0, where ˆ ̺ is a step function in R. Moreover, ˆ ̺ is a local minimizer

  • f the function λ̺ with respect to R.
slide-53
SLIDE 53

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Example Let Ω = {(x1, x2) ∈ R2 : 0 < x1 < 2, 0 < x2 < 2}, A = 2,

slide-54
SLIDE 54

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Example Let Ω = {(x1, x2) ∈ R2 : 0 < x1 < 2, 0 < x2 < 2}, A = 2, ̺0 = 2 0 < x1 < 1, 1 1 < x1 < 2, TOL = 5 × 10−3, α = 2 and β = 1.

slide-55
SLIDE 55

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 1.1, ˆ λ = 1.40 (b) p = 2, ˆ λ = 2.55

Figure: The minimizer sets corresponding to different values of p are in yellow and ˆ λ is the associated optimal eigenvalue.

slide-56
SLIDE 56

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 1.1 (b) p = 2

Figure: The eigenfunctions ˆ u corresponding to the optimal sets for different values of p.

slide-57
SLIDE 57

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 5, ˆ λ = 7.25 (b) p = 10, ˆ λ = 17.48

Figure: The minimizer sets corresponding to different values of p are in yellow and ˆ λ is the associated optimal eigenvalue.

slide-58
SLIDE 58

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 5 (b) p = 10

Figure: The eigenfunctions ˆ u corresponding to the optimal sets for different values of p.

slide-59
SLIDE 59

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Example Let Ω be a stadium which is defined as the set of points at distance less than 1 from the line segment joining points (−1, 0) and (0, 1). We know that |Ω| = π + 4 and we set A = 4. The initial guess for our algorithm is chosen as follows ̺0 = 2 D0, 1 Dc

0,

where D0 = {(x1, x2) ∈ R2 : −1 < x1 < 1, −1 < x2 < 1}.

slide-60
SLIDE 60

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 1.1, ˆ λ = 1.02 (b) p = 2, ˆ λ = 1.63

Figure: The minimizer sets corresponding to different values of p are in yellow and ˆ λ is the associated optimal eigenvalue.

slide-61
SLIDE 61

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 1.1 (b) p = 2

Figure: The eigenfunctions ˆ u corresponding to the optimal sets for different values of p.

slide-62
SLIDE 62

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 5, ˆ λ = 3.31 (b) p = 10, ˆ λ = 5.41

Figure: The minimizer sets corresponding to different values of p are in yellow and ˆ λ is the associated optimal eigenvalue.

slide-63
SLIDE 63

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 5 (b) p = 10

Figure: The eigenfunctions ˆ u corresponding to the optimal sets for different values of p.

slide-64
SLIDE 64

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Example Let O = (0, 0) and Ω be the annulus B(O, 3) \ B(O, 1). Note that |Ω| = 8π and we set A = 1.62π. Consider q1 = (2, 0) and q2 = (0, 2), two points in Ω. Algorithm 1 is started with the following density function ̺0 = 2 x ∈ B(q1, 0.9) ∪ B(q2, 0.9), 1

  • therwise.
slide-65
SLIDE 65

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 1.1, ˆ λ = 0.90 (b) p = 2, ˆ λ = 1.40

Figure: The compliment of the minimizer sets, ˆ Dc, corresponding to different values of p are in red and ˆ λ is the associated optimal eigenvalue.

slide-66
SLIDE 66

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 1.1 (b) p = 2

Figure: The eigenfunctions ˆ u corresponding to the optimal sets for different values of p.

slide-67
SLIDE 67

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 10, ˆ λ = 5.20 (b) p = 15, ˆ λ = 8.17

Figure: The minimizer sets, ˆ Dc, corresponding to different values of p are in red and ˆ λ is the associated optimal eigenvalue.

slide-68
SLIDE 68

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

(a) p = 10 (b) p = 15

Figure: The eigenfunctions ˆ u corresponding to the optimal sets for different values of p.

slide-69
SLIDE 69

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References P.R.S. Antunes, S.A. Mohammadi, H. Voss, A nonlinear eigenvalue optimization problem: Optimal potential functions, Nonlinear. Anal. RWA. 40 (2018) 307–327.

  • F. Bozorgnia, Convergence of inverse power method for first eigenvalue of p-Laplace Operator, Numer.
  • Func. Anal. Opt. 37 (2016) 1378–1384.

G.R. Burton, Rearrangements of functions, maximization of convex functionals and vortex rings, Math. Ann. 276 (1987) 225–253.

  • W. Chen, C-S. Chou C-Y. Kao, Minimizing Eigenvalues for Inhomogeneous Rods and Plates, J. Sci.
  • Comput. 69 (2016) 983–1013.
slide-70
SLIDE 70

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

  • P. Juutinen, P. Lindqvist, J. J. Manfredi, The ∞-eigenvalue problem, Arch. Ration. Mech. Anal. 148 (1999)

89–105.

  • D. Kang, C.-Y. Kao, Minimization of inhomogeneous biharmonic eigenvalue problems, ppl. Math. Model. 51

(2017) 587–604. C.-Y. Kao and S. Su, Efficient rearrangement algorithm for shape optimization on elliptic eigenvalue problems, J. Sci. Comput. 54, (2013) 492–512.

  • A. Lˆ

e, Eigenvalue problems for the p-Laplacian, Nonlinear Anal. 64 (2006) 1057–1099.

  • E. Lieb, M. Loss, Analysis, second edt, American Mathematical Society, Providence, Rhode Island, 2001.

S.A. Mohammadi, F. Bahrami, Extremal principal eigenvalue of the bi-Laplacian operator, Appl. Math.

  • Model. 40 (2016) 22912300.

S.A. Mohammadi, F. Bozorgnia, H. Voss, Optimal shape design for the p-Laplacian eigenvalue problem, J.

  • Sci. Comput. 78, (2019) 1231–1249.
slide-71
SLIDE 71

Statements of Problems Eigenvalue Optimization Nearly Optimal Solutions Numerical Algorithm References

Thanks for your attention