-
Designing gradient coils with the shape derivative and the closed B-spline curves
Authors:
Toru Takahashi
Abstract:
This study proposes a versatile and efficient optimisation method for discrete coils that induce a magnetic field by their steady currents. The prime target is gradient coils for MRI (Magnetic Resonance Imaging). The derivative (gradient) of the $z$-component the magnetic field, which is calculated by the Biot--Savart's law, with respect to the $z$-coordinate in the Cartesian $xyz$ coordinate syst…
▽ More
This study proposes a versatile and efficient optimisation method for discrete coils that induce a magnetic field by their steady currents. The prime target is gradient coils for MRI (Magnetic Resonance Imaging). The derivative (gradient) of the $z$-component the magnetic field, which is calculated by the Biot--Savart's law, with respect to the $z$-coordinate in the Cartesian $xyz$ coordinate system is considered as the objective function. Then, the derivative of the objective function with respect to a change of coils in shape is formulated according to the concept of shape optimisation. The resulting shape derivative (as well as the Biot--Savart's law) is smoothly discretised with the closed B-spline curves. In this case, the control points (CPs) of the curves are naturally selected as the design variables. As a consequence, the shape derivative is discretised to the sensitivities of the objective function with respect to the CPs. Those sensitivities are available to solve the present shape-optimisation problem with a certain gradient-based nonlinear-programming solver. The numerical examples exhibit the mathematical reliability, computational efficiency, and engineering applicability of the proposed methodology based on the shape derivative/sensitivities and the closed B-spline curves.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Navier--Stokes flow in the exterior of a moving obstacle with a Lipschitz boundary
Authors:
Tomoki Takahashi,
Keiichi Watanabe
Abstract:
Consider the three-dimensional Navier--Stokes flow past a moving rigid body $\mathscr{O} \subset \mathbb{R}^3$ with prescribed translational and angular velocities, where $\mathscr{O}$ stands for a bounded Lipschitz domain. We prove that the solution to the linearized problem is governed by a $C_0$-semigroup on solenoidal $L^q$-vector spaces with the $L^q$-$L^r$ estimates provided that…
▽ More
Consider the three-dimensional Navier--Stokes flow past a moving rigid body $\mathscr{O} \subset \mathbb{R}^3$ with prescribed translational and angular velocities, where $\mathscr{O}$ stands for a bounded Lipschitz domain. We prove that the solution to the linearized problem is governed by a $C_0$-semigroup on solenoidal $L^q$-vector spaces with the $L^q$-$L^r$ estimates provided that $|1/q-1/2|<1/6+\varepsilon$ with some $\varepsilon>0$, where $r \ge q$ may be taken arbitrary large. As an application, we prove the existence and uniqueness of global mild solutions to the Navier--Stokes problem if the translational and angular velocities as well as the initial are sufficiently small.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Asymptotic Dynamics of Alternating Minimization for Non-Convex Optimization
Authors:
Koki Okajima,
Takashi Takahashi
Abstract:
This study investigates the asymptotic dynamics of alternating minimization applied to optimize a bilinear non-convex function with normally distributed covariates. We employ the replica method from statistical physics in a multi-step approach to precisely trace the algorithm's evolution. Our findings indicate that the dynamics can be described effectively by a two--dimensional discrete stochastic…
▽ More
This study investigates the asymptotic dynamics of alternating minimization applied to optimize a bilinear non-convex function with normally distributed covariates. We employ the replica method from statistical physics in a multi-step approach to precisely trace the algorithm's evolution. Our findings indicate that the dynamics can be described effectively by a two--dimensional discrete stochastic process, where each step depends on all previous time steps, revealing a memory dependency in the procedure. The theoretical framework developed in this work is broadly applicable for the analysis of various iterative algorithms, extending beyond the scope of alternating minimization.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Domain Decomposition Methods for the Monge-Ampère equation
Authors:
Yassine Boubendir,
Jake Brusca,
Brittany Froese Hamfeldt,
Tadanaga Takahashi
Abstract:
We introduce a new overlap** Domain Decomposition Method (DDM) to solve the fully nonlinear Monge-Ampère equation. While DDMs have been extensively studied for linear problems, their application to fully nonlinear partial differential equations (PDE) remains limited in the literature. To address this gap, we establish a proof of global convergence of these new iterative algorithms using a discre…
▽ More
We introduce a new overlap** Domain Decomposition Method (DDM) to solve the fully nonlinear Monge-Ampère equation. While DDMs have been extensively studied for linear problems, their application to fully nonlinear partial differential equations (PDE) remains limited in the literature. To address this gap, we establish a proof of global convergence of these new iterative algorithms using a discrete comparison principle argument. Several numerical tests are performed to validate the convergence theorem. These numerical experiments involve examples of varying regularity. Computational experiments show that method is efficient, robust, and requires relatively few iterations to converge. The results reveal great potential for DDM methods to lead to highly efficient and parallelizable solvers for large-scale problems that are computationally intractable using existing solution methods.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
Simultaneous Galois points for a reducible plane curve consisting of nonsingular components
Authors:
Aki Ikeda,
Takeshi Takahashi
Abstract:
Yoshihara's definition of Galois points for irreducible plane curves is extended to reducible plane curves. We also define simultaneous Galois points, weakening the conditions of the definition. We studied the number of simultaneous Galois points for a reduced plane curve with nonsingular components.
Yoshihara's definition of Galois points for irreducible plane curves is extended to reducible plane curves. We also define simultaneous Galois points, weakening the conditions of the definition. We studied the number of simultaneous Galois points for a reduced plane curve with nonsingular components.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Average case analysis of Lasso under ultra-sparse conditions
Authors:
Koki Okajima,
Xiangming Meng,
Takashi Takahashi,
Yoshiyuki Kabashima
Abstract:
We analyze the performance of the least absolute shrinkage and selection operator (Lasso) for the linear model when the number of regressors $N$ grows larger kee** the true support size $d$ finite, i.e., the ultra-sparse case. The result is based on a novel treatment of the non-rigorous replica method in statistical physics, which has been applied only to problem settings where $N$ ,$d$ and the…
▽ More
We analyze the performance of the least absolute shrinkage and selection operator (Lasso) for the linear model when the number of regressors $N$ grows larger kee** the true support size $d$ finite, i.e., the ultra-sparse case. The result is based on a novel treatment of the non-rigorous replica method in statistical physics, which has been applied only to problem settings where $N$ ,$d$ and the number of observations $M$ tend to infinity at the same rate. Our analysis makes it possible to assess the average performance of Lasso with Gaussian sensing matrices without assumptions on the scaling of $N$ and $M$, the noise distribution, and the profile of the true signal. Under mild conditions on the noise distribution, the analysis also offers a lower bound on the sample complexity necessary for partial and perfect support recovery when $M$ diverges as $M = O(\log N)$. The obtained bound for perfect support recovery is a generalization of that given in previous literature, which only considers the case of Gaussian noise and diverging $d$. Extensive numerical experiments strongly support our analysis.
△ Less
Submitted 25 February, 2023;
originally announced February 2023.
-
Role of Bootstrap Averaging in Generalized Approximate Message Passing
Authors:
Takashi Takahashi
Abstract:
Generalized approximate message passing (GAMP) is a computationally efficient algorithm for estimating an unknown signal $w_0\in\mathbb{R}^N$ from a random linear measurement $y= Xw_0 + ε\in\mathbb{R}^M$, where $X\in\mathbb{R}^{M\times N}$ is a known measurement matrix and $ε$ is the noise vector. The salient feature of GAMP is that it can provide an unbiased estimator…
▽ More
Generalized approximate message passing (GAMP) is a computationally efficient algorithm for estimating an unknown signal $w_0\in\mathbb{R}^N$ from a random linear measurement $y= Xw_0 + ε\in\mathbb{R}^M$, where $X\in\mathbb{R}^{M\times N}$ is a known measurement matrix and $ε$ is the noise vector. The salient feature of GAMP is that it can provide an unbiased estimator $\hat{r}^{\rm G}\sim\mathcal{N}(w_0, \hat{s}^2I_N)$, which can be used for various hypothesis-testing methods. In this study, we consider the bootstrap average of an unbiased estimator of GAMP for the elastic net. By numerically analyzing the state evolution of \emph{approximate message passing with resampling}, which has been proposed for computing bootstrap statistics of the elastic net estimator, we investigate when the bootstrap averaging reduces the variance of the unbiased estimator and the effect of optimizing the size of each bootstrap sample and hyperparameter of the elastic net regularization in the asymptotic setting $M, N\to\infty, M/N\toα\in(0,\infty)$. The results indicate that bootstrap averaging effectively reduces the variance of the unbiased estimator when the actual data generation process is inconsistent with the sparsity assumption of the regularization and the sample size is small. Furthermore, we find that when $w_0$ is less sparse, and the data size is small, the system undergoes a phase transition. The phase transition indicates the existence of the region where the ensemble average of unbiased estimators of GAMP for the elastic net norm minimization problem yields the unbiased estimator with the minimum variance.
△ Less
Submitted 18 May, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Null-controllability of cascade reaction-diffusion systems with odd coupling terms
Authors:
Kévin Le Balc'h,
Takéo Takahashi
Abstract:
In this paper, we consider a nonlinear system of two parabolic equations, with a distributed control in the first equation and an odd coupling term in the second one. We prove that the nonlinear system is small-time locally null-controllable. The main difficulty is that the linearized system is not null-controllable. To overcome this obstacle, we extend in a nonlinear setting the strategy introduc…
▽ More
In this paper, we consider a nonlinear system of two parabolic equations, with a distributed control in the first equation and an odd coupling term in the second one. We prove that the nonlinear system is small-time locally null-controllable. The main difficulty is that the linearized system is not null-controllable. To overcome this obstacle, we extend in a nonlinear setting the strategy introduced by the first author that consists in constructing odd controls for the linear heat equation. The proof relies on three main steps. First, we obtain from the classical L^2 parabolic Carleman estimate, conjugated with maximal regularity results, a weighted L^p observability inequality for the nonhomogeneous heat equation. Secondly, we perform a duality argument, close to the well-known Hilbert Uniqueness Method in a reflexive Banach setting, to prove that the heat equation perturbed by a source term is null-controllable thanks to odd controls. Finally, the nonlinearity is handled with a Schauder fixed-point argument.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Quasi-Galois points, II: Arrangements
Authors:
Satoru Fukasawa,
Kei Miura,
Takeshi Takahashi
Abstract:
In Part I, the present authors introduced the notion of a quasi-Galois point, for investigating the automorphism groups of plane curves. In this second part, the number of quasi-Galois points for smooth plane curves is described. In particular, sextic or quartic curves with many quasi-Galois points are characterized.
In Part I, the present authors introduced the notion of a quasi-Galois point, for investigating the automorphism groups of plane curves. In this second part, the number of quasi-Galois points for smooth plane curves is described. In particular, sextic or quartic curves with many quasi-Galois points are characterized.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Anisotropically weighted $L^q$-$L^r$ estimates of the Oseen semigroup in exterior domains, with applications to the Navier-Stokes flow past a rigid body
Authors:
Tomoki Takahashi
Abstract:
We consider the spatial-temporal behavior of the Navier-Stokes flow past a rigid body in $\mathbb{R}^3$. The present paper develops analysis in Lebesgue spaces with anisotropic weights $(1+|x|)^α(1+|x|-x_1)^β$, which naturally arise in the asymptotic structure of fluid when the translational velocity of the body is parallel to the $x_1$-direction. We derive anisotropically weighted $L^q$-$L^r$ est…
▽ More
We consider the spatial-temporal behavior of the Navier-Stokes flow past a rigid body in $\mathbb{R}^3$. The present paper develops analysis in Lebesgue spaces with anisotropic weights $(1+|x|)^α(1+|x|-x_1)^β$, which naturally arise in the asymptotic structure of fluid when the translational velocity of the body is parallel to the $x_1$-direction. We derive anisotropically weighted $L^q$-$L^r$ estimates for the Oseen semigroup in exterior domains. As applications of those estimates, we study the stability/attainability of the Navier-Stokes flow in anisotropically weighted $L^q$ spaces to get the spatial-temporal behavior of nonstationary solutions.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
The Role of Pseudo-labels in Self-training Linear Classifiers on High-dimensional Gaussian Mixture Data
Authors:
Takashi Takahashi
Abstract:
Self-training (ST) is a simple yet effective semi-supervised learning method. However, why and how ST improves generalization performance by using potentially erroneous pseudo-labels is still not well understood. To deepen the understanding of ST, we derive and analyze a sharp characterization of the behavior of iterative ST when training a linear classifier by minimizing the ridge-regularized con…
▽ More
Self-training (ST) is a simple yet effective semi-supervised learning method. However, why and how ST improves generalization performance by using potentially erroneous pseudo-labels is still not well understood. To deepen the understanding of ST, we derive and analyze a sharp characterization of the behavior of iterative ST when training a linear classifier by minimizing the ridge-regularized convex loss on binary Gaussian mixtures, in the asymptotic limit where input dimension and data size diverge proportionally. The results show that ST improves generalization in different ways depending on the number of iterations. When the number of iterations is small, ST improves generalization performance by fitting the model to relatively reliable pseudo-labels and updating the model parameters by a large amount at each iteration. This suggests that ST works intuitively. On the other hand, with many iterations, ST can gradually improve the direction of the classification plane by updating the model parameters incrementally, using soft labels and small regularization. It is argued that this is because the small update of ST can extract information from the data in an almost noiseless way. However, in the presence of label imbalance, the generalization performance of ST underperforms supervised learning with true labels. To overcome this, two heuristics are proposed to enable ST to achieve nearly compatible performance with supervised learning even with significant label imbalance.
△ Less
Submitted 7 May, 2024; v1 submitted 16 May, 2022;
originally announced May 2022.
-
A topology optimization of open acoustic waveguides based on a scattering matrix method
Authors:
Kei Matsushima,
Hiroshi Isakari,
Toru Takahashi,
Toshiro Matsumoto
Abstract:
This study presents a topology optimization scheme for realizing a bound state in the continuum along an open acoustic waveguide comprising a periodic array of elastic materials. First, we formulate the periodic problem as a system of linear algebraic equations using a scattering matrix associated with a single unit structure of the waveguide. The scattering matrix is numerically constructed using…
▽ More
This study presents a topology optimization scheme for realizing a bound state in the continuum along an open acoustic waveguide comprising a periodic array of elastic materials. First, we formulate the periodic problem as a system of linear algebraic equations using a scattering matrix associated with a single unit structure of the waveguide. The scattering matrix is numerically constructed using the boundary element method. Subsequently, we employ the Sakurai--Sugiura method to determine resonant frequencies and the Floquet wavenumbers by solving a nonlinear eigenvalue problem for the linear system. We design the shape and topology of the unit elastic material such that the periodic structure has a real resonant wavenumber at a given frequency by minimizing the imaginary part of the resonant wavenumber. The proposed topology optimization scheme is based on a level-set method with a novel topological derivative. We demonstrate a numerical example of the proposed topology optimization and show that it realizes a bound state in the continuum through some numerical experiments.
△ Less
Submitted 7 July, 2022; v1 submitted 24 January, 2022;
originally announced January 2022.
-
Statistical mechanics analysis of general multi-dimensional knapsack problems
Authors:
Yuta Nakamura,
Takashi Takahashi,
Yoshiyuki Kabashima
Abstract:
Knapsack problem (KP) is a representative combinatorial optimization problem that aims to maximize the total profit by selecting a subset of items under given constraints on the total weights. In this study, we analyze a generalized version of KP, which is termed the generalized multidimensional knapsack problem (GMDKP). As opposed to the basic KP, GMDKP allows multiple choices per item type under…
▽ More
Knapsack problem (KP) is a representative combinatorial optimization problem that aims to maximize the total profit by selecting a subset of items under given constraints on the total weights. In this study, we analyze a generalized version of KP, which is termed the generalized multidimensional knapsack problem (GMDKP). As opposed to the basic KP, GMDKP allows multiple choices per item type under multiple weight constraints. Although several efficient algorithms are known and the properties of their solutions have been examined to a significant extent for basic KPs, there is a paucity of known algorithms and studies on the solution properties of GMDKP. To gain insight into the problem, we assess the typical achievable limit of the total profit for a random ensemble of GMDKP using the replica method. Our findings are summarized as follows: (1) When the profits of item types are normally distributed, the total profit grows in the leading order with respect to the number of item types as the maximum number of choices per item type $x^{\rm max}$ increases while it depends on $x^{\rm max}$ only in a sub-leading order if the profits are constant among the item types. (2) A greedy-type heuristic can find a nearly optimal solution whose total profit is lower than the optimal value only by a sub-leading order with a low computational cost. (3) The sub-leading difference from the optimal total profit can be improved by a heuristic algorithm based on the cavity method. Extensive numerical experiments support these findings.
△ Less
Submitted 21 August, 2022; v1 submitted 18 January, 2022;
originally announced January 2022.
-
An enhancement of the fast time-domain boundary element method for the three-dimensional wave equation
Authors:
Toru Takahashi,
Masaki Tanigawa,
Naoya Miyazawa
Abstract:
Our objective is to stabilise and accelerate the time-domain boundary element method (TDBEM) for the three-dimensional wave equation. To overcome the potential time instability, we considered using the Burton--Miller-type boundary integral equation (BMBIE) instead of the ordinary boundary integral equation (OBIE), which consists of the single- and double-layer potentials. In addition, we introduce…
▽ More
Our objective is to stabilise and accelerate the time-domain boundary element method (TDBEM) for the three-dimensional wave equation. To overcome the potential time instability, we considered using the Burton--Miller-type boundary integral equation (BMBIE) instead of the ordinary boundary integral equation (OBIE), which consists of the single- and double-layer potentials. In addition, we introduced a smooth temporal basis, i.e. the B-spline temporal basis of order $d$, whereas $d=1$ was used together with the OBIE in a previous study [Takahashi 2014]. Corresponding to these new techniques, we generalised the interpolation-based fast multipole method that was developed in \cite{takahashi2014}. In particular, we constructed the multipole-to-local formula (M2L) so that even for $d\ge 2$ we can maintain the computational complexity of the entire algorithm, i.e. $O(N_{\rm s}^{1+δ} N_{\rm t})$, where $N_{\rm s}$ and $N_{\rm t}$ denote the number of boundary elements and the number of time steps, respectively, and $δ$ is theoretically estimated as $1/3$ or $1/2$. The numerical examples indicated that the BMBIE is indispensable for solving the homogeneous Dirichlet problem, but the order $d$ cannot exceed 1 owing to the doubtful cancellation of significant digits when calculating the corresponding layer potentials. In regard to the homogeneous Neumann problem, the previous TDBEM based on the OBIE with $d=1$ can be unstable, whereas it was found that the BMBIE with $d=2$ can be stable and accurate. The present study will enhance the usefulness of the TDBEM for 3D scalar wave problems.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
Controllability of a simplified fluid-structure interaction system
Authors:
Rémi Buffe,
Takéo Takahashi
Abstract:
We are interested by the controllability of a fluid-structure interaction system where the fluid is viscous and incompressible and where the structure is elastic and located on a part of the boundary of the fluid's domain. In this article, we simplify this system by considering a linearization and by replacing the wave/plate equation for the structure by a heat equation. We show that the correspon…
▽ More
We are interested by the controllability of a fluid-structure interaction system where the fluid is viscous and incompressible and where the structure is elastic and located on a part of the boundary of the fluid's domain. In this article, we simplify this system by considering a linearization and by replacing the wave/plate equation for the structure by a heat equation. We show that the corresponding system coupling the Stokes equations with a heat equation at its boundary is null-controllable. The proof is based on Carleman estimates and interpolation inequalities. One of the Carleman estimates corresponds to the case of Ventcel boundary conditions. This work can be seen as a first step to handle the real system where the structure is modeled by the wave or the plate equation.
△ Less
Submitted 1 September, 2021;
originally announced September 2021.
-
Controllability results for cascade systems of $m$ coupled $N$-dimensional Stokes and Navier-Stokes systems by $N-1$ scalar controls
Authors:
Takéo Takahashi,
Luz de Teresa,
Ying Wu-Zhang
Abstract:
In this paper, we deal with the controllability properties of a system of $m$ coupled Stokes systems or $m$ coupled Navier-Stokes systems. We show the null-controllability of such systems in the case where the coupling is in a cascade form and when the control acts only on one of the systems. Moreover, we impose that this control has a vanishing component so that we control a $m\times N$ state (co…
▽ More
In this paper, we deal with the controllability properties of a system of $m$ coupled Stokes systems or $m$ coupled Navier-Stokes systems. We show the null-controllability of such systems in the case where the coupling is in a cascade form and when the control acts only on one of the systems. Moreover, we impose that this control has a vanishing component so that we control a $m\times N$ state (corresponding to the velocities of the fluids) by $N-1$ distributed scalar controls. The proof of the controllability of the coupled Stokes system is based on a Carleman estimate for the adjoint system. The local null-controllability of the coupled Navier-Stokes systems is then obtained by means of the source term method and a Banach fixed point.
△ Less
Submitted 12 April, 2022; v1 submitted 22 August, 2021;
originally announced August 2021.
-
A shape optimisation with the isogeometric boundary element method and adjoint variable method for the three-dimensional Helmholtz equation
Authors:
Toru Takahashi,
Daisuke Sato,
Hiroshi Isakari,
Toshiro Matsumoto
Abstract:
This paper presents a shape optimisation system to design the shape of an acoustically-hard object in the three-dimensional open space. Boundary element method (BEM) is suitable to analyse such an exterior field. However, the conventional BEM, which is based on piecewise polynomial shape and interpolation functions, can require many design variables because they are usually chosen as a part of the…
▽ More
This paper presents a shape optimisation system to design the shape of an acoustically-hard object in the three-dimensional open space. Boundary element method (BEM) is suitable to analyse such an exterior field. However, the conventional BEM, which is based on piecewise polynomial shape and interpolation functions, can require many design variables because they are usually chosen as a part of the nodes of the underlying boundary element mesh. In addition, it is not easy for the conventional method to compute the gradient of the sound pressure on the surface, which is necessary to compute the shape derivative of our interest, of a given object. To overcome these issues, we employ the isogeometric boundary element method (IGBEM), which was developed in our previous work. With using the IGBEM, we can design the shape of surfaces through control points of the NURBS surfaces of the target object. We integrate the IGBEM with the nonlinear programming software through the adjoint variable method (AVM), where the resulting adjoint boundary value problem can be also solved by the IGBEM with a slight modification. The numerical verification and demonstration validate our shape optimisation framework.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
An isogeometric boundary element method for three-dimensional doubly-periodic layered structures in electromagnetics
Authors:
Toru Takahashi,
Tetsuro Hirai,
Hiroshi Isakari,
Toshiro Matsumoto
Abstract:
This paper proposes an isogeometric boundary element method (IGBEM) to solve the electromagnetic scattering problems for three-dimensional doubly-periodic multi-layered structures. The main concerns are the constructions of (i) an open surface (between two layers) and (ii) a vector basis function with using the B-spline functions. Regarding (i), we considered an algorithm to generate a doubly-peri…
▽ More
This paper proposes an isogeometric boundary element method (IGBEM) to solve the electromagnetic scattering problems for three-dimensional doubly-periodic multi-layered structures. The main concerns are the constructions of (i) an open surface (between two layers) and (ii) a vector basis function with using the B-spline functions. Regarding (i), we considered an algorithm to generate a doubly-periodic open surface with the tensor product of the B-spline functions of any degree. Regarding (ii), we employed the vector basis function based on the B-spline functions, which was proposed by Buffa et al. (2010), and adapted it to the underlying periodic problems so that it can satisfy the quasi-periodic condition on the boundary of an open surface. The proposed IGBEM worked for solving some numerical examples satisfactorily and proved the applicability to plasmonic simulations.
△ Less
Submitted 27 October, 2021; v1 submitted 26 April, 2021;
originally announced May 2021.
-
Existence of a Stationary Navier-Stokes Flow Past a Rigid Body, with Application to Starting Problem in Higher Dimensions
Authors:
Tomoki Takahashi
Abstract:
We consider the large time behavior of the Navier-Stokes flow past a rigid body in $\mathbb{R}^n$ with $n\geq 3$. We first construct a small stationary solution possessing the optimal summability at spatial infinity, which is the same as that of the Oseen fundamental solution. When the translational velocity of the body gradually increases and is maintained after a certain finite time, we then sho…
▽ More
We consider the large time behavior of the Navier-Stokes flow past a rigid body in $\mathbb{R}^n$ with $n\geq 3$. We first construct a small stationary solution possessing the optimal summability at spatial infinity, which is the same as that of the Oseen fundamental solution. When the translational velocity of the body gradually increases and is maintained after a certain finite time, we then show that the nonstationary fluid motion converges to the stationary solution corresponding to a small terminal velocity of the body as time $t\rightarrow\infty$ in $L^q$ with $q\in[n,\infty]$. This is called Finn's starting problem and the three-dimensional case was affirmatively solved by Galdi, Heywood and Shibata $(1997).$ The present paper extends their result to the case of higher dimensions. Even for the three-dimensional case, our theorem provides new convergence rate, that is determined by the summability of the stationary solution at infinity and seems to be sharp.
△ Less
Submitted 26 November, 2020; v1 submitted 11 September, 2020;
originally announced September 2020.
-
Existence and uniqueness of strong solutions for the system of interaction between a compressible Navier-Stokes-Fourier fluid and a damped plate equation
Authors:
Debayan Maity,
Takéo Takahashi
Abstract:
The article is devoted to the mathematical analysis of a fluid-structure interaction system where the fluid is compressible and heat conducting and where the structure is deformable and located on a part of the boundary of the fluid domain. The fluid motion is modeled by the compressible Navier-Stokes-Fourier system and the structure displacement is described by a structurally damped plate equatio…
▽ More
The article is devoted to the mathematical analysis of a fluid-structure interaction system where the fluid is compressible and heat conducting and where the structure is deformable and located on a part of the boundary of the fluid domain. The fluid motion is modeled by the compressible Navier-Stokes-Fourier system and the structure displacement is described by a structurally damped plate equation. Our main results are the existence of strong solutions in an $L^p-L^q$ setting for small time or for small data. Through a change of variables and a fixed point argument, the proof of the main results is mainly based on the maximal regularity property of the corresponding linear systems. For small time existence, this property is obtained by decoupling the linear system into several standard linear systems whereas for global existence and for small data, the maximal regularity property is proved by showing that the corresponding linear coupled {\em fluid-structure} operator is $\mathcal{R}-$sectorial.
△ Less
Submitted 31 May, 2020;
originally announced June 2020.
-
Feedback stabilization of parabolic systems with input delay
Authors:
Imene Aicha Djebour,
Takéo Takahashi,
Julie Valein
Abstract:
This work is devoted to the stabilization of parabolic systems with a finite-dimensional control subjected to a constant delay. Our main result shows that the Fattorini-Hautus criterion yields the existence of such a feedback control, as in the case of stabilization without delay. The proof consists in splitting the system into a finite dimensional unstable part and a stable infinite-dimensional p…
▽ More
This work is devoted to the stabilization of parabolic systems with a finite-dimensional control subjected to a constant delay. Our main result shows that the Fattorini-Hautus criterion yields the existence of such a feedback control, as in the case of stabilization without delay. The proof consists in splitting the system into a finite dimensional unstable part and a stable infinite-dimensional part and to apply the Artstein transformation on the finite-dimensional system to remove the delay in the control. Using our abstract result, we can prove new results for the stabilization of parabolic systems with constant delay: the $N$-dimensional linear convection-diffusion equation with $N\geq 1$ and the Oseen system. We end the article by showing that this theory can be used to stabilize nonlinear parabolic systems with input delay by proving the local feedback distributed stabilization of the Navier-Stokes system around a stationary state.
△ Less
Submitted 17 April, 2020;
originally announced April 2020.
-
Remark on the global null controllability for a viscous Burgers-particle system with particle supported control
Authors:
Mythily Ramaswamy,
Arnab Roy,
Takéo Takahashi
Abstract:
This paper is devoted to study the controllability of a one-dimensional fluid-particle interaction model where the fluid follows the viscous Burgers equation and the point mass obeys Newton's second law. We prove the null controllability for the velocity of the fluid and the particle and an approximate controllability for the position of the particle with a control variable acting only on the part…
▽ More
This paper is devoted to study the controllability of a one-dimensional fluid-particle interaction model where the fluid follows the viscous Burgers equation and the point mass obeys Newton's second law. We prove the null controllability for the velocity of the fluid and the particle and an approximate controllability for the position of the particle with a control variable acting only on the particle. One of the novelties of our work is the fact that we achieve this controllability result in a uniform time for all initial data and without any smallness assumptions on the initial data.
△ Less
Submitted 12 April, 2020;
originally announced April 2020.
-
Sliding possibility of the Julia sets
Authors:
Hiromichi Nakayama,
Takuya Takahashi
Abstract:
A. Sannami constructed an example of the differentiable Cantor set embedded in the real line whose difference set has a positive measure. In this paper, we generalize the definition of the difference sets for sets of the two dimensional Euclidean space as the sets of vectors between two sets, and estimate their measures. For the quadratic map Q_c(z)=z^2+c, we obtain that the measure of the differe…
▽ More
A. Sannami constructed an example of the differentiable Cantor set embedded in the real line whose difference set has a positive measure. In this paper, we generalize the definition of the difference sets for sets of the two dimensional Euclidean space as the sets of vectors between two sets, and estimate their measures. For the quadratic map Q_c(z)=z^2+c, we obtain that the measure of the difference set of its Julia set vanishes if |c|>3+sqrt{3}.
△ Less
Submitted 8 April, 2020;
originally announced April 2020.
-
Attainability of a stationary Navier-Stokes flow around a rigid body rotating from rest
Authors:
T. Takahashi
Abstract:
We consider the large time behavior of the three-dimensional Navier-Stokes flow around a rotating rigid body. Assume that the angular velocity of the body gradually increases until it reaches a small terminal one at a certain finite time and it is fixed afterwards. We then show that the fluid motion converges to a steady solution as time $t\rightarrow\infty$.
We consider the large time behavior of the three-dimensional Navier-Stokes flow around a rotating rigid body. Assume that the angular velocity of the body gradually increases until it reaches a small terminal one at a certain finite time and it is fixed afterwards. We then show that the fluid motion converges to a steady solution as time $t\rightarrow\infty$.
△ Less
Submitted 2 October, 2020; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Optimal boundary control for steady motions of a self-propelled body in a Navier-Stokes liquid
Authors:
Toshiaki Hishida,
Ana Leonor Silvestre,
Takéo Takahashi
Abstract:
Consider a rigid body ${\mathcal S} \subset {\mathbb R}^3$ immersed in an infinitely extended Navier-Stokes liquid and the motion of the body-fluid interaction system described from a reference frame attached to ${\mathcal S}$. We are interested in steady motions of this coupled system, where the region occupied by the fluid is the exterior domain $Ω= {\mathbb R}^3 \setminus {\mathcal S}$. This pa…
▽ More
Consider a rigid body ${\mathcal S} \subset {\mathbb R}^3$ immersed in an infinitely extended Navier-Stokes liquid and the motion of the body-fluid interaction system described from a reference frame attached to ${\mathcal S}$. We are interested in steady motions of this coupled system, where the region occupied by the fluid is the exterior domain $Ω= {\mathbb R}^3 \setminus {\mathcal S}$. This paper deals with the problem of using boundary controls $v_*$, acting on the whole $\partialΩ$ or just on a portion $Γ$ of $\partialΩ$, to generate a self-propelled motion of ${\mathcal S}$ with a target velocity $V(x):=ξ+ω\times x$ and to minimize the drag about ${\mathcal S}$. Firstly, an appropriate drag functional is derived from the energy equation of the fluid and the problem is formulated as an optimal boundary control problem. Then the minimization problem is solved for localized controls, such that supp $v_*\subset Γ$, and for tangential controls, i.e, $v_*\cdot n|_{\partial Ω}=0$, where $n$ is the outward unit normal to $\partial Ω$. We prove the existence of optimal solutions, justify the Gâteaux derivative of the control-to-state map, establish the well-posedness of the corresponding adjoint equations and, finally, derive the first order optimality conditions. The results are obtained under smallness restrictions on the objectives $|ξ|$ and $|ω|$ and on the boundary controls.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
-
Existence of contacts for the motion of a rigid body into a viscous incompressible fluid with the Tresca boundary conditions
Authors:
Matthieu Hillairet,
Takéo Takahashi
Abstract:
We consider a fluid-structure interaction system composed by a rigid ball immersed into a viscous incompressible fluid. The motion of the structure satisfies the Newton laws and the fluid equations are the standard Navier-Stokes system. At the boundary of the fluid domain, we use the Tresca boundary conditions, that permit the fluid to slip tangentially on the boundary under some conditions on the…
▽ More
We consider a fluid-structure interaction system composed by a rigid ball immersed into a viscous incompressible fluid. The motion of the structure satisfies the Newton laws and the fluid equations are the standard Navier-Stokes system. At the boundary of the fluid domain, we use the Tresca boundary conditions, that permit the fluid to slip tangentially on the boundary under some conditions on the stress tensor. More precisely, there is a threshold determining if the fluid can slip or not and there is a friction force acting on the part where the fluid can slip. Our main result is the existence of contact in finite time between the ball and the exterior boundary of the fluid for this system in the bidimensional case and in presence of gravity.
△ Less
Submitted 5 December, 2019; v1 submitted 4 December, 2019;
originally announced December 2019.
-
Asymptotic analysis of an optimal control problem for a viscous incompressible fluid with Navier slip boundary conditions
Authors:
Claudia Gariboldi,
Takéo Takahashi
Abstract:
We consider an optimal control problem for the Navier-Stokes system with Navier slip boundary conditions. We denote by $α$ the friction coefficient and we analyze the asymptotic behavior of such a problem as $α\to \infty$. More precisely, we prove that if we take an optimal control for each $α$, then there exists a sequence of optimal controls converging to an optimal control of the same optimal c…
▽ More
We consider an optimal control problem for the Navier-Stokes system with Navier slip boundary conditions. We denote by $α$ the friction coefficient and we analyze the asymptotic behavior of such a problem as $α\to \infty$. More precisely, we prove that if we take an optimal control for each $α$, then there exists a sequence of optimal controls converging to an optimal control of the same optimal control problem for the Navier-Stokes system with the Dirichlet boundary condition. We also show the convergence of the corresponding direct and adjoint states.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Stabilization of a rigid body moving in a compressible viscous fluid
Authors:
Arnab Roy,
Takéo Takahashi
Abstract:
We consider the stabilizability of a fluid-structure interaction system where the fluid is viscous and compressible and the structure is a rigid ball. The feedback control of the system acts on the ball and corresponds to a force that would be produced by a spring and a damper connecting the center of the ball to a fixed point $h_1$. We prove the global-in-time existence of strong solutions for th…
▽ More
We consider the stabilizability of a fluid-structure interaction system where the fluid is viscous and compressible and the structure is a rigid ball. The feedback control of the system acts on the ball and corresponds to a force that would be produced by a spring and a damper connecting the center of the ball to a fixed point $h_1$. We prove the global-in-time existence of strong solutions for the corresponding system under a smallness condition on the initial velocities and on the distance between the initial position of the center of the ball and $h_1$. Then, we show with our feedback law, that the fluid and the structure velocities go to 0 and that the center of the ball goes to $h_1$ as $t\to \infty$.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Gevrey regularity for a system coupling the Navier-Stokes system with a beam: the non-flat case
Authors:
Mehdi Badra,
Takéo Takahashi
Abstract:
We consider a bi-dimensional viscous incompressible fluid in interaction with a beam located at its boundary. We show the existence of strong solutions for this fluid-structure interaction system, extending a previous result where we supposed that the initial deformation of the beam was small. The main point of the proof consists in the study of the linearized system and in particular in proving t…
▽ More
We consider a bi-dimensional viscous incompressible fluid in interaction with a beam located at its boundary. We show the existence of strong solutions for this fluid-structure interaction system, extending a previous result where we supposed that the initial deformation of the beam was small. The main point of the proof consists in the study of the linearized system and in particular in proving that the corresponding semigroup is of Gevrey class.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Algebraic curves admitting the same Galois closure for two projections
Authors:
Satoru Fukasawa,
Kazuki Higashine,
Takeshi Takahashi
Abstract:
A criterion for the existence of a plane model of an algebraic curve such that the Galois closures of projections from two points are the same is presented. As an application, it is proved that the Hermitian curve in positive characteristic coincides with the Galois closures of projections of some plane curve from some two non-uniform points.
A criterion for the existence of a plane model of an algebraic curve such that the Galois closures of projections from two points are the same is presented. As an application, it is proved that the Hermitian curve in positive characteristic coincides with the Galois closures of projections of some plane curve from some two non-uniform points.
△ Less
Submitted 7 May, 2019;
originally announced May 2019.
-
Mathematical Analysis of the Motion of a Rigid Body in a Compressible Navier-Stokes-Fourier Fluid
Authors:
Bernhard H. Haak,
Debayan Maity,
Takéo Takahashi,
Marius Tucsnak
Abstract:
We study an initial and boundary value problem modelling the motion of a rigid body in a heat conducting gas. The solid is supposed to be a perfect thermal insulator. The gas is described by the compressible Navier-Stokes-Fourier equations, whereas the motion of the solid is governed by Newton's laws. The main results assert the existence of strong solutions, in an L p-L q setting, both locally in…
▽ More
We study an initial and boundary value problem modelling the motion of a rigid body in a heat conducting gas. The solid is supposed to be a perfect thermal insulator. The gas is described by the compressible Navier-Stokes-Fourier equations, whereas the motion of the solid is governed by Newton's laws. The main results assert the existence of strong solutions, in an L p-L q setting, both locally in time and globally in time for small data. The proof is essentially using the maximal regularity property of associated linear systems. This property is checked by proving the R-sectoriality of the corresponding operators, which in turn is obtained by a perturbation method.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Tropicalization of 1-tacnodal curves on toric surfaces
Authors:
Takuhiro Takahashi
Abstract:
A degeneration of a singular curve on a toric surface, called a tropicalization, was constructed by E. Shustin. He classified the degeneration of 1-cuspidal curves using polyhedral complexes called tropical curves. In this paper, we define a tropical version of a 1-tacnodal curve, that is, a curve having exactly one singular point whose topological type is $A_3$, and by applying the tropicalizatio…
▽ More
A degeneration of a singular curve on a toric surface, called a tropicalization, was constructed by E. Shustin. He classified the degeneration of 1-cuspidal curves using polyhedral complexes called tropical curves. In this paper, we define a tropical version of a 1-tacnodal curve, that is, a curve having exactly one singular point whose topological type is $A_3$, and by applying the tropicalization method, we classify tropical curves which correspond to 1-tacnodal curves.
△ Less
Submitted 3 September, 2017;
originally announced September 2017.
-
Galois Weierstrass points whose Weierstrass semigroups are generated by two elements
Authors:
Jiryo Komeda,
Takeshi Takahashi
Abstract:
We investigate the number of Galois Weierstrass points whose Weierstrass semigroups are generated by two positive integers.
We investigate the number of Galois Weierstrass points whose Weierstrass semigroups are generated by two positive integers.
△ Less
Submitted 28 March, 2017;
originally announced March 2017.
-
A fast topology optimisation for material- and geometry-independent cloaking devices with the BEM and the ${\mathcal H}$-matrix method
Authors:
Kenta Nakamoto,
Hiroshi Isakari,
Toru Takahashi,
Toshiro Matsumoto
Abstract:
We show a design method of cloaking devices which work for target objects with arbitrary shape and material by a topology optimisation with an accurate and efficient sensitivity analysis. Most of past researches on topology optimisation of cloaking devices intend to hide a circle-shaped perfect electric conductor. In this case, the cloaking effect is highly dependent on the shape and material of a…
▽ More
We show a design method of cloaking devices which work for target objects with arbitrary shape and material by a topology optimisation with an accurate and efficient sensitivity analysis. Most of past researches on topology optimisation of cloaking devices intend to hide a circle-shaped perfect electric conductor. In this case, the cloaking effect is highly dependent on the shape and material of a target object. In this study, we consider to design a cloaking device which work regardless of the property of target objects by modifying the definition of the objective function. Also, we developed an efficient and accurate sensitivity analysis with the boundary element method and the ${\mathcal H}$-matrix method. We show that the proposed method can successfully obtain desired cloaking devices with low computational cost.
△ Less
Submitted 24 November, 2016;
originally announced November 2016.
-
A note on tropical curves and the Newton diagrams of plane curve singularities
Authors:
Takuhiro Takahashi
Abstract:
For a convenient and Newton non-degenerate singularity, the Milnor number is computed from the complement of its Newton diagram in the first quadrant, so-called Kouchnirenko's formula. In this paper, we consider tropical curves dual to subdivisions of this complement for a plane curve singularity and show the existence of a tropical curve satisfying a certain formula, which looks like a well-known…
▽ More
For a convenient and Newton non-degenerate singularity, the Milnor number is computed from the complement of its Newton diagram in the first quadrant, so-called Kouchnirenko's formula. In this paper, we consider tropical curves dual to subdivisions of this complement for a plane curve singularity and show the existence of a tropical curve satisfying a certain formula, which looks like a well-known formula for a real morsification due to A'Campo and Gusein-Zade.
△ Less
Submitted 6 September, 2016; v1 submitted 19 July, 2016;
originally announced July 2016.
-
A level-set-based topology optimisation for acoustic-elastic coupled problems with a fast BEM-FEM solver
Authors:
Hiroshi Isakari,
Toyohiro Kondo,
Toru Takahashi,
Toshiro Matsumoto
Abstract:
This paper presents a structural optimisation method in three-dimensional acoustic-elastic coupled problems. The proposed optimisation method finds an optimal allocation of elastic materials which reduces the sound level on some fixed observation points. In the process of the optimisation, configuration of the elastic materials is expressed with a level set function, and the distribution of the le…
▽ More
This paper presents a structural optimisation method in three-dimensional acoustic-elastic coupled problems. The proposed optimisation method finds an optimal allocation of elastic materials which reduces the sound level on some fixed observation points. In the process of the optimisation, configuration of the elastic materials is expressed with a level set function, and the distribution of the level set function is iteratively updated with the help of the topological derivative. The topological derivative is associated with state and adjoint variables which are the solutions of the acoustic-elastic coupled problems. In this paper, the acoustic-elastic coupled problems are solved by a BEM-FEM coupled solver, in which the fast multipole method (FMM) and a multi-frontal solver for sparse matrices are efficiently combined. Along with the detailed formulations for the topological derivative and the BEM-FEM coupled solver, we present some numerical examples of optimal designs of elastic sound scatterer to manipulate sound waves, from which we confirm the effectiveness of the present method.
△ Less
Submitted 7 June, 2016;
originally announced June 2016.
-
Small moving rigid body into a viscous incompressible fluid
Authors:
Christophe Lacave,
Takéo Takahashi
Abstract:
We consider a single disk moving under the influence of a 2D viscous fluid and we study the asymptotic as the size of the solid tends to zero.If the density of the solid is independent of $\varepsilon$, the energy equality is not sufficient to obtain a uniform estimate for the solid velocity. This will be achieved thanks to the optimal $L^p-L^q$ decay estimates of the semigroup associated to the f…
▽ More
We consider a single disk moving under the influence of a 2D viscous fluid and we study the asymptotic as the size of the solid tends to zero.If the density of the solid is independent of $\varepsilon$, the energy equality is not sufficient to obtain a uniform estimate for the solid velocity. This will be achieved thanks to the optimal $L^p-L^q$ decay estimates of the semigroup associated to the fluid-rigid body system and to a fixed point argument. Next, we will deduce the convergence to the solution of the Navier-Stokes equations in $\R^2$.
△ Less
Submitted 7 November, 2016; v1 submitted 30 June, 2015;
originally announced June 2015.
-
Quasi-Galois points
Authors:
Satoru Fukasawa,
Kei Miura,
Takeshi Takahashi
Abstract:
We introduce the new notion of the "quasi-Galois point" in Algebraic geometry, which is a generalization of the Galois point. A point $P$ in projective plane is said to be quasi-Galois for a plane curve if the curve admits a non-trivial birational transformation which preserves the fibers of the projection $π_P$ from $P$. We discuss the standard form of the defining equation of curves with quasi-G…
▽ More
We introduce the new notion of the "quasi-Galois point" in Algebraic geometry, which is a generalization of the Galois point. A point $P$ in projective plane is said to be quasi-Galois for a plane curve if the curve admits a non-trivial birational transformation which preserves the fibers of the projection $π_P$ from $P$. We discuss the standard form of the defining equation of curves with quasi-Galois points, the number of quasi-Galois points, the structure of the Galois group for the projection, relations with dual curves, and so on. Our theory also has applications to the study of automorphism groups of algebraic curves.
△ Less
Submitted 3 March, 2016; v1 submitted 1 May, 2015;
originally announced May 2015.
-
Elastic energy of a convex body
Authors:
Chiara Bianchini,
Antoine Henrot,
Takeo Takahashi
Abstract:
In this paper a Blaschke-Santaló diagram involving the area, the perimeter and the elastic energy of planar convex bodies is considered. More precisely we give a description of set $$\mathcal{E}:=\left\{(x,y)\in \R^2, x=\frac{4πA(Ω)}{P(Ω)^2},y=\frac{E(Ω)P(Ω)}{2π^2},\,Ω\mbox{convex} \right\},$$ where $A$ is the area, $P$ is the perimeter and $E$ is the elastic energy, that is a Willmore type energy…
▽ More
In this paper a Blaschke-Santaló diagram involving the area, the perimeter and the elastic energy of planar convex bodies is considered. More precisely we give a description of set $$\mathcal{E}:=\left\{(x,y)\in \R^2, x=\frac{4πA(Ω)}{P(Ω)^2},y=\frac{E(Ω)P(Ω)}{2π^2},\,Ω\mbox{convex} \right\},$$ where $A$ is the area, $P$ is the perimeter and $E$ is the elastic energy, that is a Willmore type energy in the plane. In order to do this, we investigate the following shape optimization problem: $$\min_{Ω\in\mathcal{C}}\{E(Ω)+μA(Ω)\},$$ where $\mathcal{C}$ is the class of convex bodies with fixed perimeter and $μ\ge 0$ is a parameter. Existence, regularity and geometric properties of solutions to this minimum problem are shown.
△ Less
Submitted 27 June, 2014;
originally announced June 2014.
-
On the minimization of total mean curvature
Authors:
Jeremy Dalphin,
Antoine Henrot,
Simon Masnou,
Takeo Takahashi
Abstract:
In this paper we are interested in possible extensions of an inequality due to Minkowski: $\int_{\partialΩ} H\,dA \geq \sqrt{4πA(\partialΩ)}$ valid for any regular open set $Ω\subset\mathbb{R}^3$, where $H$ denotes the scalar mean curvature and $A$ the area. We prove that this inequality holds true for axisymmetric domains which are convex in the direction orthogonal to the axis of symmetry. We al…
▽ More
In this paper we are interested in possible extensions of an inequality due to Minkowski: $\int_{\partialΩ} H\,dA \geq \sqrt{4πA(\partialΩ)}$ valid for any regular open set $Ω\subset\mathbb{R}^3$, where $H$ denotes the scalar mean curvature and $A$ the area. We prove that this inequality holds true for axisymmetric domains which are convex in the direction orthogonal to the axis of symmetry. We also show that this inequality cannot be true in more general situations. However we prove that $\int_{\partialΩ} |H|\,dA \geq \sqrt{4πA(\partialΩ)}$ remains true for any axisymmetric domain.
△ Less
Submitted 26 June, 2014;
originally announced June 2014.
-
On the Fattorini Criterion for Approximate Controllability and Stabilizability of Parabolic Systems
Authors:
Mehdi Badra,
Takéo Takahashi
Abstract:
In this paper, we consider the well-known Fattorini's criterion for approximate controllability of infinite dimensional linear systems of type $y'=A y+Bu$. We precise the result proved by H. O. Fattorini in \cite{Fattorini1966} for bounded input $B$, in the case where $B$ can be unbounded or in the case of finite-dimensional controls. More precisely, we prove that if Fattorini's criterion is satis…
▽ More
In this paper, we consider the well-known Fattorini's criterion for approximate controllability of infinite dimensional linear systems of type $y'=A y+Bu$. We precise the result proved by H. O. Fattorini in \cite{Fattorini1966} for bounded input $B$, in the case where $B$ can be unbounded or in the case of finite-dimensional controls. More precisely, we prove that if Fattorini's criterion is satisfied and if the set of geometric multiplicities of $A$ is bounded then approximate controllability can be achieved with finite dimensional controls. An important consequence of this result consists in using the Fattorini's criterion to obtain the feedback stabilizability of linear and nonlinear parabolic systems with feedback controls in a finite dimensional space. In particular, for systems described by partial differential equations, such a criterion reduces to a unique continuation theorem for a stationary system. We illustrate such a method by tackling some coupled Navier-Stokes type equations (MHD system and micropolar fluid system) and we sketch a systematic procedure relying on Fattorini's criterion for checking stabilizability of such nonlinear systems. In that case, the unique continuation theorems rely on local Carleman inequalities for stationary Stokes type systems.
△ Less
Submitted 29 January, 2014;
originally announced January 2014.
-
Large Shadows from Sparse Inequalities
Authors:
Bernd Gärtner,
Christian Helbling,
Yoshiki Ota,
Takeru Takahashi
Abstract:
The $d$-dimensional Goldfarb cube is a polytope with the property that all its $2^d$ vertices appear on some \emph{shadow} of it (projection onto a 2-dimensional plane). The Goldfarb cube is the solution set of a system of 2d linear inequalities with at most 3 variables per inequality. We show in this paper that the $d$-dimensional Klee-Minty cube --- constructed from inequalities with at most 2 v…
▽ More
The $d$-dimensional Goldfarb cube is a polytope with the property that all its $2^d$ vertices appear on some \emph{shadow} of it (projection onto a 2-dimensional plane). The Goldfarb cube is the solution set of a system of 2d linear inequalities with at most 3 variables per inequality. We show in this paper that the $d$-dimensional Klee-Minty cube --- constructed from inequalities with at most 2 variables per inequality --- also has a shadow with $2^d$ vertices. In contrast, with one variable per inequality, the size of the shadow is bounded by 2d.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
Smoothness of the motion of a rigid body immersed in an incompressible perfect fluid
Authors:
Olivier Glass,
Franck Sueur,
Takeo Takahashi
Abstract:
We consider the motion of a rigid body immersed in an incompressible perfect fluid which occupies a three-dimensional bounded domain. For such a system the Cauchy problem is well-posed locally in time if the initial velocity of the fluid is in the Holder space C^{1,r}. In this paper we prove that the smoothness of the motion of the rigid body may be only limited by the smoothness of the boundari…
▽ More
We consider the motion of a rigid body immersed in an incompressible perfect fluid which occupies a three-dimensional bounded domain. For such a system the Cauchy problem is well-posed locally in time if the initial velocity of the fluid is in the Holder space C^{1,r}. In this paper we prove that the smoothness of the motion of the rigid body may be only limited by the smoothness of the boundaries (of the body and of the domain). In particular for analytic boundaries the motion of the rigid body is analytic (till the classical solution exists and till the solid does not hit the boundary). Moreover in this case this motion depends smoothly on the initial data.
△ Less
Submitted 22 March, 2010;
originally announced March 2010.
-
Galois points for a normal hypersurface
Authors:
Satoru Fukasawa,
Takeshi Takahashi
Abstract:
We study Galois points for a hypersurface $X$ with $\dim {\rm Sing}(X) \le \dim X-2$. The purpose of this article is to determine the set $Δ(X)$ of Galois points in characteristic zero: Indeed, we give a sharp upper bound of the number of Galois points in terms of $\dim X$ and $\dim {\rm Sing}(X)$ if $Δ(X)$ is a finite set, and prove that $X$ is a cone if $Δ(X)$ is infinite. To achieve our purpo…
▽ More
We study Galois points for a hypersurface $X$ with $\dim {\rm Sing}(X) \le \dim X-2$. The purpose of this article is to determine the set $Δ(X)$ of Galois points in characteristic zero: Indeed, we give a sharp upper bound of the number of Galois points in terms of $\dim X$ and $\dim {\rm Sing}(X)$ if $Δ(X)$ is a finite set, and prove that $X$ is a cone if $Δ(X)$ is infinite. To achieve our purpose, we need a certain hyperplane section theorem on Galois point. We prove this theorem in arbitrary characteristic. On the other hand, the hyperplane section theorem has other important applications: For example, we can classify the Galois group induced from a Galois point in arbitrary characteristic and determine the distribution of Galois points for a Fermat hypersurface of degree $p^e+1$ in characteristic $p>0$.
△ Less
Submitted 28 July, 2009;
originally announced July 2009.
-
Epsilon factor for GL_l \times GL_{l'}; l\neq l' primes
Authors:
Tetsuya Takahashi
Abstract:
Let $F$ be a non-Archimedean local field with finite residual field of characteristic $p$. In this article we calculate the $ε$-factor of pairs for $\GL_l(F) \times \GL_{l'}(F)$ where $l$ and $l'$ are distinct primes including the case $l=p$. For this calculation, we use the local Langlands correspondence and non-Galois base change lift. This method leads to the explicit conjecture of the $ε$-fa…
▽ More
Let $F$ be a non-Archimedean local field with finite residual field of characteristic $p$. In this article we calculate the $ε$-factor of pairs for $\GL_l(F) \times \GL_{l'}(F)$ where $l$ and $l'$ are distinct primes including the case $l=p$. For this calculation, we use the local Langlands correspondence and non-Galois base change lift. This method leads to the explicit conjecture of the $ε$-factor of the representations of $\GL_m \times \GL_n$ when $n$ is relatively prime to $m$ and $p$.
△ Less
Submitted 22 August, 2004;
originally announced August 2004.