mathematics of triple-junction and singularity theory: from cfd...

Shigeki MatsutaniNational institution of technology, Sasebo college

June 3, 2016

Mathematics of Triple-Junction and Singularity Theory:

from CFD of ink-jet printer

１．Background２．Motivation:

From Ink-jet printer３．Math of Triple-Junction and Singularity

３-1. Problem３-２. Physics of Triple-Junction３-３. Numer. model of Two-phase field３-４. Numer. Model of Triple-Junc..

1990 2000 2010 2016

Canon: industrial Math Analysis

Abelian Func. TheoryEmma Previato

Quantized ElasticaJohn McKay

Integrablesystem

Today’s topic

Study on Singular strata in Jacobi variety

Caustics problem

JMSJ 2007,2014

Math is of use!

for other math fields:e.g., singularity theory is of use for abelian function theory.

for acutal life:e.g., singularity theory is ofuse for ink-jet printer.

Both are different!

Math is of use for actual life!e.g., for an ink-jet printer.

Leonardo da Vinci said “Mechanics is the paradise of the mathematical sciences because by means of it one comes to the fruits of mathematics.”

In XXI century, we have so many cases that mathematical fields have the strong power for industrial studies.No one predicts what mathematical subject is of use, in this sense, after decades because no one predicts what technology is of use for actual life, basically.

Math is of use for actual life!e.g., for an ink-jet printer.

Leonardo da Vinci said “Mechanics is the paradise of the mathematical sciences because by means of it one comes to the fruits of mathematics.”

It is probabilistic whether some mathematical fields are of use or not. It cannot be predicted!⇒ Every math field has the possibility but

it is important that we should not be tooconscious whether our theory becomes ofuse or not. We study it to be established!

⇒ If a math field is well-established, it will be of use, in this sense, when the time comes.

Purpose of study: to evaluate micro fluid dynamics in an ink-jet printer numerically.

Numerical computation:emission of ink droplets

Emission device of ink droplets

Several x 10 um

heater

Vapor bubble

Model (M-Nakano-Shinjo 2011)

Matsutani, Nakano, Shinjo,Math Phys Anal Geom (2011) 14:237–278

heaterEmission device of ink droplets

Triple-Junction is Singular!Triple-phase：Solid, Liquid, Gas!

Purpose of study: to evaluate micro fluid dynamics in an ink-jet printer numerically.

The singularity of Triple-Junction isthe cone C{0,1} or C[0,1]!

C{0,1} ×(0,1) ⊂ C[0,1] × (0,1)

Today’s topic is the singularity of Triple-Junction!

Mathematical Problem

To construct a mathematical model in order to evaluate fluid dynamics with triple-phase field and triple junctions numerically!

We can assume that these fields are liquids (incompressible fluids).

There was a mathematical model of numerical two-phase fluid dynamics!

差分化Discretization

2-phaseEuler Equation

3-phase DifferenceEuler Equation

Applied Math（VOF-method）

Discretization

By revising the mathematical model of two-phase fluid dynamics to obtain that of three-phase field!

差分化

Applied Math（phase-field theory）Arnold, Ebin-Marsden 1970

Diffeomorphism Group+Momentum Map DiscretizationVariation

Discretization

1-phaseAction Functional

Variation

Singularity Theory

AnalyticGeometry

差分化

Discretization

Variation

Singularity Theory

AnalyticGeometry

In order to obtain the three-phase Euler equation, we used primitive facts in

1. Diffeomorphism Group2. Momentum Map3. Analytic Geometry4. Singularity Theory.

差分化

Discretization

Variation

Singularity Theory

AnalyticGeometry

Today’s topic!

Triple-Junction

http://photo-pot.com/?p=23192

http://nagare-furoshiki.com/ja/repel.html

超撥水

super-water-repellent

Reduced Mathematical Problem

To construct a mathematical model in order to evaluate the triple junctions numerically!

Shape of Droplet is determined so that it minimizes the interface energy under the preservation of volume.(For a small droplet, the gravity is neglected!)

A:Liquid

B : Solid

Shape of Droplet with Triple-Junction

SCA : Area of Interface between C and ASAB : Area of Interface between A and BSBC : Area of Interface between B and Cσ*# :positive real number dep. on * and #.

E = σCASCA ＋ σABSAB ＋ σBCSBC

