Title (Variational Problems and Related T. Author(s) Ichikawa, Yosuke; Ikota, Ryo; Yanag. Citation 数理解析研究所講究録 (2004), 1405:

Similar documents
FIXED POINT PROPERTIES FOR SEMIGROU TitleNONEXPANSIVE MAPPINGS ON BI-TOPOLOG. Author(s) LAU, ANTHONY TO-MING; TAKAHASHI, WA

INTERPRETATION OF RACK COLORING KNO. Low-dimensional Topology) Author(s) TANAKA, KOKORO; TANIGUCHI, YUMA. Citation 数理解析研究所講究録 (2012), 1812:

Citation 数理解析研究所講究録 (2004), 1396:

Citation 数理解析研究所講究録 (2012), 1805:

Citation 数理解析研究所講究録 (1994), 886:

Citation 数理解析研究所講究録 (2001), 1191:

Theory and its related Fields) Citation 数理解析研究所講究録 (2009), 1669:

Citation 数理解析研究所講究録 (2013), 1841:

Citation 数理解析研究所講究録 (2016), 1995:

A REMARK ON THEOREMS OF DE FRANCHIS SEVERI(Complex Analysis on Hyperbol. Citation 数理解析研究所講究録 (1994), 882:

Citation 数理解析研究所講究録 (1996), 941:

数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25:

A linear programming instance with. Author(s) Mizuno, Shinji; Megiddo, Nimrod; Ts. Citation 数理解析研究所講究録 (1996), 945: 68-74

Riemannゼータ関数の近似関数等式に対する平均値公式 ( 解析数論と数論諸分野の交流 ) Citation 数理解析研究所講究録 (1999), 1091:

Citation 数理解析研究所講究録 (1995), 925:

Citation 数理解析研究所講究録 (2010), 1716:

Theory and Related Topics) 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2010), B16:

Citation 数理解析研究所講究録 (2005), 1440:

Citation 数理解析研究所講究録 (2006), 1466:

TitleImplementing Sturm's Algorithm and. Citation 数理解析研究所講究録 (1997), 986:

Evolution of planar networks of curves with multiple junctions. Centro Ennio De Giorgi Pisa February 2017

THE EXISTENCE AND THE CONTINUATION TitleHOLOMORPHIC SOLUTIONS FOR CONVOLUTI EQUATIONS IN A HALF-SPACE IN $C^n$ Citation 数理解析研究所講究録 (1997), 983: 70-75

On mean-field approximation of part annihilation and spikes (Probabilit. Citation 数理解析研究所講究録 (2017), 2030:

Citation 数理解析研究所講究録 (1996), 966:

Title multiplicity (New topics of transfo. Citation 数理解析研究所講究録 (2015), 1968:

Citation 数理解析研究所講究録 (2008), 1588:

Citation 数理解析研究所講究録 (2002), 1254:

Author(s) Aoshima, Makoto; Srivastava, Muni S. Citation 数理解析研究所講究録 (1999), 1101:

数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2008), B5:

Citation 数理解析研究所講究録 (2013), 1871:

Citation 数理解析研究所講究録 (1999), 1078:

Title numbers (Mathematics of Quasi-Perio. Citation 数理解析研究所講究録 (2011), 1725:

Fujii, Masatoshi; Kim, Young Ok; Ku Nakamoto, Ritsuo. Citation 数理解析研究所講究録 (2011), 1753:

関数型 SIRMs 結合型ファジィ推論法による非線形同定に関する一考察 ( モデリングと最適化の理論 ) Citation 数理解析研究所講究録 (2006), 1526:

Citation 数理解析研究所講究録 (2003), 1334:

Citation 数理解析研究所講究録 (2002), 1244:

systems and harmonic analysis) Citation 数理解析研究所講究録 (2002), 1294:

Citation 数理解析研究所講究録 (2015), 1963:

数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2012), B32:

REGULARITY OF POWERS OF SOME IDEALS. Citation 数理解析研究所講究録 (1999), 1078:

(Theory of Biomathematics and its A. Citation 数理解析研究所講究録 (2010), 1704:

INDISCERNIBLE SEQUENCES AND. notions in model theory) Citation 数理解析研究所講究録 (2010), 1718:

Author(s) SAITO, Yoshihiro; MITSUI, Taketomo. Citation 数理解析研究所講究録 (1991), 746:

