arXiv subjects

Tatsuo Iguchi

Publications and source records attributed to Tatsuo Iguchi.

At least 19 recordsLinked to original sources

arXiv2025

Well-posedness of the initial boundary value problem for the motion of an inextensible hanging string

We consider the motion of an inextensible hanging string of finite length under the action of the gravity. The motion is governed by nonlinear and nonlocal hyperbolic equations, which is degenerate at the free end of the string. We show that the initial boundary value problem to the equations of motion is well-posed locally in time in weighted Sobolev spaces at the quasilinear regularity threshold under a stability condition. This paper is a continuation of our preceding articles.

math.AP↗

arXiv2025

The moving contact line problem for the $2D$ nonlinear shallow water equations

We consider the initial value problem for a nonlinear shallow water model in horizontal dimension d = 2 and in the presence of a fixed partially immersed solid body on the water surface. We assume that the bottom of the solid body is the graph of a smooth function and part of it is in contact with the water. As a result, we have a contact line where the solid body, the water, and the air meet. In our setting of the problem, the projection of the contact line on the horizontal plane moves freely due to the motion of the water surface even if the solid body is fixed. This wave-structure interaction problem reduces to an initial boundary value problem for the nonlinear shallow water equations in an exterior domain with a free boundary, which is the projection of the contact line. The objective of this paper is to derive a priori energy estimates locally in time for solutions at the quasilinear regularity threshold under assumptions that the initial flow is irrotational and subcritical and that the initial water surface is transversal to the bottom of the solid body at the contact line. The key ingredients of the proof are the weak dissipativity of the system, the introduction of second order Alinhac good unknowns associated with a regularizing diffeomorphism, and a new type of hidden boundary regularity for the nonlinear shallow water equations. This last point is crucial to control the regularity of the contact line; it is obtained by combining the use of the characteristic fields related to the eigenvalues of the boundary matrix together with Rellich type identities.

math.AP↗

arXiv2024

Well-posedness of the initial boundary value problem for degenerate hyperbolic systems with a localized term and its application to the linearized system for the motion of an inextensible hanging string

Motivated by an analysis on the well-posedness of the initial boundary value problem for the motion of an inextensible hanging string, we first consider an initial boundary value problem for one-dimensional degenerate hyperbolic systems with a localized term and show its well-posedness in weighted Sobolev spaces. We then consider the linearized system for the motion of an inextensible hanging string. Well-posedness of its initial boundary value problem is demonstrated as an application of the result obtained in the first part.

math.AP↗

arXiv2023

A priori estimates for solutions to equations of motion of an inextensible hanging string

We consider the initial boundary value problem to equations of motion of an inextensible hanging string of finite length under the action of the gravity. We also consider the problem in the case without any external forces. In this problem, the tension of the string is also an unknown quantity. It is determined as a unique solution to a two-point boundary value problem, which is derived from the inextensibility of the string together with the equation of motion, and degenerates linearly at the free end. We derive a priori estimates for solutions to the initial boundary value problem in weighted Sobolev spaces under a natural stability condition. The necessity for the weights results from the degeneracy of the tension. Uniqueness of solutions is also proved.

math.AP↗

arXiv2023

The $2D$ nonlinear shallow water equations with a partially immersed obstacle

This article is devoted to the proof of the well-posedness of a model describing waves propagating in shallow water in horizontal dimension $d=2$ and in the presence of a fixed partially immersed object. We first show that this wave-interaction problem reduces to an initial boundary value problem for the nonlinear shallow water equations in an exterior domain, with boundary conditions that are fully nonlinear and nonlocal in space and time. This hyperbolic initial boundary value problem is characteristic, does not satisfy the constant rank assumption on the boundary matrix, and the boundary conditions do not satisfy any standard form of dissipativity. Our main result is the well-posedness of this system for irrotational data and at the quasilinear regularity threshold. In order to prove this, we introduce a new notion of weak dissipativity, that holds only after integration in time and space. This weak dissipativity allows high order energy estimates without derivative loss; the analysis is carried out for a class of linear non-characteristic hyperbolic systems, as well as for a class of characteristic systems that satisfy an algebraic structural property that allows us to define a generalized vorticity. We then show, using a change of {unknowns}, that {it} is possible to transform the linearized wave-interaction {problem} into a non-characteristic system, {which} satisfies this structural property and for which the boundary conditions are weakly dissipative. We can therefore use our general analysis to derive linear, and then nonlinear, a priori energy estimates. Existence for the linearized problem is obtained by a regularization procedure that makes the problem non-characteristic and strictly dissipative, and by the approximation of the data by more regular data satisfying higher order compatibility conditions for the regularized problem. Due to the fully nonlinear nature of the boundary conditions, it is also necessary to implement a quasilinearization procedure. Finally, we have to lower the standard requirements on the regularity of the coefficients of the operator in the linear estimates to be able to reach the quasilinear regularity threshold in the nonlinear well-posedness result.

math.AP↗

arXiv2022

A mathematical analysis of the Kakinuma model for interfacial gravity waves. Part II: Justification as a shallow water approximation