Interface Energy：

A:Liquid

B : Solid

SCA : Area of Interface between C and ASAB : Area of Interface between A and BSBC : Area of Interface between B and Cσ*# : Surface tension value of * and #.

Interface Energy：

A:Liquid

B : Solid

p1-p２=σ・κ(x)

Laplace equation for surface tension

Shape of interface (surface tension)

κ= div n for the normal unit vector field nκ／２ is the mean curvature,

p1,p２:pressureσ:surface tension value

The constant mean curvature surface is realized.

σBC = σAB ＋ σCAcos θ

A:Liquid

B : Solid

Shape of Droplet with Triple-Junctionθ： Contact angle

part of sphere

(The pressures in matters are naturally defined!)

= σCASCA ＋ σABSAB ＋ σBC (Const.ーSAB ）

= σCASCA ＋(σABーσBC)SAB ＋Const.

SAB = πr2 sin2θSCA = 2πr2 (1ーcosθ)

VA = ーπr3 (2+cosθ)(1ーcosθ)243

A:Liquid

B : Solid

EL =σCASCA＋(σABーσBC)SAB＋λ(VA-V0)

ーー = 0，ーー = 0，ーー = 0δEL

δrδEL

δθδEL

A:Liquid

B : Solid

EL = πr2[2σCA (1ーz)+ (σABーσBC) (1ーz2)ーrλ((2+z)(1ーz)2/3ーV0)]

z= cosθ

πr[4σCA (1ーz)+ 2(σABーσBC) (1ーz2)

ーrλ(2+z)(1ーz)2]=0

πr2 [ー2σCA ー2(σABーσBC) z

+rλ(1+z)(1ーz)]=0

ーー = 0：δEL

σCA z +(σABーσBC)=0

σCAσBC

σBC ＞ σAB ＋ σCA

θ is not defined! → Wet

σBC > σAB

θσCA

σBC < σAB

Shape of Droplet with Triple-JunctionσAB ＋ σCA ＞ σBC

(σBC ＞ σAB - σCA )

http://nagare-furoshiki.com/ja/repel.html

超撥水

super-water-repellent

Numer. model of Two-phase field

Problem

To represent two-phase field approximately using a function over a region

Why function？We consider the lattice in a concerned region.

Why function？

By using functions over lattice points, cells, and edges, we represent the matters.

Interface =Zero crossing

Intermediate region

Phase field method

Level set methodBasic Approachs!

Intermediate region

Phase field method

We employed the phase field method

Intermediate region

Phase field method

By making the widthεof the intermediate regions over several lattice units, the points whose value is 0.5 represent the interface!

Intermediate region

The phase field method for two-phase field requires a smooth partition of unityover a continuous domain in R3

ξ(x)＋ξｃ(x)=1

Phase field method

1. We consider the phase field with intermediate region ofε or a smooth partition of unity over a continuous domain in R3

2. We compute the interface energy approximately.3. By variational method, we derive an differential equation.

Approach

The difference equation of the shape, numerical model

Discritization(Restriction to a lattice points)

It is not difficult to obtain a difference equation of the shape from the differential equation.

Ω：3 dim Domain Ω⊂R3

Ｂ：a connected compact set in ΩIntegral Representation of Area A of ∂Ｂ

Ω{ 1 x∈Bo

0 x∈Bcθ(x)=

Characteristic Function

A = |∇θ(x)| d3x

θ is differentiable as a hyperfunction.

∫d3x := dx1dx2dx3

A = |∇θ(x)| d3x∫= ∂ｑθ(q)dq d2s

q(x)=0

∫( )∫= dθ d2s∫( )∫ = d2s∫

∂B∂B

Category of the hyperfunctions

Category of the smooth functions

(up to ε)

Ω{ 1 x∈Mo

0 x∈Lcξ(x)=

Aξ = |∇ξ(x)| d3x

ξ: smooth, monotonic increasing for normal direction

ε/2=dist(p,B), p∈M, Lc

｜Aξ ーA | < ε・KAξ

Integral approximation of the area of ∂Ｂ in terms of ξ-function

Filtration of closed sets M ⊂ Ｂ ⊂ L s.t.

KAξ>0

(connected)

Aξ = |∇ξ(x)| d3x∫= ∂ｑξ(q)dq d2s

q(x)=0

∫( )∫< |１＋ε／min Ra(s)| d

2s∫∂B

<(1+ ε／Rinf) d2s∫∂B

Rinf :inf. of the principal curvature radius Ra(s)

Assumeε<< Rinf :inf of the principal curvature radius

NG case:

κ／２： approximation of mean curvature because mean curvature is given as

div n/2for the normal unit vector field n

Integral approximation of the area of ∂Ｂ in terms of ξ-function

We have a constant mean curvature surface approximately for constant p1 and p2.

variational method

Approximation of Laplace equation

Phase field model with triple-junction

To express the cone singularity in terms of phase-field method

GasLiquid

Idea：1. Express these regions in terms of smooth

partition of unity.2. Compute the integral approximation of the area

of the interfaces!3. We derive the Laplace equation approximately.

Problems：・To estimate the effect from the triple-junction on the integral since it is singular.

・To show that the model is not ill-posed!

These problems are of the category of Ｃ∞-functions since we consider smooth partition of unity!

But it is difficult to estimate it and we use the idea of the singularity theory!

Problems：・To estimate the effect from the triple-junction on the integral since it is singular.

・To show that the model is not ill-posed!

Stratification:

Ｖ1 ⊂ Ｖ2⊂ Ｖ3

There is a natural stratification (滑層分割) and we consider “differentiable” submanifolds.

We express the triple-phases in terms of closed sets whose union corresponds to the domain and intersection corresponds to interface!

B1∩B２ ⊂∂Ba, a=1,2

B1∩B２∩B3 ⊂∂(B1∩B２),

Ba : closed set

Ω＝B1∪B２∪B3

Stratification:

B1∩B２ ⊂∂Ba, a=1,2

B1∩B２∩B3 ⊂∂(B1∩B２),

B1∩B２∩B3 ⊂ B1∩B２ ⊂B1,

Stratification:

{1 x∈Ma

0 x∈Lacξa (x)=

Ma⊂Ｂa⊂La ε=dist(p, Ba) p∈ Ma, Lac

ξ1(x)＋ξ2 (x)＋ξ3 (x)=1

ξasmooth, mono.-increasing for normal dir.

Ma，La：closed sets

Partition of Unity

(connected)

{1 x∈Ma

0 x∈Lacξa (x)=

ξ1(x)＋ξ2 (x)＋ξ3 (x)=1

Partition of Unity

(connected)

{1 x∈Ma

0 x∈Lacξa (x)=

ξ1(x)＋ξ2 (x)＋ξ3 (x)=1

Partition of Unity

ε (connected)

F(ξ)＝ (∑σab（|∇ξa| |∇ξb|)1/2(ξa + ξb)-p(x))d3x∫

p(x)＝ ∑ｐaξa（ｘ）

Integral Approximation of the area in terms of the Partition of Unity

Aab ＝（|∇ξa| |∇ξb|)1/2(ξa + ξb) d3x∫

Surface Free Energy

We derive the equation using the stratified structure of this system!

1. x∈Ω，s.t. ξa(x)=1,

2. x∈supp(ξa)∩supp(ξb)=La∩Lb

s.t. ξa(x)+ξb (x)=1,

3. supp(ξ1)∩supp(ξ2)∩supp(ξ3)=L0∩L1∩L2

We estimate the accuracy of this model each part:

1. x∈Ω，ξa(x)=1

ーーF[ξ] =0δδξ

０＝０

Results of variation method

for each region:

65We show that this equation does not have bad effects on the model!

2. x∈supp(ξa)∩supp(ξb) s.t. ξa(x)+ξb (x)=1

→ reproduces the interface of two-phase field

3. x∈ supp(ξ1)∩supp(ξ2)∩supp(ξ3)

We evaluate the energy and consider it weakly up toε!

1. x∈Ω，ξa(x)=1,

Evaluate the surface energy!

E(□)＝ (∑σab（|∇ξa| |∇ξb|)1/2(ξa + ξb))d

3x∫□

Then we have the following estimations:

1. x∈Ω，ξa(x)=1,E({x∈Ω，ξa(x)=1})=0

E(□)＝ (∑σab（|∇ξa| |∇ξb|)1/2(ξa + ξb))d

3x∫□

For ε to 0, the model gives the energy well.

｜Ｅ(supp(ξ1)∩supp(ξ2))ーσ12 A12|＜εK

E(□)＝ (∑σab（|∇ξa| |∇ξb|)1/2(ξa + ξb))d

3x∫□

For ε to 0, the model gives the energy well.

Ｅ(supp(ξ1)∩supp(ξ2)∩supp(ξ3))＜εK’

E(□)＝ (∑σab（|∇ξa| |∇ξb|)1/2(ξa + ξb))d