Title (Properties of Ideals on $P_\kappa\ Citation 数理解析研究所講究録 (1999), 1095:

in the geometric function theory) Author(s) Shigeyoshi; Darus, Maslina; Cho, Na Citation 数理解析研究所講究録 (2010), 1717: 95-99

Citation 数理解析研究所講究録 (2017), 2014:

Citation 数理解析研究所講究録 (2014), 1898:

Wave and Dispersive Equations) Citation 数理解析研究所講究録 (2004), 1355:

Title Geometric Univalent Function Theory. Citation 数理解析研究所講究録 (2008), 1579:

Title analysis for nonlinear phenomena) Citation 数理解析研究所講究録 (2016), 1997:

independence notions in model theor Citation 数理解析研究所講究録 (2010), 1718:

Citation 数理解析研究所講究録 (2009), 1665:

and Practical Solutions) Citation 数理解析研究所講究録 (2005), 1461:

Citation 数理解析研究所講究録 (2006), 1465:

Citation 数理解析研究所講究録 (2010), 1679:

内部波ビームの3 次元的安定性 ( 非線形波動現象の数理と応用 ) Author(s) Kataoka, Takeshi; Akylas, Triantaph. Citation 数理解析研究所講究録 (2014), 1890: 85-94

Citation 数理解析研究所講究録 (2008), 1605:

Citation 数理解析研究所講究録 (2007), 1570:

Numerical Approximation of Phase Field Models

Title (The 8th Workshop on Stochastic Num. Citation 数理解析研究所講究録 (2009), 1620:

Citation 数理解析研究所講究録 (2000), 1123:

Title Numerics(The 7th Workshop on Stocha. Citation 数理解析研究所講究録 (2006), 1462:


Citation 数理解析研究所講究録 (1997), 1014:

Mode generating effect of the solut. Citation 数理解析研究所講究録 (2005), 1425:

Citation 数理解析研究所講究録 (2015), 1942:

ON THE CAUCHY PROBLEM IN THE MAXWEL Title. Citation 数理解析研究所講究録 (2001), 1234:

Citation 数理解析研究所講究録 (2005), 1452:

and Function spaces and its applica Citation 数理解析研究所講究録 (2009), 1667:

ISOPERIMETRIC REGIONS IN ROTATIONALLY SYMMETRIC CONVEX BODIES

Convex bodies with many elliptic sections

Author(s) Higuchi, Masakazu; Tanaka, Tamaki. Citation 数理解析研究所講究録 (2002), 1298:

BRAUER CORRESPONDENCE AND GREEN. Citation 数理解析研究所講究録 (2008), 1581:

Title series (Analytic Number Theory and. Citation 数理解析研究所講究録 (2009), 1665:

Numerical Simulations on Two Nonlinear Biharmonic Evolution Equations

Citation 数理解析研究所講究録 (2004), 1380:

Citation 数理解析研究所講究録 (1994), 863:

Citation 数理解析研究所講究録 (2009), 1641:

Self-similar solutions to a parabolic system modelling chemotaxis

Title of the notion of independence and d. Citation 数理解析研究所講究録 (2011), 1741:

Citation 数理解析研究所講究録 (2012), 1794:

Citation 数理解析研究所講究録 (2006), 1476:

数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2012), B33:

Science and Their Applications) Citation 数理解析研究所講究録 (2008), 1614:

Def. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =

Classical solutions for the quasi-stationary Stefan problem with surface tension

THE NORMAL OPEN SET ALMOST EQUAL TO. Systems and Computation Theory) Citation 数理解析研究所講究録 (2002), 1268:

Title series (New Aspects of Analytic Num. Citation 数理解析研究所講究録 (2002), 1274:

Citation 数理解析研究所講究録 (2004), 1368:

RADON TRANSFORM OF HYPERFUNCTIONS A PROBLEMS OF SUPPORT. Citation 数理解析研究所講究録 (1996), 937:

TABLE OF CONTENTS 2 CHAPTER 1

NOTES ON BERTRAND CURVES

Citation 数理解析研究所講究録 (2003), 1347:

Algebras, Representations and Quant Title. Approaches from mathematical scienc. Mechanical and Macroscopic Systems)