We consider the Kakinuma model for the motion of interfacial gravity waves. The Kakinuma model is a system of Euler-Lagrange equations for an approximate Lagrangian, which is obtained by approximating the velocity potentials in the Lagrangian of the full model. Structures of the Kakinuma model and the well-posedness of its initial value problem were analyzed in the companion paper [arXiv:2103.12392]. In this present paper, we show that the Kakinuma model is a higher order shallow water approximation to the full model for interfacial gravity waves with an error of order $O(\delta_1^{4N+2}+\delta_2^{4N+2})$ in the sense of consistency, where $\delta_1$ and $\delta_2$ are shallowness parameters, which are the ratios of the mean depths of the upper and the lower layers to the typical horizontal wavelength, respectively, and $N$ is, roughly speaking, the size of the Kakinuma model and can be taken an arbitrarily large number. Moreover, under a hypothesis of the existence of the solution to the full model with a uniform bound, a rigorous justification of the Kakinuma model is proved by giving an error estimate between the solution to the Kakinuma model and that of the full model. An error estimate between the Hamiltonian of the Kakinuma model and that of the full model is also provided.

math.AP↗

arXiv2021

A mathematical analysis of the Kakinuma model for interfacial gravity waves. Part I: Structures and well-posedness

We consider a model, which we named the Kakinuma model, for interfacial gravity waves. As is well-known, the full model for interfacial gravity waves has a variational structure whose Lagrangian is an extension of Luke's Lagrangian for surface gravity waves, that is, water waves. The Kakinuma model is a system of Euler-Lagrange equations for approximate Lagrangians, which are obtained by approximating the velocity potentials in the Lagrangian for the full model. In this paper, we first analyze the linear dispersion relation for the Kakinuma model and show that the dispersion curves highly fit that of the full model in the shallow water regime. We then analyze the linearized equations around constant states and derive a stability condition, which is satisfied for small initial data when the denser water is below the lighter water. We show that the initial value problem is in fact well-posed locally in time in Sobolev spaces under the stability condition, the non-cavitation assumption and intrinsic compatibility conditions in spite of the fact that the initial value problem for the full model does not have any stability domain so that its initial value problem is ill-posed in Sobolev spaces. Moreover, it is shown that the Kakinuma model enjoys a Hamiltonian structure and has conservative quantities: mass, total energy, and in the case of the flat bottom, momentum.

math.AP↗

arXiv2019

Solitary wave solutions to the Isobe-Kakinuma model for water waves

We consider the Isobe-Kakinuma model for two-dimensional water waves in the case of the flat bottom. The Isobe-Kakinuma model is a system of Euler-Lagrange equations for a Lagrangian approximating Luke's Lagrangian for water waves. We show theoretically the existence of a family of small amplitude solitary wave solutions to the Isobe-Kakinuma model in the long wave regime. Numerical analysis for large amplitude solitary wave solutions is also provided and suggests the existence of a solitary wave of extreme form with a sharp crest.

math.AP↗

arXiv2019

A Hamiltonian structure of the Isobe-Kakinuma model for water waves

We consider the Isobe-Kakinuma model for water waves, which is obtained as the system of Euler-Lagrange equations for a Lagrangian approximating Luke's Lagrangian for water waves. We show that the Isobe-Kakinuma model also enjoys a Hamiltonian structure analogous to the one exhibited by V. E. Zakharov on the full water wave problem and, moreover, that the Hamiltonian of the Isobe-Kakinuma model is a higher order shallow water approximation to the one of the full water wave problem.

math.AP↗

arXiv2018

Motion of a Vortex Filament in an External Flow

We consider a nonlinear model equation describing the motion of a vortex filament immersed in an incompressible and inviscid fluid. In the present problem setting, we also take into account the effect of external flow. We prove the unique solvability, locally in time, of an initial value problem posed on the one dimensional torus. The problem describes the motion of a closed vortex filament.

math.AP↗

arXiv2018

Hyperbolic free boundary problems and applications to wave-structure interactions

Motivated by a new kind of initial boundary value problem (IBVP) with a free boundary arising in wave-structure interaction, we propose here a general approach to one-dimensional IBVP as well as transmission problems. For general strictly hyperbolic 2x2 quasilinear hyperbolic systems, we derive new sharp linear estimates with refined dependence on the source term and control on the traces of the solution at the boundary. These new estimates are used to obtain sharp results for quasilinear IBVP and transmission problems, and for fixed, moving, and free boundaries. In the latter case, two kinds of evolution equations are considered. The first one is of "kinematic type" in the sense that the velocity of the interface has the same regularity as the trace of the solution. Several applications that fall into this category are considered: the interaction of waves with a lateral piston, and a new version of the well-known stability of shocks (classical and undercompressive) that improves the results of the general theory by taking advantage of the specificities of the one-dimensional case. We also consider "fully nonlinear" evolution equations characterized by the fact that the velocity of the interface is one derivative more singular than the trace of the solution. This configuration is the most challenging; it is motivated by a free boundary problem arising in wave-structure interaction, namely, the evolution of the contact line between a floating object and the water. This problem is solved as an application of the general theory developed here.