3x∫□

By applying the idea of the stratification to this model, we can estimate the accuracy of this model.

We conclude that this model approximates the triple-junction well up to ε!

30[degree]

45[degree]

60[degree]

90[degree]

120[degree]

Using the model (via the difference Euler equation with viscous force term), the surface tension values reproduce the expected contact angle !

Matsutani, Nakano, Shinjo,Math Phys Anal Geom (2011) 14:237–278

Reduced Mathematical Problem

To construct a mathematical model in order to evaluate the triple junctions numerically!

To construct a mathematical model in order to evaluate fluid dynamics with triple-phase and triple junctions numerically!

Mathematical Problem

差分化Discretization

Discretization

By revising the mathematical model of two-phase fluid dynamics to obtain that of three-phase field!

差分化

Discretization

Variation

Singularity Theory

AnalyticGeometry

t=1.0[µsec] t=2.0[µsec]

t=4.0[µsec] t=5.0[µsec]t=3.0[µsec]

30[degree]

t=0.0[µsec]

Meniscus MotionMatsutani, Nakano, Shinjo,Math Phys Anal Geom (2011) 14:237–278

We can compute the three-phase fluid dynamics with triple-junction numerically!

Numerical computation:emission of ink droplets

Emission device of ink droplets

Several x 10 um