TitleOccam Algorithms for Learning from. Citation 数理解析研究所講究録 (1990), 731:

ORIENTATION-REVERSING MORSE-SMALE DIFFEOMORPHISMS ON THE TORUS

Munkres Chapter 9. The Fundamental Group

arxiv: v1 [math.gn] 29 Aug 2016

Title Theory and Set-theoretic Topology) Citation 数理解析研究所講究録 (2008), 1595:

TEST CODE: MIII (Objective type) 2010 SYLLABUS

Transcription:

Title The Generalized Fermat-Steiner Prob (Variational Problems and Related T Author(s) Ichikawa, Yosuke; Ikota, Ryo; Yanag Citation 数理解析研究所講究録 (2004), 1405: 131-137 Issue Date 2004-11 URL http://hdl.handle.net/2433/26098 Right Type Departmental Bulletin Paper Textversion publher Kyoto University

to which 1405 2004 131-137 131 The Generalized Fermat-Steiner Problem with Free Ends (Yosuke ICHIKAWA) Mathematical Institute, Tohoku University (Ryo IKOTA) Faculty of Mathematics, Kyushu University (Eiji YANAGIDA) Mathematical Institute, Tohoku University 1 Introduction Let $G=$ ($e_{1}$, e2, $\ldots$, $e_{n}$ ) be a conneted graph such that the degree of its vertices are all 3 except for the end points. In other words, $G$ a network with triple junctions. $\mathrm{n}\subset \mathbb{r}^{2}$ $\Gamma_{G}$ For a given region, a set of line segment called admsible for if $G$ $\Gamma_{G}$ omorphic to and all the end $G$ $\Gamma_{G}$ points of are on an. $\Gamma_{G}$ Figure 1: An example of. $\sigma_{i}$ We assign a positive $e_{i}$ number each edge, which represents surface energy. $\Gamma_{i}$ Denote by $Yi$ $(i=1,2, \ldots, n)$ $e_{i}$ component segments of correspond to. In th study we are concerned with the following problem:

Ti between 132 Problem P. Find an admsible $\Gamma_{G}$ for $G$ that minimizes (1) $E[ \Gamma_{G}]=\sum_{i=1}^{n}\sigma_{i} \gamma_{i} $, $ \gamma_{i} $ where denote the lengths of ). $i$ Th problem ares in grain boundary motions of anealing pure metal. Critical points of represent stationary states of a curvature-driven motion, which models $E[\Gamma_{G}]$ the grain boundary motions. A curvature-driven motion with a triple junction has been introduced by Mullins [6]. Later, the motion was derived formally by Bronsard and Reitich [1] as the singular limit of a vector-valued Allen-Cahn equation. Bronsard and Reitich [1] also showed short-time extence of the motion. Let $\Gamma_{i}(t)(i=1,2,3)$ $t$ represent curves at time $>0$ contained in a tw0-dimensional bounded region with The evolving smooth boundary an. Suppose $\Gamma_{i}(t)(i=1,2,3)$ meet at one point $m(t)$. interface that we consider subject to the following laws: (M1) The normal velocity of the interface given by its curvature. $\theta_{k}$ $\Gamma_{i}(t)$ (M2) At the triple junction $m(t)$, the contact angle and given by Young s law, where $(i,j, k)=$ (1,2, 3), (2, 3, 1), (3, 1, 2). That, for positive, constants $\sigma_{1}$ $\sigma_{2}$, $\sigma_{3}$, $\frac{\sin\theta_{1}}{\sigma_{1}}=\frac{\sin\theta_{2}}{\sigma_{2}}=\frac{\sin\theta_{3}}{\sigma_{3}}$, $\Gamma_{j}(t)$ where $0<\theta_{k}<\pi$ and $\theta_{1}+\theta_{2}+\theta_{3}=2\pi.$ (M3) At the other end of each curve, $\Gamma_{i}(t)$ touches an at the right angle. The interfaces have Energy $E(t)$, which decreases as time goes: $E(t)=\sigma_{1} \Gamma_{1}(t) +\sigma_{2} \Gamma_{2}(t) +\sigma_{3} \Gamma_{3}(t) $, $\Gamma_{i}(t)$ $ $ where (t) $ (i=1,2, 3)$ mean the lengths of curves. Stationary interfaces of the motion can be viewed as critical points of the energy. In th connection Sternberg and Ziemer [7] have proved the extence of local minimizers of the energy in clover-like regions. Here we remark that stationary interfaces const of straight line segments. On the other hand, Ikota and Yanagida [4] have studied stabilities of stationary interfaces of the motion (M1) (M3) by linearizing corresponding equations around the stationary interfaces. They linearized the equations formally and analyzed the resulting elliptic operator rigorously. Later they have extended their results to stationary interfaces of binary-tree type with more than one triple junctions[5]. The results are stated as follows.

