-
Maximal $L^1$-regularity and free boundary problems for the incompressible Navier-Stokes equations in critical spaces
Authors:
Takayoshi Ogawa,
Senjo Shimizu
Abstract:
Time-dependent free surface problem for the incompressible Navier-Stokes equations which describes the motion of viscous incompressible fluid nearly half-space are considered. We obtain global well-posedness of the problem for a small initial data in scale invariant critical Besov spaces. Our proof is based on maximal $L^1$-regularity of the corresponding Stokes problem in the half-space and speci…
▽ More
Time-dependent free surface problem for the incompressible Navier-Stokes equations which describes the motion of viscous incompressible fluid nearly half-space are considered. We obtain global well-posedness of the problem for a small initial data in scale invariant critical Besov spaces. Our proof is based on maximal $L^1$-regularity of the corresponding Stokes problem in the half-space and special structures of the quasi-linear term appearing from the Lagrangian transform of the coordinate.
△ Less
Submitted 26 July, 2023; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Maximal $L^1$-regularity for parabolic initial-boundary value problems with inhomogeneous data
Authors:
Takayoshi Ogawa,
Senjo Shimizu
Abstract:
End-point maximal $L^1$-regularity for parabolic initial-boundary value problems is considered. For the inhomogeneous Dirichlet and Neumann data, maximal $L^1$-regularity for initial-boundary value problems is established in time end-point case upon the homogeneous Besov space $\dot B_{p,1}^s({\mathbb R}^n_+)$ with $1< p< \infty$ and $-1+1/p<s\le 0$ as well as optimal trace estimates. The main est…
▽ More
End-point maximal $L^1$-regularity for parabolic initial-boundary value problems is considered. For the inhomogeneous Dirichlet and Neumann data, maximal $L^1$-regularity for initial-boundary value problems is established in time end-point case upon the homogeneous Besov space $\dot B_{p,1}^s({\mathbb R}^n_+)$ with $1< p< \infty$ and $-1+1/p<s\le 0$ as well as optimal trace estimates. The main estimates obtained here are sharp in the sense of trace estimates and it is not available by known theory on the class of UMD Banach spaces. We utilize a method of harmonic analysis, in particular, the almost orthogonal properties between the boundary potentials of the Dirichlet and the Neumann boundary data and the Littlewood-Paley dyadic decomposition of unity in the Besov and the Lizorkin-Triebel spaces.
△ Less
Submitted 4 November, 2021; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Windowed space-time least-squares Petrov-Galerkin method for nonlinear model order reduction
Authors:
Yukiko S. Shimizu,
Eric J. Parish
Abstract:
This work presents the windowed space-time least-squares Petrov-Galerkin method (WST-LSPG) for model reduction of nonlinear parameterized dynamical systems. WST-LSPG is a generalization of the space-time least-squares Petrov-Galerkin method (ST-LSPG). The main drawback of ST-LSPG is that it requires solving a dense space-time system with a space-time basis that is calculated over the entire global…
▽ More
This work presents the windowed space-time least-squares Petrov-Galerkin method (WST-LSPG) for model reduction of nonlinear parameterized dynamical systems. WST-LSPG is a generalization of the space-time least-squares Petrov-Galerkin method (ST-LSPG). The main drawback of ST-LSPG is that it requires solving a dense space-time system with a space-time basis that is calculated over the entire global time domain, which can be unfeasible for large-scale applications. Instead of using a temporally-global space-time trial subspace and minimizing the discrete-in-time full-order model (FOM) residual over an entire time domain, the proposed WST-LSPG approach addresses this weakness by (1) dividing the time simulation into time windows, (2) devising a unique low-dimensional space-time trial subspace for each window, and (3) minimizing the discrete-in-time space-time residual of the dynamical system over each window. This formulation yields a problem with coupling confined within each window, but sequential across the windows. To enable high-fidelity trial subspaces characterized by a relatively minimal number of basis vectors, this work proposes constructing space-time bases using tensor decompositions for each window. WST-LSPG is equipped with hyper-reduction techniques to further reduce the computational cost. Numerical experiments for the one-dimensional Burgers' equation and the two-dimensional compressible Navier-Stokes equations for flow over a NACA 0012 airfoil demonstrate that WST-LSPG is superior to ST-LSPG in terms of accuracy and computational gain.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
$L^r$-Helmholtz-Weyl decomposition for three dimensional exterior domains
Authors:
Matthias Hieber,
Hideo Kozono,
Anton Seyfert,
Senjo Shimizu,
Taku Yanagisawa
Abstract:
In this article the Helmholtz-Weyl decomposition in three dimensional exterior domains is established within the $L^r$-setting for $1<p<\infty$.
In this article the Helmholtz-Weyl decomposition in three dimensional exterior domains is established within the $L^r$-setting for $1<p<\infty$.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
Satellite Constellation Pattern Optimization for Complex Regional Coverage
Authors:
Hang Woon Lee,
Seiichi Shimizu,
Shoji Yoshikawa,
Koki Ho
Abstract:
The use of regional coverage satellite constellations is on the rise, urging the need for an optimal constellation design method for complex regional coverage. Traditional constellations are often designed for continuous global coverage, and the few existing regional constellation design methods lead to suboptimal solutions for periodically time-varying or spatially-varying regional coverage requi…
▽ More
The use of regional coverage satellite constellations is on the rise, urging the need for an optimal constellation design method for complex regional coverage. Traditional constellations are often designed for continuous global coverage, and the few existing regional constellation design methods lead to suboptimal solutions for periodically time-varying or spatially-varying regional coverage requirements. This paper introduces a new general approach to design an optimal constellation pattern that satisfies such complex regional coverage requirements. To this end, the circular convolution nature of the repeating ground track orbit and common ground track constellation is formalized. This formulation enables a scalable constellation pattern analysis for multiple target areas and with multiple sub-constellations. The formalized circular convolution relationship is first used to derive a baseline constellation pattern design method with the conventional assumption of symmetry. Next, a novel method based on binary integer linear programming is developed, which aims to optimally design a constellation pattern with the minimum number of satellites. This binary integer linear programming method is shown to achieve optimal constellation patterns for general problem settings that the baseline method cannot achieve. Five illustrative examples are analyzed to demonstrate the value of the proposed new approach.
△ Less
Submitted 5 October, 2020; v1 submitted 1 October, 2019;
originally announced October 2019.
-
Optimal Satellite Constellation Spare Strategy Using Multi-Echelon Inventory Control
Authors:
Pauline C. M. Jakob,
Seiichi Shimizu,
Shoji Yoshikawa,
Koki Ho
Abstract:
The recent growing trend to develop large-scale satellite constellations (i.e., mega-constellation) with low-cost small satellites has brought the need for an efficient and scalable maintenance strategy decision plan. Traditional spare strategies for satellite constellations cannot handle these mega-constellations due to their limited scalability in number of satellites and/or frequency of failure…
▽ More
The recent growing trend to develop large-scale satellite constellations (i.e., mega-constellation) with low-cost small satellites has brought the need for an efficient and scalable maintenance strategy decision plan. Traditional spare strategies for satellite constellations cannot handle these mega-constellations due to their limited scalability in number of satellites and/or frequency of failures. In this paper, we propose a novel spare strategy using an inventory management approach. We consider a set of parking orbits at a lower altitude than the constellation for spare storage, and model satellite constellation spare strategy problem using a multi-echelon (s,Q)-type inventory policy, viewing Earth's ground as a supplier, parking orbits as warehouses, and in-plane spare stocks as retailers. This inventory model is unique in that the parking orbits (warehouses) drift away from the orbital planes over time due to orbital mechanics' effects, and the in-plane spare stocks (retailers) would receive the resupply from the closest (i.e., minimum waiting time) available warehouse at the time of delivery. The parking orbits (warehouses) are also resupplied from the ground (supplier) with stochastic lead time caused by the order processing and launch opportunities, leveraging the cost saving effects by launching many satellites in one rocket (i.e., batch launch discount). The proposed analytical model is validated against simulations using Latin Hypercube Sampling. Furthermore, based on the proposed model, an optimization formulation is introduced to identify the optimal spare strategy, comprising the parking orbits characteristics and all locations policies, to minimize the maintenance cost of the system given performance requirements. The proposed model and optimization method are applied to a real-world case study of satellite mega-constellation to demonstrate their value.
△ Less
Submitted 5 June, 2019; v1 submitted 7 July, 2018;
originally announced July 2018.
-
Global existence of solutions to 2-D Navier-Stokes flow with non-decaying initial data in half-plane
Authors:
P. Maremonti,
S. Shimizu
Abstract:
We investigate the Navier-Stokes initial boundary value problem in the half-plane $R^2_+$ with initial data $u_0 \in L^\infty(R^2_+)\cap J_0^2(R^2_+)$ or with non decaying initial data $u_0\in L^\infty(R^2_+) \cap J_0^p(R^2_+), p > 2$ . We introduce a technique that allows to solve the two-dimesional problem, further, but not least, it can be also employed to obtain weak solutions, as regards the…
▽ More
We investigate the Navier-Stokes initial boundary value problem in the half-plane $R^2_+$ with initial data $u_0 \in L^\infty(R^2_+)\cap J_0^2(R^2_+)$ or with non decaying initial data $u_0\in L^\infty(R^2_+) \cap J_0^p(R^2_+), p > 2$ . We introduce a technique that allows to solve the two-dimesional problem, further, but not least, it can be also employed to obtain weak solutions, as regards the non decaying initial data, to the three-dimensional Navier-Stokes IBVP. This last result is the first of its kind.
△ Less
Submitted 31 July, 2018; v1 submitted 25 January, 2018;
originally announced January 2018.
-
On incompressible two-phase flows with phase transitions and variable surface tension
Authors:
Jan Pruess,
Senjo Shimizu,
Gieri Simonett,
Mathias Wilke
Abstract:
Our study of the basic model for incompressible two-phase flows with phase transitions consistent with thermodynamics [10,11,12,16] is extended to the case of temperature-dependent surface tension. We prove well-posedness in an Lp-setting, study the stability of the equilibria of the problem, and show that a solution which does not develop singularities exists globally, and if its limit set contai…
▽ More
Our study of the basic model for incompressible two-phase flows with phase transitions consistent with thermodynamics [10,11,12,16] is extended to the case of temperature-dependent surface tension. We prove well-posedness in an Lp-setting, study the stability of the equilibria of the problem, and show that a solution which does not develop singularities exists globally, and if its limit set contains a stable equilibrium it converges to this equilibrium in the natural state manifold for the problem as time goes to infinity.
△ Less
Submitted 22 May, 2014; v1 submitted 16 October, 2013;
originally announced October 2013.
-
Qualitative behaviour of incompressible two-phase flows with phase transitions: The case of non-equal densities
Authors:
Jan Pruess,
Senjo Shimizu,
Mathias Wilke
Abstract:
Our study of a basic model for incompressible two-phase flows with phase transitions consistent with thermodynamics in the case of constant but non-equal densities of the phases, begun by the first two authors is continued. We extend our well-posedness result to general geometries, study the stability of the equilibria of the problem, and show that a solution which does not develop singularities e…
▽ More
Our study of a basic model for incompressible two-phase flows with phase transitions consistent with thermodynamics in the case of constant but non-equal densities of the phases, begun by the first two authors is continued. We extend our well-posedness result to general geometries, study the stability of the equilibria of the problem, and show that a solution which does not develop singularities exists globally. If its limit set contains a stable equilibrium it converges to this equilibrium as time goes to infinity, in the natural state manifold for the problem in an Lp-setting.
△ Less
Submitted 11 April, 2013;
originally announced April 2013.
-
On well-posedness of incompressible two-phase flows with phase transitions: the case of equal densities
Authors:
Jan Pruess,
Senjo Shimizu,
Yoshihiro Shibata,
Gieri Simonett
Abstract:
The basic model for incompressible two-phase flows with phase transitions is derived from basic principles and shown to be thermodynamically consistent in the sense that the total energy is conserved and the total entropy is nondecreasing. The local well-posedness of such problems is proved by means of the technique of maximal $L_p$-regularity in the case of equal densities. This way we obtain a l…
▽ More
The basic model for incompressible two-phase flows with phase transitions is derived from basic principles and shown to be thermodynamically consistent in the sense that the total energy is conserved and the total entropy is nondecreasing. The local well-posedness of such problems is proved by means of the technique of maximal $L_p$-regularity in the case of equal densities. This way we obtain a local semiflow on a well-defined nonlinear state manifold. The equilibria of the system in absence of external forces are identified and it is shown that the negative total entropy is a strict Ljapunov functional for the system. If a solution does not develop singularities, it is proved that it exists globally in time, its orbit is relatively compact, and its limit set is nonempty and contained in the set of equilibria.
△ Less
Submitted 9 September, 2011;
originally announced September 2011.