-
Kobayashi-Warren-Carter System of Singular Type under Dynamic Boundary Condition
Authors:
Ryota Nakayashiki,
Ken Shirakawa
Abstract:
In this paper, we consider a coupled system, known as Kobayashi--Warren--Carter system, abbreviated as the KWC system. KWC system consists of an Allen--Cahn type equation and a singular diffusion equation, and it was proposed by [Kobayashi et al, Phys. D, 140, 141--150 (2000)] as a possible mathematical model of grain boundary motion. The focus of this work is on the dynamic boundary condition imp…
▽ More
In this paper, we consider a coupled system, known as Kobayashi--Warren--Carter system, abbreviated as the KWC system. KWC system consists of an Allen--Cahn type equation and a singular diffusion equation, and it was proposed by [Kobayashi et al, Phys. D, 140, 141--150 (2000)] as a possible mathematical model of grain boundary motion. The focus of this work is on the dynamic boundary condition imposed in our KWC system, and the mathematical interest is in a conflicting situation between: the continuity of the transmission condition included in the dynamic boundary condition; and the discontinuity encouraged by the singular diffusion equation. On this basis, we will prove the Main Theorem concerned with the existence of solution to our KWC system with energy-dissipation. Additionally, as a sub-result, we will prove a key-lemma that is to give a certain mathematical interpretation for the conflicting situation.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Optimal control problems for 1D parabolic state-systems of KWC types with dynamic boundary conditions
Authors:
Shodai Kubota,
Ryota Nakayashiki,
Ken Shirakawa
Abstract:
In this paper, we consider a class of optimal control problems governed by 1D parabolic state-systems of KWC types with dynamic boundary conditions. The state-systems are based on a phase-field model of grain boundary motion, proposed in [Kobayashi--Warren--Carter, Physica D, 140, 141--150, 2000], and in the context, the dynamic boundary conditions are supposed to reproduce the transmitted heat ex…
▽ More
In this paper, we consider a class of optimal control problems governed by 1D parabolic state-systems of KWC types with dynamic boundary conditions. The state-systems are based on a phase-field model of grain boundary motion, proposed in [Kobayashi--Warren--Carter, Physica D, 140, 141--150, 2000], and in the context, the dynamic boundary conditions are supposed to reproduce the transmitted heat exchanges between interior and boundary of a polycrystal body. Our optimal control problems are labeled by using a constant $ \varepsilon \geq 0 $, and roughly summarized, the case when $ \varepsilon = 0 $ and the cases when $ \varepsilon > 0 $ correspond to the physically realistic setting, and its regularized approximating ones, respectively. Under suitable assumptions, the mathematical results concerned with: the solvability and continuous dependence for the state-systems; the solvability and $ \varepsilon $-dependence of optimal control problems; and the first order necessary optimality conditions in the problems when $ \varepsilon > 0 $ and the limiting optimality condition as $ \varepsilon \downarrow 0 $; will be obtained in forms of three Main Theorems of this paper.
△ Less
Submitted 30 September, 2020;
originally announced October 2020.
-
On boundary detachment phenomena for the total variation flow with dynamic boundary conditions
Authors:
Yoshikazu Giga,
Ryota Nakayashiki,
Piotr Rybka,
Ken Shirakawa
Abstract:
We combine the total variation flow suitable for crystal modeling and image analysis with the dynamic boundary conditions. We analyze the behavior of facets at the parts of the boundary where these conditions are imposed. We devote particular attention to the radially symmetric data. We observe that the boundary layer detachment actually can happen at concave parts of the boundary
We combine the total variation flow suitable for crystal modeling and image analysis with the dynamic boundary conditions. We analyze the behavior of facets at the parts of the boundary where these conditions are imposed. We devote particular attention to the radially symmetric data. We observe that the boundary layer detachment actually can happen at concave parts of the boundary
△ Less
Submitted 21 January, 2019;
originally announced January 2019.
-
Weak formulation for singular diffusion equation with dynamic boundary condition
Authors:
Ryota Nakayashiki,
Ken Shirakawa
Abstract:
In this paper, we propose a weak formulation of the singular diffusion equation subject to the dynamic boundary condition. The weak formulation is based on a reformulation method by an evolution equation including the subdifferential of a governing convex energy. Under suitable assumptions, the principal results of this study are stated in forms of Main Theorems A and B, which are respectively to…
▽ More
In this paper, we propose a weak formulation of the singular diffusion equation subject to the dynamic boundary condition. The weak formulation is based on a reformulation method by an evolution equation including the subdifferential of a governing convex energy. Under suitable assumptions, the principal results of this study are stated in forms of Main Theorems A and B, which are respectively to verify: the adequacy of the weak formulation; the common property between the weak solutions and those in regular problems of standard PDEs.
△ Less
Submitted 6 May, 2017;
originally announced May 2017.
-
A class of quasi-linear Allen-Cahn type equations with dynamic boundary conditions
Authors:
Pierluigi Colli,
Gianni Gilardi,
Ryota Nakayashiki,
Ken Shirakawa
Abstract:
In this paper, we consider a class of coupled systems of PDEs, denoted by (ACE)$_{\varepsilon}$ for $ \varepsilon \geq 0 $. For each $ \varepsilon \geq 0 $, the system (ACE)$_{\varepsilon}$ consists of an Allen-Cahn type equation in a bounded spacial domain $ Ω$, and another Allen-Cahn type equation on the smooth boundary $ Γ:= \partial Ω$, and besides, these coupled equations are transmitted via…
▽ More
In this paper, we consider a class of coupled systems of PDEs, denoted by (ACE)$_{\varepsilon}$ for $ \varepsilon \geq 0 $. For each $ \varepsilon \geq 0 $, the system (ACE)$_{\varepsilon}$ consists of an Allen-Cahn type equation in a bounded spacial domain $ Ω$, and another Allen-Cahn type equation on the smooth boundary $ Γ:= \partial Ω$, and besides, these coupled equations are transmitted via the dynamic boundary conditions. In particular, the equation in $ Ω$ is derived from the non-smooth energy proposed by Visintin in his monography "Models of phase transitions": hence, the diffusion in $ Ω$ is provided by a quasilinear form with singularity. The objective of this paper is to build a mathematical method to obtain meaningful $ L^2 $-based solutions to our systems, and to see some robustness of (ACE)$_\varepsilon$ with respect to $ \varepsilon \geq 0 $. On this basis, we will prove two Main Theorems 1 and 2, which will be concerned with the well-posedness of (ACE)$_\varepsilon$ for each $ \varepsilon \geq 0 $, and the continuous dependence of solutions to (ACE)$_\varepsilon$ for the variations of $ \varepsilon \geq 0 $, respectively.
△ Less
Submitted 28 October, 2016; v1 submitted 27 October, 2016;
originally announced October 2016.