. 133 Theorem 1.1. Let $\Gamma=\{\gamma_{i}\}$ $L_{i}$ $\mathrm{y}_{i}$ tree. Denote by the length of be a stationary interface that homeomorphic to a binary Define a charactertic index D by $D= \sum_{\gamma_{i}\in\gamma}\sigma_{i}l_{i}\cross\prod_{\gamma_{i}\in B}h_{i}+\sum_{\gamma_{i}\in B}\{\sigma_{i}\prod_{\gamma_{j}\in B\backslash \{\gamma_{i}\}}h_{j}\}$, where $h_{i}$ $h_{i}$ denotes the curvature of an at the point of contact with $\gamma_{i}\in B$. (Note that taken to be nonpositive if convex.) (i) The unstable dimension $N_{\mathrm{u}}$ given by $N_{\mathrm{U}}=\{$ $m-$ $1$ for $(-1)^{m}D<0,$ $m$ for $(-1)^{m}D>0,$ where $m=\#\{h_{i}<0\}$. (ii) The stationary interface degenerate ($\mathrm{i}.\mathrm{e}.$ only if $D=0.$, there exts a zero eigenvalue) if and We remark that the index $D$ $\Gamma$ independent of the topology of Although Ikota and Yanagida have establhed a stability criterion assuming the the extence of stationary interfaces, it has not been known whether given regions have stationary interfaces in general. The extence problem can be regarded as a variation of the Fermat-Steiner problem[2]. In [4] and [5], stabilities of stationary states have been studied on the assumption of the extence of stationary states. In the present study we show that stationary states do exit for convex Q. Our problem can be regarded as a variant of the Fermat-Steiner problem, though the treatments are quite different. The Fermar-Steiner problem described as follows: for a given triangle AABC, find a point $P$ that minimizes the sum of lengths $ PA + PB + PC $. Th problem was proposed by Fermat to Torricelli. Afterwards Steiner considered the same problem and gave a systematic solution. In [2] Gueron and Tessler solved the weighted Fermat-Steiner problem. They also gave an interesting htorical survey of the problem. Now we are in a position to state our result.

. are 134 Theorem 1.2. Suppose convex. Let $n$ be a positive integer and $G$ a binary tree with $n$ triple junctions. Then there ets at least one critical interface of $E$ which admsible for $G$. 2 Outline of Proof Before proceeding with Problem $\mathrm{p}$, we consider the two phase separation problem with $\mathbb{r}^{2}$ no triple junctions as an illustration. Let be a convex domain in Suppose two points $P_{1}$ and $P_{2}$ are on the boundary an. We seek a critical interface of $E(P_{1}P_{2})=$ $ P_{1}P21$ the length of a line segment. $P_{1}P_{2}$ A simple calculation shows that critical if and only if intersects with an $P_{1}P_{2}$ $P_{1}P_{2}$ at the right angle. Thus all we have to do to find such that are $P_{1}P_{2}$ $P_{1}P_{2}$ orthogonal to an $P_{1}$ $P_{2}$ at both and. $\partial\omega$ We parameterize by an arc length parameter $s:s\mapsto P(s)=(x(s), y(s))\in\partial\omega$. By we denote the tangential vector to OC at $\tau(s)$ $P(s)$, that. $\tau(s)=(\partial/\partial s)(x(s), y(s))$ For any point $P_{1}=P_{1}(s_{1})\in$ an, we can choose $s=s_{2}$ so that parallel to $\tau(s_{2})$ $\tau(s_{1})$. Figure 2: Lines $l_{1}$ and 12 are rotated along an. Then we move $s_{1}$ and observe variations of the dtance, where $d(l_{1}, l_{2})$ $l_{\mathrm{i}}$ tan- $d(l_{1}, l_{2})$ We can easily see that the dtance gential lines to an at $P(s_{i})(i=1,2)$. critical if and only if intersects with an orthogonally. Since has a $P_{1}P_{2}$ $d(l_{1}, l_{2})$ maximum (and a minimum), the energy has a critical interface. $E(P_{1}P_{2})$ Now we turn our attention to Problem P. We consider the case where has a single $G$ triple junction; for more triple junctions we can show the extence of critical interfaces

be Denote 135 by induction. We can easily verify that following two conditions are satfied: $\Gamma_{G}=(\gamma_{1}, )_{2},$ $\gamma_{3})$ critical if and only if the 1. $\angle("/i, r_{j})$ $=\theta_{k}$ $(i,j, k)=(1,2, 3)$, (2, 3, 1), (3, 1, 2). 2. $\gamma_{i}[perp]\partial\omega$ $(i=1,2,3)$. Let be the unit normal to ac at pointing inside $\nu(s_{i})$ $P(s_{i})$ Q. Likewe in the analys of the two phase problem, we can choose $s_{2}$ and for such that $s_{3}$ $\angle(\nu(s_{i}), \mathrm{v}(8\mathrm{j}))$ $=\theta_{k}$, $(i,\dot{\mathrm{y}}, k)=(1,2,3)$, (2, 3, 1), (3, 1, 2). $s_{1}$ Figure 3: Lines $n_{1}$, $n_{2}$, $n_{3}$ are rotated. $\mathcal{t}$ $l_{1}$ $l_{2}$ $l_{3}$ $l_{i}$ Let the triangle composed of,,, where are again the tangential lines $\mathcal{t}$ at $P_{i}=P(s_{i})$, and $T(s)$ the area of by $n_{i}$ the normal line to ac $P_{i}$ at. Then we can prove that ni, $n_{2}$, $n_{3}$ meet at one point if and only if $dt/ds$ $=0.$ Th indicates that the $n_{i}$ $\Gamma_{G}$ $(i= 1,2, 3)$ make a critical. 3 Concluding Remarks If not convex, the approach we took in the previous section does not work in general. We illustrate it in the two phase problem. Let, $a$ $\mathbb{r}^{2}$ $b$ be positive constants. We introduce two graphs in : $y=g_{1}(x)=(x-a)^{3}$, $y=g_{2}(x)=x^{3}+b.$

136 Suppose an represented by and $g_{1}(x)$ $\mathrm{g}2(x)$ locally. We parameterize the two parts as $(\xi, (\xi-a)^{3})$ and respectively. Here 4 runs over some interval. $(-\xi_{\mathrm{i}}-4^{3}+b)$ $(-\delta, \delta)$ $l_{1}$ $l_{2}$ Then the dtance between and are given by $d(l_{1}, l_{2})=(4\xi^{3}+3a\xi^{2}+b)/\sqrt{9\xi^{4}+1}$. Straightforward calculation shows that $\mathrm{z}$ $1(l_{1}, l_{2}) _{\xi=0}=0.$ However the two normal lines at $4=0$ do not coincide. $y$ $=g_{2}(x)$ $-a)^{3}$ Figure 4: The critical lines of the dtance $d(l_{1}, l_{2})$ do not coincide. References [1] L. Bronsard and F. Reitich. On three-phase boundary motion and the singular limit of a vector-valued Ginzburg-Landau equation. Arch. Rat. Mech., 124:355-379, 1993. [2] S. Gueron and R. Tessler, The Fermat-Steiner problem. Amer. Math. Monthly, 109(5):443-451, 2002. [3] Y. Ichikawa, Master Thes. 2004.

137 [4] R. Ikota and E. Yanagida. A stability criterion for stationary curves to the curvature-driven motion with a triple junction. Differential Integral Equations, 16(6) ) 2003. [5] R. Ikota and E. Yanagida. Stability of Stationary Interfaces of Binary-Tree Type, to appear in Calc. Var. Parital Differential Equations. [6] W. W. Mullins. TwO-dimensional motion of idealized grain boundaries. J. Appl. Phys., 27(8):900-904, 1956. [7] P. Sternberg and W. P. Ziemer. Local minimizers of a three phase partition problem with triple junctions. Proc. Royal Soc. Edin., $124\mathrm{A}:1059$ -1073, 1994.