math.AP↗

arXiv2018

A mathematical justification of the Isobe-Kakinuma model for water waves with and without bottom topography

We consider the Isobe-Kakinuma model for water waves in both cases of the flat and the variable bottoms. The Isobe-Kakinuma model is a system of Euler-Lagrange equations for an approximate Lagrangian which is derived from Luke's Lagrangian for water waves by approximating the velocity potential in the Lagrangian appropriately. The Isobe-Kakinuma model consists of $(N+1)$ second order and a first order partial differential equations, where $N$ is a nonnegative integer. We justify rigorously the Isobe-Kakinuma model as a higher order shallow water approximation in the strongly nonlinear regime by giving an error estimate between the solutions of the Isobe-Kakinuma model and of the full water wave problem in terms of the small nondimensional parameter $\delta$, which is the ratio of the mean depth to the typical wavelength. It turns out that the error is of order $O(\delta^{4N+2})$ in the case of the flat bottom and of order $O(\delta^{4[N/2]+2})$ in the case of variable bottoms.

math.AP↗

arXiv2017

Solvability of the initial value problem to the Isobe-Kakinuma model for water waves

We consider the initial value problem to the Isobe-Kakinuma model for water waves and the structure of the model. The Isobe-Kakinuma model is the Euler-Lagrange equations for an approximate Lagrangian which is derived from Luke's Lagrangian for water waves by approximating the velocity potential in the Lagrangian. The Isobe-Kakinuma model is a system of second order partial differential equations and is classified into a system of nonlinear dispersive equations. Since the hypersurface $t=0$ is characteristic for the Isobe-Kakinuma model, the initial data have to be restricted in an infinite dimensional manifold for the existence of the solution. Under this necessary condition and a sign condition, which corresponds to a generalized Rayleigh-Taylor sign condition for water waves, on the initial data, we show that the initial value problem is solvable locally in time in Sobolev spaces. We also discuss the linear dispersion relation to the model.

math.AP↗

arXiv2017

Isobe-Kakinuma model for water waves as a higher order shallow water approximation

We justify rigorously an Isobe-Kakinuma model for water waves as a higher order shallow water approximation in the case of a flat bottom. It is known that the full water wave equations are approximated by the shallow water equations with an error of order $O(\delta^2)$, where $\delta$ is a small nondimensional parameter defined as the ratio of the mean depth to the typical wavelength. The Green-Naghdi equations are known as higher order approximate equations to the water wave equations with an error of order $O(\delta^4)$. In this paper we show that the Isobe-Kakinuma model is a much higher order approximation to the water wave equations with an error of order $O(\delta^6)$.

math.AP↗

arXiv2015

Uniform Estimates for the Flow of a Viscous Incompressible Fluid down an Inclined Plane in the Thin Film Regime

We consider a two-dimensional motion of a thin film flowing down an inclined plane under the influence of the gravity and the surface tension. In order to investigate the stability of such flow, it is hard to treat the Navier--Stokes equations directly, so that a thin film approximation is often used. It is an approximation obtained by the perturbation expansion with respect to the aspect ratio $δ$ of the film under the thin film regime $δ\ll1$. Our purpose is to give a mathematically rigorous justification of the thin film approximation by establishing an error estimate between the solution of the Navier--Stokes equations and those of approximate equations. To this end, in this paper we derive a uniform estimate for the solution of the Navier--Stokes equations with respect to $δ$ under appropriate assumptions.

math.AP↗

arXiv2015

A Mathematical Justification of a Thin Film Approximation for the Flow down an Inclined Plane

We consider a two-dimensional motion of a thin film flowing down an inclined plane under the influence of the gravity and the surface tension. In order to investigate the stability of such flow, we often use a thin film approximation, which is an approximation obtained by the perturbation expansion with respect to the aspect ratio of the film. The famous example of the approximate equations are the Burgers equation, Kuramoto--Sivashinsky equation, KdV--Burgers equation, KdV--Kuramoto--Sivashinsky equation, and so on. In this paper, we give a mathematically rigorous justification of a thin film approximation by establishing an error estimate between the solution of the Navier--Stokes equations and those of approximate equations.

math.AP↗

arXiv2012

Motion of a Vortex Filament with Axial Flow in the Half Space

We consider a nonlinear third order dispersive equation which models the motion of a vortex filament immersed in an incompressible and inviscid fluid occupying the three dimensional half space. We prove the unique solvability of initial-boundary value problems as an attempt to analyze the motion of a tornado.

math.AP↗

arXiv2012

Solvability of an Initial-Boundary Value Problem for a Second Order Parabolic System with a Third Order Dispersion Term

We consider a linear second order parabolic system with a third order dispersion term. This type of system arises when considering a nonlinear model equation describing the motion of a vortex filament with axial flow immersed in an incompressible and inviscid fluid. We prove the solvability of an initial-boundary value problem of the parabolic-dispersive system which allows application to the motion of a vortex filament. To do so, we propose a new regularization technique by adding a space-time derivative term.

math.AP↗