heater

Vapor bubble

Thank you for your attention!

Modified Laplace equation：

phase field法による2相の流体方程式（オイラー方程式）：

変分原理

Intermediate region

Phase field method

Level Set method

Zero points of signed distant function express the interface!⇔ The ridge appears inside!

Its singularity causes difficulty.

Level set method

86Intermediate region

Phase field method

遷移領域

By making the widthεof the intermediate regions over several lattice units, the points whose value is 0.5 represent the interface!

We employed the phase field method

The phase field method for two-phase requires a smooth partition of unity overa continuous domain in R3

ξ(x)＋ξｃ(x)=1 ξ=0

Deviation from thoday’s topic

Singularity of light ray＝Caustics

Michel Berry

Catastrophe theory and Caustics1970’s.

http://blog.sigfpe.com/2005/08/caustics-and-catastrophes.html

Orbits from an electron emission device for an display cause caustics. (1998）Though it has a bad effect on phosphor (蛍光体), it cannot be avoided due to the stability. We could concentrate ourselves on another countermeasure.

experiment ｖｓ theory

Singularity theory is of use for many situations in industrial studies besides inkjet printer!

Aξ = |∇ξ(x)| d3x∫= ∂ｑξ(q)dq d2s

q(x)=0

∫B( )∫

< |１＋ε／min Ra(s)| d2s∫

B<(1+ ε／Rinf) d2s∫

1, ｒ＜Rーε/2,0, r＞R+ε/2,(r-R)/ε, otherwise

ξ(ｒ)=

Aξ = |∇ξ(x)| d3x∫

= 4π(R+q)2/ε dq∫= 4π/ε [R2q+Rq2+q3/3]ε/2

ーε/2

= 4πR2+πε2/3

Example: ball with R (but not smooth ξ)

Assumeε<< Rinf :inf of the principal curvature radius

NG case:

mathematics of triple-junction and singularity theory: from cfd...

Documents

the singularity

singularity blues copy

shigeki umeda a simulation technology for supply-chain...

applied microeconometrics #02 regression analysis by ols...

sharpeningtheleading singularity - arxiv ·...

singularity function

carl shulman, singularity institute anna salamon,...

publication list of prof. shigeki matsunagapublication list...

singularity blues

singularity hub wireframes

christopher kurtz // singularity

singularity boat

[william sleator] singularity

9 singularity theory and nonlinear bifurcation...

the technological singularity

apan report shigeki goto the immediate past chair apan

technogical singularity

singularity university - foundations of exponential...

mundane singularity

singularity: containers for high-performance computing...