-
Energy-consistent dynamic fracture phase field models: unilateral constraints and finite element simulations
Authors:
Md Mamun Miah,
Ryuhei Wakida,
Masato Kimura
Abstract:
Phase field models have emerged as a powerful and flexible framework for simulating complex interface-driven phenomena across a wide range of scientific and engineering applications. In fracture mechanics, the phase field approach--formulated as a gradient flow of the Griffith fracture energy with Ambrosio-Tortorelli regularization--has gained significant attention for its ability to capture compl…
▽ More
Phase field models have emerged as a powerful and flexible framework for simulating complex interface-driven phenomena across a wide range of scientific and engineering applications. In fracture mechanics, the phase field approach--formulated as a gradient flow of the Griffith fracture energy with Ambrosio-Tortorelli regularization--has gained significant attention for its ability to capture complex crack topologies. In this study, we propose a dynamic fracture phase field model (DF-PFM) based on the elastodynamic wave equation. We further extend this framework by incorporating a unilateral contact condition, yielding a refined model suitable for simulating fault rupture under high pressure. For both models, we formally derive energy dissipation identities under mixed boundary conditions, providing insights into the energetic structure of the formulations. To validate the proposed approach, we conduct numerical experiments using linear implicit time discretization and finite element methods. Our simulations demonstrate that the unilateral contact condition is essential for accurately capturing shear-dominated crack propagation and preventing non-physical interpenetration, especially under high-compression loading scenarios relevant to seismic faulting.
△ Less
Submitted 20 June, 2025; v1 submitted 27 May, 2025;
originally announced June 2025.
-
Mass conservation and gelation for the Smoluchowski coagulation equation: a generalized moment approach
Authors:
Masato Kimura,
Hisanori Miyata
Abstract:
The Smoluchowski coagulation equation (SCE) is a population balance model that describes the time evolution of cluster size distributions resulting from particle aggregation. Although it is formally a mass-conserving system, solutions may exhibit a gelation phenomenon-a sudden loss of mass-when the coagulation kernel grows superlinearly. In this paper, we rigorously analyze mass conservation and g…
▽ More
The Smoluchowski coagulation equation (SCE) is a population balance model that describes the time evolution of cluster size distributions resulting from particle aggregation. Although it is formally a mass-conserving system, solutions may exhibit a gelation phenomenon-a sudden loss of mass-when the coagulation kernel grows superlinearly. In this paper, we rigorously analyze mass conservation and gelation for weak solutions to the SCE with inhomogeneous coagulation kernels. By introducing a generalized moment framework, we derive sharp sufficient conditions for both mass conservation and gelation, expressed in terms of the initial data and the properties of the coagulation kernel.
△ Less
Submitted 14 May, 2025;
originally announced June 2025.
-
Generalized Power Priors for Improved Bayesian Inference with Historical Data
Authors:
Masanari Kimura,
Howard Bondell
Abstract:
The power prior is a class of informative priors designed to incorporate historical data alongside current data in a Bayesian framework. It includes a power parameter that controls the influence of historical data, providing flexibility and adaptability. A key property of the power prior is that the resulting posterior minimizes a linear combination of KL divergences between two pseudo-posterior d…
▽ More
The power prior is a class of informative priors designed to incorporate historical data alongside current data in a Bayesian framework. It includes a power parameter that controls the influence of historical data, providing flexibility and adaptability. A key property of the power prior is that the resulting posterior minimizes a linear combination of KL divergences between two pseudo-posterior distributions: one ignoring historical data and the other fully incorporating it. We extend this framework by identifying the posterior distribution as the minimizer of a linear combination of Amari's $α$-divergence, a generalization of KL divergence. We show that this generalization can lead to improved performance by allowing for the data to adapt to appropriate choices of the $α$ parameter. Theoretical properties of this generalized power posterior are established, including behavior as a generalized geodesic on the Riemannian manifold of probability distributions, offering novel insights into its geometric interpretation.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Flux homomorphism and bilinear form constructed from Shelukhin's quasimorphism
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Shuhei Maruyama,
Takahiro Matsushita,
Masato Mimura
Abstract:
Given a closed connected symplectic manifold $(M,ω)$, we construct an alternating $\mathbb{R}$-bilinear form $\mathfrak{b}=\mathfrak{b}_{μ_{\mathrm{Sh}}}$ on the real first cohomology of $M$ from Shelukhin's quasimorphism $μ_{\mathrm{Sh}}$. Here $μ_{\mathrm{Sh}}$ is defined on the universal cover of the group of Hamiltonian diffeomorphisms on $(M,ω)$. This bilinear form is invariant under the symp…
▽ More
Given a closed connected symplectic manifold $(M,ω)$, we construct an alternating $\mathbb{R}$-bilinear form $\mathfrak{b}=\mathfrak{b}_{μ_{\mathrm{Sh}}}$ on the real first cohomology of $M$ from Shelukhin's quasimorphism $μ_{\mathrm{Sh}}$. Here $μ_{\mathrm{Sh}}$ is defined on the universal cover of the group of Hamiltonian diffeomorphisms on $(M,ω)$. This bilinear form is invariant under the symplectic mapping class group action, and $\mathfrak{b}$ yields a constraint on the fluxes of commuting two elements in the group of symplectomorphisms on $(M,ω)$. These results might be seen as an analog of Rousseau's result for an open connected symplectic manifold, where he recovered the symplectic pairing from the Calabi homomorphism. Furthermore, $\mathfrak{b}$ controls the extendability of Shelukhin's quasimorphisms, as well as the triviality of a characteristic class of Reznikov. To construct $\mathfrak{b}$, we build general machinery for a group $G$ of producing a real-valued $\mathbb{Z}$-bilinear form $\mathfrak{b}_μ$ from a $G$-invariant quasimorphism $μ$ on the commutator subgroup of $G$.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Non-extendablity of Shelukhin's quasimorphism and non-triviality of Reznikov's class
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Shuhei Maruyama,
Takahiro Matsushita,
Masato Mimura
Abstract:
Shelukhin constructed a quasimorphism on the universal covering of the group of Hamiltonian diffeomorphisms for a general closed symplectic manifold. In the present paper, we prove the non-extendability of that quasimorphism for certain symplectic manifolds, such as a blow-up of torus and the product of a surface of genus at least two and a closed symplectic manifold. As its application, we prove…
▽ More
Shelukhin constructed a quasimorphism on the universal covering of the group of Hamiltonian diffeomorphisms for a general closed symplectic manifold. In the present paper, we prove the non-extendability of that quasimorphism for certain symplectic manifolds, such as a blow-up of torus and the product of a surface of genus at least two and a closed symplectic manifold. As its application, we prove the non-vanishing of Reznikov's characteristic class for the above symplectic manifolds.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Relative simplicity of the universal coverings of transformation groups and Tsuboi's metric
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Hiroki Kodama,
Yoshifumi Matsuda,
Takahiro Matsushita,
Ryuma Orita
Abstract:
Many transformation groups on manifolds are simple, but their universal coverings are not. In the present paper, we study the concept of relatively simple group, that is, a group with the maximum proper normal subgroup. We show that many examples of universal coverings of transformation groups are relatively simple, including the universal covering $\widetilde{\mathrm{Ham}}(M,ω)$ of the group of H…
▽ More
Many transformation groups on manifolds are simple, but their universal coverings are not. In the present paper, we study the concept of relatively simple group, that is, a group with the maximum proper normal subgroup. We show that many examples of universal coverings of transformation groups are relatively simple, including the universal covering $\widetilde{\mathrm{Ham}}(M,ω)$ of the group of Hamiltonian diffeomorphisms of a closed symplectic manifold $(M,ω)$.
Tsuboi constructed a metric space $\mathcal{M}(G)$ for a simple group $G$. We generalize his construction to relatively simple groups, and study their large scale geometric structure. In particular, Tsuboi's metric space of $\widetilde{\mathrm{Ham}}(M, ω)$ is not quasi-isometric to the half line for every closed symplectic manifold $(M,ω)$.
△ Less
Submitted 1 December, 2024;
originally announced December 2024.
-
Topological vortex identification for Hamiltonian flows in doubly periodic domains
Authors:
Mitsuaki Kimura,
Takashi Sakajo,
Tomoo Yokoyama
Abstract:
The motion of two-dimensional incompressible and viscous fluids in doubly periodic domains is often used as a numerical model to investigate the dynamics and statistical properties of two-dimensional (2d) turbulence. In the study of 2d turbulence, it is important to describe interactions of coherent vortex structures of various sizes in turbulent flows, but identifying such vortex structures accur…
▽ More
The motion of two-dimensional incompressible and viscous fluids in doubly periodic domains is often used as a numerical model to investigate the dynamics and statistical properties of two-dimensional (2d) turbulence. In the study of 2d turbulence, it is important to describe interactions of coherent vortex structures of various sizes in turbulent flows, but identifying such vortex structures accurately from complex flow patterns is not easy. In this paper, we provide a classification theory for the topological structure of particle orbits generated by two-dimensional Hamiltonian flows on a flat torus $\mathbb{T}^2$, which is a mathematical model of 2d incompressible and viscous flows. Based on this theory, we show that the global orbit structure of every Hamiltonian flow is converted into a planar tree, called {\it a partially Cyclically-Ordered rooted Tree (COT)}, and its string expression (COT representation). Applying the conversion algorithm to snapshots of two-dimensional free-decaying turbulence and enstrophy cascade turbulence, we demonstrate that the topological structure of a complex flow pattern can be represented by a simple tree and a sequence of letters by the conversion algorithm, thereby extracting coherent vortex structures successfully from the viewpoint of topology.
△ Less
Submitted 25 October, 2024;
originally announced October 2024.
-
Universal approximation property of ODENet and ResNet with a single activation function
Authors:
Masato Kimura,
Kazunori Matsui,
Yosuke Mizuno
Abstract:
We study a universal approximation property of ODENet and ResNet. The ODENet is a map from an initial value to the final value of an ODE system in a finite interval. It is considered a mathematical model of a ResNet-type deep learning system. We consider dynamical systems with vector fields given by a single composition of the activation function and an affine mapping, which is the most common cho…
▽ More
We study a universal approximation property of ODENet and ResNet. The ODENet is a map from an initial value to the final value of an ODE system in a finite interval. It is considered a mathematical model of a ResNet-type deep learning system. We consider dynamical systems with vector fields given by a single composition of the activation function and an affine mapping, which is the most common choice of the ODENet or ResNet vector field in actual machine learning systems. We show that such an ODENet and ResNet with a restricted vector field can uniformly approximate ODENet with a general vector field.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
On the well-posedness of a Hele-Shaw-like system resulting from an inverse geometry problem formulated through a shape optimization setting
Authors:
Julius Fergy Tiongson Rabago,
Masato Kimura
Abstract:
The purpose of this study is twofold. First, we revisit a shape optimization reformulation of a prototypical shape inverse problem and briefly propose a simple yet efficient numerical approach for solving the corresponding minimization problem. Second, we examine the existence, uniqueness, and continuous dependence of a classical solution to a Hele-Shaw-like system, which is derived from the conti…
▽ More
The purpose of this study is twofold. First, we revisit a shape optimization reformulation of a prototypical shape inverse problem and briefly propose a simple yet efficient numerical approach for solving the corresponding minimization problem. Second, we examine the existence, uniqueness, and continuous dependence of a classical solution to a Hele-Shaw-like system, which is derived from the continuous setting of a numerical discretization of the shape optimization reformulation for the shape inverse problem. The analysis is based on the methods developed by G. I. Bizhanova and V. A. Solonnikov in ``On Free Boundary Problems for Second Order Parabolic Equations" (Algebra Anal. 12 (6) (2000) 98-139), and by V. A. Solonnikov in ``Lectures on Evolution Free Boundary Problems: Classical Solutions" (Lect. Notes Math., Springer, 2003, pp. 123-175).
△ Less
Submitted 26 June, 2025; v1 submitted 3 July, 2024;
originally announced July 2024.
-
Anisotropic extended Burgers model, its relaxation tensor and properties of the associated Boltzmann viscoelastic system
Authors:
Maarten de Hoop,
Masato Kimura,
Ching-Lung Lin,
Gen Nakamura,
Kazumi Tanuma
Abstract:
We provide a new method for constructing the anisotropic relaxation tensor and proving its exponential decay property for the extended Burgers model (abbreviated by EBM). The EBM is an important viscoelasticity model in rheology, and used in Earth and planetary sciences. Upon having this tensor, the EBM can be converted to a Boltzmann-type viscoelastic system of equations (abbreviated by BVS). His…
▽ More
We provide a new method for constructing the anisotropic relaxation tensor and proving its exponential decay property for the extended Burgers model (abbreviated by EBM). The EBM is an important viscoelasticity model in rheology, and used in Earth and planetary sciences. Upon having this tensor, the EBM can be converted to a Boltzmann-type viscoelastic system of equations (abbreviated by BVS). Historically, the relaxation tensor for the EBM is derived by solving the constitutive equation using the Laplace transform. (We refer to this approach by the L-method.) Since inverting the inverse Laplace transform needs a partial fractions expansion, the L-method needs to assume that the EBM elasticity tensors satisfy a commutivity condition. The new method not only avoids this condition but also enables obtaining several important properties of the relaxation tensor, including its positivity, smoothness with respect to the time variable, its exponential decay property together with its derivative, and its causality. Furthermore, we show that the BVS converted from the EBM has the exponential decay property. That is, any solution for its initial boundary value problem with homogeneous boundary data and source decays exponentially as time tends to infinity.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Invariant quasimorphisms and generalized mixed Bavard duality
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Shuhei Maruyama,
Takahiro Matsushita,
Masato Mimura
Abstract:
This article provides an expository account of the celebrated duality theorem of Bavard and three its strengthenings. The Bavard duality theorem connects scl (stable commutator length) and quasimorphisms on a group. Calegari extended the framework from a group element to a chain on the group, and established the generalized Bavard duality. Kawasaki, Kimura, Matsushita and Mimura studied the settin…
▽ More
This article provides an expository account of the celebrated duality theorem of Bavard and three its strengthenings. The Bavard duality theorem connects scl (stable commutator length) and quasimorphisms on a group. Calegari extended the framework from a group element to a chain on the group, and established the generalized Bavard duality. Kawasaki, Kimura, Matsushita and Mimura studied the setting of a pair of a group and its normal subgroup, and obtained the mixed Bavard duality. The first half of the present article is devoted to an introduction to these three Bavard dualities. In the latter half, we present a new strengthening, the generalized mixed Bavard duality, and provide a self-contained proof of it. This third strengthening recovers all of the Bavard dualities treated in the first half; thus, we supply complete proofs of these four Bavard dualities in a unified manner. In addition, we state several results on the space $\mathrm{W}(G,N)$ of non-extendable quasimorphisms, which is related to the comparison problem between scl and mixed scl via the mixed Bavard duality.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Two-step minimization approach to an $L^\infty$-constrained variational problem with a generalized potential
Authors:
Vina Apriliani,
Masato Kimura,
Hiroshi Ohtsuka
Abstract:
We study a variational problem on $H^1({\mathbb R})$ under an $L^\infty$-constraint related to Sobolev-type inequalities for a class of generalized potentials, including $L^p$-potentials, non-positive potentials, and signed Radon measures. We establish various essential tools for this variational problem, including the decomposition principle, the comparison principle, and the perturbation theorem…
▽ More
We study a variational problem on $H^1({\mathbb R})$ under an $L^\infty$-constraint related to Sobolev-type inequalities for a class of generalized potentials, including $L^p$-potentials, non-positive potentials, and signed Radon measures. We establish various essential tools for this variational problem, including the decomposition principle, the comparison principle, and the perturbation theorem, which are the basis of the two-step minimization method. As for their applications, we present precise results for minimizers of minimization problems, such as the study of potentials of Dirac's delta measure type and the analysis of trapped modes in potential wells.
△ Less
Submitted 21 May, 2024; v1 submitted 27 April, 2024;
originally announced May 2024.
-
What is the physical origin of the gradient flow structure of variational fracture models?
Authors:
Masato Kimura,
Takeshi Takaishi,
Yoshimi Tanaka
Abstract:
We investigate a physical characterization of the gradient flow structure of variational fracture models for brittle materials: a Griffith-type fracture model and an irreversible fracture phase field model. We derive the Griffith-type fracture model by assuming that the fracture energy in Griffith's theory is an increasing function of the crack tip velocity. Such a velocity dependence of the fract…
▽ More
We investigate a physical characterization of the gradient flow structure of variational fracture models for brittle materials: a Griffith-type fracture model and an irreversible fracture phase field model. We derive the Griffith-type fracture model by assuming that the fracture energy in Griffith's theory is an increasing function of the crack tip velocity. Such a velocity dependence of the fracture energy is typically observed in polymers. We also prove an energy dissipation identity of the Griffith-type fracture model, in other words, its gradient flow structure. On the other hand, the irreversible fracture phase field model is derived as a unidirectional gradient flow of a regularized total energy with a small time relaxation parameter based on the variational fracture theory by Francfort and Marigo (1998) and a mathematical space regularization proposed by Ambrosio and Tortorelli (1992). We have considered the time relaxation parameter a mathematical approximation parameter, which we should choose as small as possible. In this research, however, we reveal the physical origin of the gradient flow structure of the fracture phase field model and show that the small time relaxation parameter is characterized as the rate of velocity dependence of the fracture energy. It is verified by comparing the energy dissipation properties of those two models and by analyzing a traveling wave solution of the irreversible fracture phase field model.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
Two-step minimization approach to Sobolev-type inequality with bounded potential in 1D
Authors:
Vina Apriliani,
Masato Kimura,
Hiroshi Ohtsuka
Abstract:
We present a new method to determine the best constant of the Sobolev-type embedding in one dimension with a norm including a bounded inhomogeneous potential term. This problem is closely connected to the Green function of the Schrödinger operator with inhomogeneous potential. A minimization problem of a Rayleigh-type quotient in a Sobolev space gives the best constant of the Sobolev embedding. We…
▽ More
We present a new method to determine the best constant of the Sobolev-type embedding in one dimension with a norm including a bounded inhomogeneous potential term. This problem is closely connected to the Green function of the Schrödinger operator with inhomogeneous potential. A minimization problem of a Rayleigh-type quotient in a Sobolev space gives the best constant of the Sobolev embedding. We decompose the minimization problem into two sub-minimization problems and show that the Green function provides the minimizer of the first minimization problem. Then, it enables us to derive a new precise estimate of the best constant and function for inhomogeneous bounded potential cases. As applications, we give some examples of the inhomogeneous potential whose best constant and function of the Sobolev-type embedding are explicitly determined.
△ Less
Submitted 4 February, 2024; v1 submitted 21 October, 2023;
originally announced November 2023.
-
Resolvent Estimates for Viscoelastic Systems of Extended Maxwell Type and their Applications
Authors:
Maarten V. de Hoop,
Masato Kimura,
Ching-Lung Lin,
Gen Nakamura
Abstract:
In the theory of viscoelasticity, an important class of models admits a representation in terms of springs and dashpots. Widely used members of this class are the Maxwell model and its extended version. This paper concerns resolvent estimates for the system of equations for the anisotropic, extended Maxwell model, abbreviated as the EMM, and its marginal realization which includes an inertia term;…
▽ More
In the theory of viscoelasticity, an important class of models admits a representation in terms of springs and dashpots. Widely used members of this class are the Maxwell model and its extended version. This paper concerns resolvent estimates for the system of equations for the anisotropic, extended Maxwell model, abbreviated as the EMM, and its marginal realization which includes an inertia term; special attention is paid to the introduction of augmented variables. This leads to the augmented system that will also be referred to as the "original" system. A reduced system is then formed which encodes essentially the EMM; it is a closed system with respect to the particle velocity and the difference between the elastic and viscous strains. Based on resolvent estimates, it is shown that the original and reduced systems generate $C_0$-groups and the reduced system generates a $C_0$-semigroup of contraction. Naturally, the EMM can be written in integrodifferential form leading explicitly to relaxation and a viscoelastic integro-differential system. However, there is a difference between the original and integrodifferential systems, in general, with consequences for whether their solutions generate semigroups or not. Finally, an energy estimate is obtained for the reduced system, and it is proven that its solutions decay exponentially as time tends to infinity. The limiting amplitude principle follows readily from these two results.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Coarse group theoretic study on stable mixed commutator length
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Shuhei Maruyama,
Takahiro Matsushita,
Masato Mimura
Abstract:
Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$ equals the stable commutator length $scl_G$ on the commutator subgroup $[G,G]$. For this purpose, we regard $scl_{G,N}$ not only as a function from $[G,N]$ to…
▽ More
Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$ equals the stable commutator length $scl_G$ on the commutator subgroup $[G,G]$. For this purpose, we regard $scl_{G,N}$ not only as a function from $[G,N]$ to $\mathbb{R}_{\geq 0}$, but as a bi-invariant metric function $d^+_{scl_{G,N}}$ from $[G,N]\times [G,N]$ to $\mathbb{R}_{\geq 0}$. Our main focus is coarse group theoretic structures of $([G,N],d^+_{scl_{G,N}})$. Our preliminary result (the absolute version) connects, via the Bavard duality, $([G,N],d^+_{scl_{G,N}})$ and the quotient vector space of the space of $G$-invariant quasimorphisms on $N$ over one of such homomorphisms. In particular, we prove that the dimension of this vector space equals the asymptotic dimension of $([G,N],d^+_{scl_{G,N}})$.
Our main result is the comparative version: we connect the coarse kernel, formulated by Leitner and Vigolo, of the coarse homomorphism $ι_{G,N}\colon ([G,N],d^+_{scl_{G,N}})\to ([G,N],d^+_{scl_{G}})$; $y\mapsto y$, and a certain quotient vector space $W(G,N)$ of the space of invariant quasimorphisms. Assume that $N=[G,G]$ and that $W(G,N)$ is finite dimensional with dimension $\ell$. Then we prove that the coarse kernel of $ι_{G,N}$ is isomorphic to $\mathbb{Z}^{\ell}$ as a coarse group. In contrast to the absolute version, the space $W(G,N)$ is finite dimensional in many cases, including all $(G,N)$ with finitely generated $G$ and nilpotent $G/N$. As an application of our result, given a group homomorphism $\varphi\colon G\to H$ between finitely generated groups, we define an $\mathbb{R}$-linear map `inside' the groups, which is dual to the naturally defined $\mathbb{R}$-linear map from $W(H,[H,H])$ to $W(G,[G,G])$ induced by $\varphi$.
△ Less
Submitted 3 April, 2025; v1 submitted 14 June, 2023;
originally announced June 2023.
-
Automorphisms of fine curve graphs for nonorientable surfaces
Authors:
Mitsuaki Kimura,
Erika Kuno
Abstract:
The fine curve graph of a surface was introduced by Bowden, Hensel, and Webb as a graph consisting of essential simple closed curves on the surface. Long, Margalit, Pham, Verberne, and Yao proved that the automorphism group of the fine curve graph of a closed orientable surface is isomorphic to the homeomorphism group of the surface. In this paper, based on their argument, we prove that the automo…
▽ More
The fine curve graph of a surface was introduced by Bowden, Hensel, and Webb as a graph consisting of essential simple closed curves on the surface. Long, Margalit, Pham, Verberne, and Yao proved that the automorphism group of the fine curve graph of a closed orientable surface is isomorphic to the homeomorphism group of the surface. In this paper, based on their argument, we prove that the automorphism group of the fine curve graph of a closed nonorientable surface $N$ of genus $g \geq 4$ is isomorphic to the homeomorphism group of $N$.
△ Less
Submitted 30 April, 2024; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Survey on invariant quasimorphisms and stable mixed commutator length
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Shuhei Maruyama,
Takahiro Matsushita,
Masato Mimura
Abstract:
A homogeneous quasimorphism $φ$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $φ(gxg^{-1}) = φ(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of…
▽ More
A homogeneous quasimorphism $φ$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $φ(gxg^{-1}) = φ(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of the stable mixed commutator length $\mathrm{scl}_{G,N}$, which is a certain generalization of the stable commutator length $\mathrm{scl}_G$.
In this survey, we review the history and recent developments of invariant quasimorphisms and stable mixed commutator length. The topics we treat include several examples of invariant quasimorphisms, Bavard's duality theorem for invariant quasimorphisms, Aut-invariant quasimorphisms, and the estimation of the dimension of spaces of non-extendable quasimorphisms. We also mention the extension problem of partial quasimorphisms.
△ Less
Submitted 28 January, 2024; v1 submitted 21 December, 2022;
originally announced December 2022.
-
Persistent homology analysis with nonnegative matrix factorization for 3D voxel data of iron ore sinters
Authors:
Ippei Obayashi,
Masao Kimura
Abstract:
This paper proposes a data analysis method using persistent homology and nonnegative matrix factorization. A concatenated persistence image technique is used to extract coexisting structures from the persistence diagrams of different dimensions hidden behind the data. To demonstrate the potential of our method, we apply the method to 3D voxel data of iron ore sinters obtained by X-ray computed tom…
▽ More
This paper proposes a data analysis method using persistent homology and nonnegative matrix factorization. A concatenated persistence image technique is used to extract coexisting structures from the persistence diagrams of different dimensions hidden behind the data. To demonstrate the potential of our method, we apply the method to 3D voxel data of iron ore sinters obtained by X-ray computed tomography. The analysis successfully captures the coexistence structures in these iron ore sinters.
△ Less
Submitted 25 August, 2022;
originally announced August 2022.
-
A two-step Lagrange-Galerkin scheme for the shallow water equations with a transmission boundary condition and its application to the Bay of Bengal region. Part I: Flat bottom topography
Authors:
Md Mamunur Rasid,
Masato Kimura,
Md Masum Murshed,
Erny Rahayu Wijayanti,
Hirofumi Notsu
Abstract:
This study presents a two-step Lagrange-Galerkin scheme for the shallow water equations with a transmission boundary condition (TBC). Firstly, the experimental order of convergence of the scheme is shown to see the second-order accuracy in time. Secondly, the effect of the TBC on a simple domain is discussed; the artificial reflections are kept from the Dirichlet boundaries and removed significant…
▽ More
This study presents a two-step Lagrange-Galerkin scheme for the shallow water equations with a transmission boundary condition (TBC). Firstly, the experimental order of convergence of the scheme is shown to see the second-order accuracy in time. Secondly, the effect of the TBC on a simple domain is discussed; the artificial reflections are kept from the Dirichlet boundaries and removed significantly from the transmission boundaries. Thirdly, the scheme is applied to a complex practical domain, i.e., the Bay of Bengal region, which is non-convex and includes islands. The effect of the TBC is discussed again for the complex domain; the artificial reflections are removed significantly from transmission boundaries, which are set on open sea boundaries. Based on the numerical results, it is revealed that the scheme has the following properties; (i) the same advantages of Lagrange-Galerkin methods (the CFL-free robustness for convection-dominated problems and the symmetry of the matrices for the system of linear equations); (ii) second-order accuracy in time; (iii) mass preservation of the function for the water level from the reference height (until the contact with the transmission boundaries of the wave); and (iv) no significant artificial reflection from the transmission boundaries. The numerical results by the scheme are presented in this paper for the flat bottom topography of the domain. In the next part of this work, Part II, the scheme will be applied to rapidly varying bottom surfaces and a real bottom topography of the Bay of Bengal region.
△ Less
Submitted 11 February, 2023; v1 submitted 2 July, 2022;
originally announced July 2022.
-
A Twistor Construction of Hopf Real Hypersurfaces in Complex hyperbolic Space
Authors:
Jong Taek Cho,
Makoto Kimura,
Miguel Ortega
Abstract:
It is very well known that Hopf real hypersurfaces in the complex projective space can be locally characterized as tubes over complex submanifolds. This also holds true for some, but not all, Hopf real hypersurfaces in the complex hyperbolic space. The main goal of this paper is to show, in a unified way, how to construct Hopf real hypersurfaces in the complex hyperbolic space from a horizontal su…
▽ More
It is very well known that Hopf real hypersurfaces in the complex projective space can be locally characterized as tubes over complex submanifolds. This also holds true for some, but not all, Hopf real hypersurfaces in the complex hyperbolic space. The main goal of this paper is to show, in a unified way, how to construct Hopf real hypersurfaces in the complex hyperbolic space from a horizontal submanifold in one of the three twistor spaces of the indefinite complex $2$-plane Grassmannian with respect to the natural para-quaternionic Kähler structure. We also identify these twistor spaces with the sets of circles in totally geodesic complex hyperbolic lines in the complex hyperbolic space. As an application, we describe all classical Hopf examples. We also solve the remarkable and long-standing problem of the existence of Hopf real hypersurfaces in the complex hyperbolic space, different from the horosphere, such that the associated principal curvature is $2$. We exhibit a method to obtain plenty of them.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Mixed commutator lengths, wreath products and general ranks
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Shuhei Maruyama,
Takahiro Matsushita,
Masato Mimura
Abstract:
In the present paper, for a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the mixed commutator length $\mathrm{cl}_{G,N}$ on the mixed commutator subgroup $[G,N]$. We focus on the setting of wreath products: $ (G,N)=(\mathbb{Z}\wr Γ, \bigoplus_Γ\mathbb{Z})$. Then we determine mixed commutator lengths in terms of the general rank in the sense of Malcev. As a byproduct, when a…
▽ More
In the present paper, for a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the mixed commutator length $\mathrm{cl}_{G,N}$ on the mixed commutator subgroup $[G,N]$. We focus on the setting of wreath products: $ (G,N)=(\mathbb{Z}\wr Γ, \bigoplus_Γ\mathbb{Z})$. Then we determine mixed commutator lengths in terms of the general rank in the sense of Malcev. As a byproduct, when an abelian group $Γ$ is not locally cyclic, the ordinary commutator length $\mathrm{cl}_G$ does not coincide with $\mathrm{cl}_{G,N}$ on $[G,N]$ for the above pair. On the other hand, we prove that if $Γ$ is locally cyclic, then for every pair $(G,N)$ such that $1\to N\to G\to Γ\to 1$ is exact, $\mathrm{cl}_{G}$ and $\mathrm{cl}_{G,N}$ coincide on $[G,N]$. We also study the case of permutational wreath products when the group $Γ$ belongs to a certain class related to surface groups.
△ Less
Submitted 11 January, 2023; v1 submitted 8 March, 2022;
originally announced March 2022.
-
Quasimorphisms on nonorientable surface diffeomorphism groups
Authors:
Mitsuaki Kimura,
Erika Kuno
Abstract:
Bowden, Hensel, and Webb constructed infinitely many quasimorphisms on the diffeomorphism groups of orientable surfaces. In this paper, we extend their result to nonorientable surfaces. Namely, we prove that the space of nontrivial quasimorphisms $\widetilde{QH}(\mathrm{Diff}_0(N_g))$ on the identity component of the diffeomorphism group $\mathrm{Diff}_0(N_g)$ on a closed nonorientable surface…
▽ More
Bowden, Hensel, and Webb constructed infinitely many quasimorphisms on the diffeomorphism groups of orientable surfaces. In this paper, we extend their result to nonorientable surfaces. Namely, we prove that the space of nontrivial quasimorphisms $\widetilde{QH}(\mathrm{Diff}_0(N_g))$ on the identity component of the diffeomorphism group $\mathrm{Diff}_0(N_g)$ on a closed nonorientable surface $N_g$ of genus $g\geq 3$ is infinite-dimensional. As a corollary, we obtain the unboundedness of the commutator length and the fragmentation length on $\mathrm{Diff}_0(N_g)$.
△ Less
Submitted 6 November, 2024; v1 submitted 10 November, 2021;
originally announced November 2021.
-
Phase field models for thermal fracturing and their variational structures
Authors:
S. Alfat,
M. Kimura,
Alifian. M. M
Abstract:
It is often observed that thermal stress enhances crack propagation in materials, and conversely, crack propagation can contribute to temperature shifts in materials. In this study, we first consider the thermoelasticity model proposed by M. A. Biot (1956) and study its energy dissipation property. The Biot thermoelasticity model takes into account the following effects. Thermal expansion and cont…
▽ More
It is often observed that thermal stress enhances crack propagation in materials, and conversely, crack propagation can contribute to temperature shifts in materials. In this study, we first consider the thermoelasticity model proposed by M. A. Biot (1956) and study its energy dissipation property. The Biot thermoelasticity model takes into account the following effects. Thermal expansion and contraction are caused by temperature changes, and conversely, temperatures decrease in expanding areas but increase in contracting areas. In addition, we examine its thermomechanical properties through several numerical examples and observe that the stress near a singular point is enhanced by the thermoelastic effect. In the second part, we propose two crack propagation models under thermal stress by coupling a phase field model for crack propagation and the Biot thermoelasticity model and show their variational structures. In our numerical experiments, we investigate how thermal coupling affects the crack speed and shape. In particular, we observe that the lowest temperature appears near the crack tip, and the crack propagation is accelerated by the enhanced thermal stress.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
The space of non-extendable quasimorphisms
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Shuhei Maruyama,
Takahiro Matsushita,
Masato Mimura
Abstract:
For a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the space of quasimorphisms and quasi-cocycles on $N$ non-extendable to $G$. To treat this space, we establish the five-term exact sequence of cohomology relative to the bounded subcomplex. As its application, we study the spaces associated with the kernel of the (volume) flux homomorphism, the IA-automorphism group of a fr…
▽ More
For a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the space of quasimorphisms and quasi-cocycles on $N$ non-extendable to $G$. To treat this space, we establish the five-term exact sequence of cohomology relative to the bounded subcomplex. As its application, we study the spaces associated with the kernel of the (volume) flux homomorphism, the IA-automorphism group of a free group, and certain normal subgroups of Gromov-hyperbolic groups.
Furthermore, we employ this space to prove that the stable commutator length is equivalent to the stable mixed commutator length for certain pairs of a group and its normal subgroup.
△ Less
Submitted 16 August, 2023; v1 submitted 18 July, 2021;
originally announced July 2021.
-
Comoving mesh method for certain classes of moving boundary problems
Authors:
Yosuke Sunayama,
Masato Kimura,
Julius Fergy Rabago
Abstract:
A Lagrangian-type numerical scheme called the "comoving mesh method" or CMM is developed for numerically solving certain classes of moving boundary problems which include, for example, the classical Hele-Shaw flow problem and the well-known mean curvature flow problem. This finite element scheme exploits the idea that the normal velocity field of the moving boundary can be extended throughout the…
▽ More
A Lagrangian-type numerical scheme called the "comoving mesh method" or CMM is developed for numerically solving certain classes of moving boundary problems which include, for example, the classical Hele-Shaw flow problem and the well-known mean curvature flow problem. This finite element scheme exploits the idea that the normal velocity field of the moving boundary can be extended throughout the entire domain of definition of the problem using, for instance, the Laplace operator. Then, the boundary as well as the finite element mesh of the domain are easily updated at every time step by moving the nodal points along this velocity field. The feasibility of the method, highlighting its practicality, is illustrated through various numerical experiments. Also, in order to examine the accuracy of the proposed scheme, the experimental order of convergences between the numerical and manufactured solutions for these examples are also calculated.
△ Less
Submitted 31 May, 2021;
originally announced June 2021.
-
$α$-Geodesical Skew Divergence
Authors:
Masanari Kimura,
Hideitsu Hino
Abstract:
The asymmetric skew divergence smooths one of the distributions by mixing it, to a degree determined by the parameter $λ$, with the other distribution. Such divergence is an approximation of the KL divergence that does not require the target distribution to be absolutely continuous with respect to the source distribution. In this paper, an information geometric generalization of the skew divergenc…
▽ More
The asymmetric skew divergence smooths one of the distributions by mixing it, to a degree determined by the parameter $λ$, with the other distribution. Such divergence is an approximation of the KL divergence that does not require the target distribution to be absolutely continuous with respect to the source distribution. In this paper, an information geometric generalization of the skew divergence called the $α$-geodesical skew divergence is proposed, and its properties are studied.
△ Less
Submitted 25 April, 2021; v1 submitted 31 March, 2021;
originally announced March 2021.
-
Commuting symplectomorphisms on a surface and the flux homomorphism
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Takahiro Matsushita,
Masato Mimura
Abstract:
Let $(S,ω)$ be a closed connected oriented surface whose genus $l$ is at least two equipped with a symplectic form. Then we show the vanishing of the cup product of the fluxes of commuting symplectomorphisms. This result may be regarded as an obstruction for commuting symplectomorphisms. In particular, the image of an abelian subgroup of $\mathrm{Symp}_0^c(S, ω)$ under the flux homomorphism is iso…
▽ More
Let $(S,ω)$ be a closed connected oriented surface whose genus $l$ is at least two equipped with a symplectic form. Then we show the vanishing of the cup product of the fluxes of commuting symplectomorphisms. This result may be regarded as an obstruction for commuting symplectomorphisms. In particular, the image of an abelian subgroup of $\mathrm{Symp}_0^c(S, ω)$ under the flux homomorphism is isotropic with respect to the natural intersection form on $H^1(S;\mathbb{R})$. The key to the proof is a refinement of the non-extendability result, previously given by the first-named and second-named authors, for Py's Calabi quasimorphism $μ_P$ on $\mathrm{Ham}(S, ω)$.
△ Less
Submitted 18 June, 2023; v1 submitted 24 February, 2021;
originally announced February 2021.
-
Universal Approximation Properties for an ODENet and a ResNet: Mathematical Analysis and Numerical Experiments
Authors:
Yuto Aizawa,
Masato Kimura,
Kazunori Matsui
Abstract:
We prove a universal approximation property (UAP) for a class of ODENet and a class of ResNet, which are simplified mathematical models for deep learning systems with skip connections. The UAP can be stated as follows. Let $n$ and $m$ be the dimension of input and output data, and assume $m\leq n$. Then we show that ODENet of width $n+m$ with any non-polynomial continuous activation function can a…
▽ More
We prove a universal approximation property (UAP) for a class of ODENet and a class of ResNet, which are simplified mathematical models for deep learning systems with skip connections. The UAP can be stated as follows. Let $n$ and $m$ be the dimension of input and output data, and assume $m\leq n$. Then we show that ODENet of width $n+m$ with any non-polynomial continuous activation function can approximate any continuous function on a compact subset on $\mathbb{R}^n$. We also show that ResNet has the same property as the depth tends to infinity. Furthermore, we derive the gradient of a loss function explicitly with respect to a certain tuning variable. We use this to construct a learning algorithm for ODENet. To demonstrate the usefulness of this algorithm, we apply it to a regression problem, a binary classification, and a multinomial classification in MNIST.
△ Less
Submitted 17 May, 2023; v1 submitted 22 December, 2020;
originally announced January 2021.
-
Particle dynamics with elastic collision at the boundary: existence and partial uniqueness of solutions
Authors:
Masato Kimura,
Patrick van Meurs,
Zhenxing Yang
Abstract:
We consider the dynamics of point particles which are confined to a bounded, possibly nonconvex domain $Ω$. Collisions with the boundary are described as purely elastic collisions. This turns the description of the particle dynamics into a coupled system of second order ODEs with discontinuous right-hand side. The main contribution of this paper is to develop a precise solution concept for this pa…
▽ More
We consider the dynamics of point particles which are confined to a bounded, possibly nonconvex domain $Ω$. Collisions with the boundary are described as purely elastic collisions. This turns the description of the particle dynamics into a coupled system of second order ODEs with discontinuous right-hand side. The main contribution of this paper is to develop a precise solution concept for this particle system, and to prove existence of solutions. In this proof we construct a solution by passing to the limit in an auxiliary problem based on the Yosida approximation. In addition to existence of solutions, we establish a partial uniqueness theorem, and show by means of a counterexample that uniqueness of solutions cannot hold in general.
△ Less
Submitted 29 November, 2020;
originally announced November 2020.
-
Gambaudo--Ghys construction on bounded cohomology
Authors:
Mitsuaki Kimura
Abstract:
We consider a generalized Gambaudo--Ghys construction on bounded cohomology and prove its injectivity. As a corollary, we prove that the third bounded cohomology of the group of area-preserving diffeomorphisms on the 2-disk is infinite-dimensional. We also prove similar results for the case of the 2-sphere, the 2-torus and the annulus.
We consider a generalized Gambaudo--Ghys construction on bounded cohomology and prove its injectivity. As a corollary, we prove that the third bounded cohomology of the group of area-preserving diffeomorphisms on the 2-disk is infinite-dimensional. We also prove similar results for the case of the 2-sphere, the 2-torus and the annulus.
△ Less
Submitted 1 May, 2024; v1 submitted 31 August, 2020;
originally announced September 2020.
-
Norm-controlled cohomology of transformation groups
Authors:
Mitsuaki Kimura
Abstract:
We generalize the result of Brandenbursky and Marcinkowski for the bounded cohomology of transformation groups to infinite volume case. To state the result, we introduce the notion of norm controlled cohomology as a generalization of bounded cohomology. This cohomology theory also provides a framework for relative quasimorphisms.
We generalize the result of Brandenbursky and Marcinkowski for the bounded cohomology of transformation groups to infinite volume case. To state the result, we introduce the notion of norm controlled cohomology as a generalization of bounded cohomology. This cohomology theory also provides a framework for relative quasimorphisms.
△ Less
Submitted 14 February, 2023; v1 submitted 6 July, 2020;
originally announced July 2020.
-
Bavard's duality theorem for mixed commutator length
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura,
Takahiro Matsushita,
Masato Mimura
Abstract:
Let $N$ be a normal subgroup of a group $G$. A quasimorphism $f$ on $N$ is $G$-invariant if $f(gxg^{-1}) = f(x)$ for every $g \in G$ and every $x \in N$. The goal in this paper is to establish Bavard's duality theorem of $G$-invariant quasimorphisms, which was previously proved by Kawasaki and Kimura in the case $N = [G,N]$.
Our duality theorem provides a connection between $G$-invariant quasimo…
▽ More
Let $N$ be a normal subgroup of a group $G$. A quasimorphism $f$ on $N$ is $G$-invariant if $f(gxg^{-1}) = f(x)$ for every $g \in G$ and every $x \in N$. The goal in this paper is to establish Bavard's duality theorem of $G$-invariant quasimorphisms, which was previously proved by Kawasaki and Kimura in the case $N = [G,N]$.
Our duality theorem provides a connection between $G$-invariant quasimorphisms and $(G,N)$-commutator lengths. Here for $x \in [G,N]$, the $(G,N)$-commutator length $\mathrm{cl}_{G,N}(x)$ of $x$ is the minimum number $n$ such that $x$ is a product of $n$ commutators which are written as $[g,x]$ with $g \in G$ and $h \in N$. In the proof, we give a geometric interpretation of $(G,N)$-commutator lengths.
As an application of our Bavard duality, we obtain a sufficient condition on a pair $(G,N)$ under which $\mathrm{scl}_G$ and $\mathrm{scl}_{G,N}$ are bi-Lipschitzly equivalent on $[G,N]$.
△ Less
Submitted 22 March, 2022; v1 submitted 5 July, 2020;
originally announced July 2020.
-
Quantitative estimate of the continuum approximations of interacting particle systems in one dimension
Authors:
Masato Kimura,
Patrick van Meurs
Abstract:
We consider a large class of interacting particle systems in 1D described by an energy whose interaction potential is singular and non-local. This class covers Riesz gases (in particular, log gases) and applications to plasticity and approximation theory of functions. While it is well established that the minimisers of such interaction energies converge to a certain particle density profile as the…
▽ More
We consider a large class of interacting particle systems in 1D described by an energy whose interaction potential is singular and non-local. This class covers Riesz gases (in particular, log gases) and applications to plasticity and approximation theory of functions. While it is well established that the minimisers of such interaction energies converge to a certain particle density profile as the number of particles tends to infinity, any bound on the rate of this convergence is only known in special cases by means of quantitative estimates. The main result of this paper extends these quantitative estimates to a large class of interaction energies by a different proof. The proof relies on one-dimensional features such as the convexity of the interaction potential and the ordering of the particles. The main novelty of the proof is the treatment of the singularity of the interaction potential by means of a carefully chosen renormalisation.
△ Less
Submitted 23 October, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
$\hat{G}$-invariant quasimorphisms and symplectic geometry of surfaces
Authors:
Morimichi Kawasaki,
Mitsuaki Kimura
Abstract:
Let $\hat{G}$ be a group and $G$ its normal subgroup. In this paper, we study $\hat{G}$-invariant quasimorphisms on $G$ which appear in symplectic geometry and low dimensional topology. As its application, we prove the non-existence of a section of the flux homomorphism on closed surfaces of higher genus. We also prove that Py's Calabi quasimorphism and Entov-Polterovich's partial Calabi quasimorp…
▽ More
Let $\hat{G}$ be a group and $G$ its normal subgroup. In this paper, we study $\hat{G}$-invariant quasimorphisms on $G$ which appear in symplectic geometry and low dimensional topology. As its application, we prove the non-existence of a section of the flux homomorphism on closed surfaces of higher genus. We also prove that Py's Calabi quasimorphism and Entov-Polterovich's partial Calabi quasimorphism are non-extendable to the group of symplectomorphisms. We show that Py's Calabi quasimorphism is the unique non-extendable quasimorphism to some group.
△ Less
Submitted 2 March, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
The Lewy-Stampacchia Inequality for the Fractional Laplacian and Its Application to Anomalous Unidirectional Diffusion Equations
Authors:
Pu-Zhao Kow,
Masato Kimura
Abstract:
In this paper, we consider a Lewy-Stampacchia-type inequality for the fractional Laplacian on a bounded domain in Euclidean space. Using this inequality, we can show the well-posedness of fractional-type anomalous unidirectional diffusion equations. This study is an extension of the work by Akagi-Kimura (2019) for the standard Laplacian. However, there exist several difficulties due to the nonloca…
▽ More
In this paper, we consider a Lewy-Stampacchia-type inequality for the fractional Laplacian on a bounded domain in Euclidean space. Using this inequality, we can show the well-posedness of fractional-type anomalous unidirectional diffusion equations. This study is an extension of the work by Akagi-Kimura (2019) for the standard Laplacian. However, there exist several difficulties due to the nonlocal feature of the fractional Laplacian. We overcome those difficulties employing the Caffarelli-Silvestre extension of the fractional Laplacian.
△ Less
Submitted 1 July, 2021; v1 submitted 2 September, 2019;
originally announced September 2019.
-
Weak solutions for gradient flows under monotonicity constraints
Authors:
Matteo Negri,
Masato Kimura
Abstract:
We consider the gradient flow of a quadratic non-autonomous energy under monotonicity constraint in time and natural regularity assumptions. We provide first a notion of weak solution, inspired by the theory of curves of maximal slope, and then existence (employing time-discrete schemes with different "implementations" of the constraint), uniqueness, power and energy identity, comparison principle…
▽ More
We consider the gradient flow of a quadratic non-autonomous energy under monotonicity constraint in time and natural regularity assumptions. We provide first a notion of weak solution, inspired by the theory of curves of maximal slope, and then existence (employing time-discrete schemes with different "implementations" of the constraint), uniqueness, power and energy identity, comparison principle and continuous dependence. As a byproduct, we show that the energy identity gives a selection criterion for the (non-unique) evolutions obtained by other notions of solutions. We finally show that, for autonomous energies, the solutions obtained with the monotonicity constraint actually coincide with those obtained with a fixed obstacle, given by the initial datum.
△ Less
Submitted 27 August, 2019;
originally announced August 2019.
-
Theoretical and numerical studies for energy estimates of the shallow water equations with a transmission boundary condition
Authors:
Md. Masum Murshed,
Kouta Futai,
Masato Kimura,
Hirofumi Notsu
Abstract:
Energy estimates of the shallow water equations (SWEs) with a transmission boundary condition are studied theoretically and numerically. In the theoretical part, using a suitable energy, we begin with deriving an equality which implies an energy estimate of the SWEs with the Dirichlet and the slip boundary conditions. For the SWEs with a transmission boundary condition, an inequality for the energ…
▽ More
Energy estimates of the shallow water equations (SWEs) with a transmission boundary condition are studied theoretically and numerically. In the theoretical part, using a suitable energy, we begin with deriving an equality which implies an energy estimate of the SWEs with the Dirichlet and the slip boundary conditions. For the SWEs with a transmission boundary condition, an inequality for the energy estimate is proved under some assumptions to be satisfied in practical computation. Hence, it is recognized that the transmission boundary condition is reasonable in the sense that the inequality holds true. In the numerical part, based on the theoretical results, the energy estimate of the SWEs with a transmission boundary condition is confirmed numerically by a finite difference method (FDM). The choice of a positive constant c0 used in the transmission boundary condition is investigated additionally. Furthermore, we present numerical results by a Lagrange-Galerkin scheme, which are similar to those by the FDM. From the numerical results, it is found that the transmission boundary condition works well numerically.
△ Less
Submitted 17 January, 2019;
originally announced January 2019.
-
Deformation problem for glued elastic bodies and an alternative iteration method
Authors:
Masato Kimura,
Atsushi Suzuki
Abstract:
We study a mathematical model for deformation of glued elastic bodies in 2D or 3D, which is a linear elasticity system with adhesive force on the glued surface. We reveal a variational structure of the model and prove the unique existence of a weak solution based on it. Furthermore, we also consider an alternating iteration method and show that it is nothing but an alternating minimizing method of…
▽ More
We study a mathematical model for deformation of glued elastic bodies in 2D or 3D, which is a linear elasticity system with adhesive force on the glued surface. We reveal a variational structure of the model and prove the unique existence of a weak solution based on it. Furthermore, we also consider an alternating iteration method and show that it is nothing but an alternating minimizing method of the total energy. The convergence of a monolithic formulation and the alternating iteration method are numerically studied with the finite element method.
△ Less
Submitted 6 January, 2019;
originally announced January 2019.
-
Analysis of a projection method for the Stokes problem using an $\varepsilon$-Stokes approach
Authors:
Masato Kimura,
Kazunori Matsui,
Adrian Muntean,
Hirofumi Notsu
Abstract:
We generalize pressure boundary conditions of an $\varepsilon$-Stokes problem. Our $\varepsilon$-Stokes problem connects the classical Stokes problem and the corresponding pressure-Poisson equation using one parameter $\varepsilon>0$. For the Dirichlet boundary condition, it is proven in K. Matsui and A. Muntean (2018) that the solution for the $\varepsilon$-Stokes problem converges to the one for…
▽ More
We generalize pressure boundary conditions of an $\varepsilon$-Stokes problem. Our $\varepsilon$-Stokes problem connects the classical Stokes problem and the corresponding pressure-Poisson equation using one parameter $\varepsilon>0$. For the Dirichlet boundary condition, it is proven in K. Matsui and A. Muntean (2018) that the solution for the $\varepsilon$-Stokes problem converges to the one for the Stokes problem as $\varepsilon$ tends to 0, and to the one for the pressure-Poisson problem as $\varepsilon$ tends to $\infty$. Here, we extend these results to the Neumann and mixed boundary conditions. We also establish error estimates in suitable norms between the solutions to the $\varepsilon$-Stokes problem, the pressure-Poisson problem and the Stokes problem, respectively. Several numerical examples are provided to show that several such error estimates are optimal in $\varepsilon$. Our error estimates are improved if one uses the Neumann boundary conditions. In addition, we show that the solution to the $\varepsilon$-Stokes problem has a nice asymptotic structure.
△ Less
Submitted 26 December, 2018;
originally announced December 2018.
-
Particle dynamics subject to impenetrable boundaries: existence and uniqueness of mild solutions
Authors:
M. Kimura,
P. van Meurs,
Z. X. Yang
Abstract:
We consider the dynamics of particle systems where the particles are confined by impenetrable barriers to a bounded, possibly non-convex domain $Ω$. When particles hit the boundary, we consider an instant change in velocity, which turns the systems describing the particle dynamics into an ODE with discontinuous right-hand side. Other than the typical approach to analyse such a system by using weak…
▽ More
We consider the dynamics of particle systems where the particles are confined by impenetrable barriers to a bounded, possibly non-convex domain $Ω$. When particles hit the boundary, we consider an instant change in velocity, which turns the systems describing the particle dynamics into an ODE with discontinuous right-hand side. Other than the typical approach to analyse such a system by using weak solutions to ODEs with multi-valued right-hand sides (i.e., applying the theory introduced by Filippov in 1988), we establish the existence of mild solutions instead. This solution concept is easier to work with than weak solutions; e.g., proving uniqueness of mild solutions is straight-forward, and mild solutions provide a solid structure for proving many-particle limits.
We supplement our theory of mild solutions with an application to gradient flows of interacting particle energies with a singular interaction potential, and illustrate its features by means of numerical simulations on various choices for the (non-convex) domain $Ω$.
△ Less
Submitted 21 December, 2018;
originally announced December 2018.
-
On isomorphisms of generalized multifold extensions of algebras without nonzero oriented cycles
Authors:
H. Asashiba,
M. Kimura,
K. Nakashima,
M. Yoshiwaki
Abstract:
Assume that a basic algebra $A$ over an algebraically closed field $\Bbbk$ with a basic set $A_0$ of primitive idempotents has the property that $eAe=\Bbbk$ for all $e \in A_0$. Let $n$ be a nonzero integer, and $φ$ and $ψ$ two automorphisms of the repetitive category $\hat{A}$ of $A$ with jump $n$ (namely, they send $A^{[0]}$ to $A^{[n]}$, where $A^{[i]}$ is the $i$-th copy of $A$ in $\hat{A}$ fo…
▽ More
Assume that a basic algebra $A$ over an algebraically closed field $\Bbbk$ with a basic set $A_0$ of primitive idempotents has the property that $eAe=\Bbbk$ for all $e \in A_0$. Let $n$ be a nonzero integer, and $φ$ and $ψ$ two automorphisms of the repetitive category $\hat{A}$ of $A$ with jump $n$ (namely, they send $A^{[0]}$ to $A^{[n]}$, where $A^{[i]}$ is the $i$-th copy of $A$ in $\hat{A}$ for all $i \in \mathbb{Z}$). If $φ$ and $ψ$ coincide on the objects and if there exists a map $ρ\colon A_0 \to \Bbbk$ such that $ρ_0(y)φ_0(a)=ψ_0(a)ρ_0(x)$ for all morphisms $a\in A(x,y)$, then the orbit categories $\hat{A}/\langle φ\rangle$ and $\hat{A}/\langle ψ\rangle$ are isomorphic as $\mathbb{Z}$-graded categories.
△ Less
Submitted 8 March, 2018;
originally announced March 2018.
-
The gradient flow structure of an extended Maxwell viscoelastic model and a structure-preserving finite element scheme
Authors:
Masato Kimura,
Hirofumi Notsu,
Yoshimi Tanaka,
Hiroki Yamamoto
Abstract:
An extended Maxwell viscoelastic model with a relaxation parameter is studied from mathematical and numerical points of view. It is shown that the model has a gradient flow property with respect to a viscoelastic energy. Based on the gradient flow structure, a structure-preserving time-discrete model is proposed and existence of a unique solution is proved. Moreover, a structure-preserving P1/P0 f…
▽ More
An extended Maxwell viscoelastic model with a relaxation parameter is studied from mathematical and numerical points of view. It is shown that the model has a gradient flow property with respect to a viscoelastic energy. Based on the gradient flow structure, a structure-preserving time-discrete model is proposed and existence of a unique solution is proved. Moreover, a structure-preserving P1/P0 finite element scheme is presented and its stability in the sense of energy is shown by using its discrete gradient flow structure. As typical viscoelastic phenomena, two-dimensional numerical examples by the proposed scheme for a creep deformation and a stress relaxation are shown and the effects of the relaxation parameter are investigated.
△ Less
Submitted 12 July, 2018; v1 submitted 15 February, 2018;
originally announced February 2018.
-
Hopf Real Hypersurfaces in the Indefinite Complex Projective Space
Authors:
Makoto Kimura,
Miguel Ortega
Abstract:
We wish to attack the problems that H.~Anciaux and K.~Panagiotidou posed in [1], for non-degenerate real hypersurfaces in indefinite complex projective space. We will slightly change these authors' point of view, obtaining cleaner equations for the almost contact metric structure. To make the theory meaningful, we construct new families of non-degenerate Hopf real hypersurfaces whose shape operato…
▽ More
We wish to attack the problems that H.~Anciaux and K.~Panagiotidou posed in [1], for non-degenerate real hypersurfaces in indefinite complex projective space. We will slightly change these authors' point of view, obtaining cleaner equations for the almost contact metric structure. To make the theory meaningful, we construct new families of non-degenerate Hopf real hypersurfaces whose shape operator is diagonalisable, and one Hopf example with degenerate metric and non-diagonalisable shape operator. Next, we obtain a rigidity result. We classify those real hypersurfaces which are $η$-umbilical. As a consequence, we characterize some of our new examples as those whose Reeb vector field $ξ$ is Killing.
△ Less
Submitted 23 September, 2018; v1 submitted 15 February, 2018;
originally announced February 2018.
-
Regularity of the minimiser of one-dimensional interaction energies
Authors:
M. Kimura,
P. van Meurs
Abstract:
We consider both the minimisation of a class of nonlocal interaction energies over non-negative measures with unit mass and a class of singular integral equations of the first kind of Fredholm type. Our setting covers applications to dislocation pile-ups, contact problems, fracture mechanics and random matrix theory. Our main result shows that both the minimisation problems and the related singula…
▽ More
We consider both the minimisation of a class of nonlocal interaction energies over non-negative measures with unit mass and a class of singular integral equations of the first kind of Fredholm type. Our setting covers applications to dislocation pile-ups, contact problems, fracture mechanics and random matrix theory. Our main result shows that both the minimisation problems and the related singular integral equations have the same unique solution, which provides new regularity results on the minimiser of the energy and new positivity results on the solutions to singular integral equations.
△ Less
Submitted 18 February, 2019; v1 submitted 30 September, 2017;
originally announced October 2017.
-
Conjugation-invariant norms on the commutator subgroup of the infinite braid group
Authors:
Mitsuaki Kimura
Abstract:
In this paper, we give a proof of the result of Brandenbursky and Kȩdra which says that the commutator subgroup of the infinite braid group admits stably unbounded norms. Moreover, we observe the norms which we constructed are equivalent to the biinvariant word norm studied by Brandenbursky and Kȩdra.
In this paper, we give a proof of the result of Brandenbursky and Kȩdra which says that the commutator subgroup of the infinite braid group admits stably unbounded norms. Moreover, we observe the norms which we constructed are equivalent to the biinvariant word norm studied by Brandenbursky and Kȩdra.
△ Less
Submitted 8 May, 2016;
originally announced May 2016.
-
An energy-consistent model of dislocation dynamics in an elastic body
Authors:
Vladimir Chalupecky,
Masato Kimura
Abstract:
We propose an energy-consistent mathematical model for motion of dislocation curves in elastic materials using the idea of phase field model. This reveals a hidden gradient flow structure in the dislocation dynamics. The model is derived as a gradient flow for the sum of a regularized Allen-Cahn type energy in the slip plane and an elastic energy in the elastic body. The obtained model becomes a 3…
▽ More
We propose an energy-consistent mathematical model for motion of dislocation curves in elastic materials using the idea of phase field model. This reveals a hidden gradient flow structure in the dislocation dynamics. The model is derived as a gradient flow for the sum of a regularized Allen-Cahn type energy in the slip plane and an elastic energy in the elastic body. The obtained model becomes a 3D- 2D bulk-surface system and naturally includes the Peach-Koehler force term and the notion of dislocation core. We also derive a 2D-1D bulk-surface system for a straight screw dislocation and give some numerical examples for it.
△ Less
Submitted 10 January, 2016;
originally announced January 2016.
-
Unidirectional evolution equations of diffusion type
Authors:
Goro Akagi,
Masato Kimura
Abstract:
This paper is concerned with the uniqueness, existence, comparison principle and long-time behavior of solutions to the initial-boundary value problem for a unidirectional diffusion equation. The unidirectional evolution often appears in Damage
Mechanics due to the strong irreversibility of crack propagation or damage evolution. The existence of solutions is proved in an L^2-framework by introdu…
▽ More
This paper is concerned with the uniqueness, existence, comparison principle and long-time behavior of solutions to the initial-boundary value problem for a unidirectional diffusion equation. The unidirectional evolution often appears in Damage
Mechanics due to the strong irreversibility of crack propagation or damage evolution. The existence of solutions is proved in an L^2-framework by introducing a peculiar discretization of the unidirectional diffusion equation by means of variational inequities of obstacle type and by developing a regularity theory for such variational inequalities. The novel discretization argument will be also applied to prove the comparison principle as well as to investigate the long-time behavior of solutions.
△ Less
Submitted 5 January, 2015;
originally announced January 2015.
-
Presentations of Grothendieck constructions
Authors:
Hideto Asashiba,
Mayumi Kimura
Abstract:
We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.
We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.
△ Less
Submitted 16 November, 2011;
originally announced November 2011.
-
Shape derivative of potential energy and energy release rate in fracture mechanics
Authors:
Masato Kimura,
Isao Wakano
Abstract:
We study general mathematical framework for variation of potential energy with respect to domain deformation. It enables rigorous derivation of the integral formulas for the energy release rate in crack problems. Applying a technique of the shape sensitivity analysis, we formulate the shape derivative of potential energy as a variational problem with a parameter. Key tools of our abstract theory…
▽ More
We study general mathematical framework for variation of potential energy with respect to domain deformation. It enables rigorous derivation of the integral formulas for the energy release rate in crack problems. Applying a technique of the shape sensitivity analysis, we formulate the shape derivative of potential energy as a variational problem with a parameter. Key tools of our abstract theory are a new parameter variational principle and the classical implicit function theorem in Banach spaces.
△ Less
Submitted 20 June, 2008;
originally announced June 2008.
