The Experts below are selected from a list of 183 Experts worldwide ranked by ideXlab platform
Takéo Takahashi - One of the best experts on this subject based on the ideXlab platform.
-
Existence and uniqueness of strong solutions for the System of Interaction between a compressible Navier-Stokes-Fourier fluid and a damped plate equation
Nonlinear Analysis: Real World Applications, 2021Co-Authors: Debayan Maity, Takéo TakahashiAbstract: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 fluid-structure operator is R−sectorial.
-
Existence of strong solutions for a System of Interaction between a compressible viscous fluid and a wave equation
2020Co-Authors: Debayan Maity, Arnab Roy, Takéo TakahashiAbstract:In this article, we consider a fluid-structure Interaction System where the fluid is viscous and compressible and where the structure is a part of the boundary of the fluid domain and is deformable. The fluid is governed by the barotropic compressible Navier-Stokes System whereas the structure displacement is described by a wave equation. We show that the corresponding coupled System admits a unique strong solution for an initial fluid density and an initial fluid velocity in $H^3$ and for an initial deformation and an initial deformation velocity in $H^4$ and $H^3$ respectively. The reference configuration for the fluid domain is a rectangular cuboid with the elastic structure being the top face. We use a modified Lagrangian change of variables to transform the moving fluid domain into the rectangular cuboid and then analyze the corresponding linear System coupling a transport equation (for the density), a heat-type equation, and a wave equation. The corresponding results for this linear System and estimations of the coefficients coming from the change of variables allow us to perform a fixed point argument and to prove the existence and uniqueness of strong solutions for the nonlinear System, locally in time.
Debayan Maity - One of the best experts on this subject based on the ideXlab platform.
-
Existence and uniqueness of strong solutions for the System of Interaction between a compressible Navier-Stokes-Fourier fluid and a damped plate equation
Nonlinear Analysis: Real World Applications, 2021Co-Authors: Debayan Maity, Takéo TakahashiAbstract: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 fluid-structure operator is R−sectorial.
-
Existence of strong solutions for a System of Interaction between a compressible viscous fluid and a wave equation
2020Co-Authors: Debayan Maity, Arnab Roy, Takéo TakahashiAbstract:In this article, we consider a fluid-structure Interaction System where the fluid is viscous and compressible and where the structure is a part of the boundary of the fluid domain and is deformable. The fluid is governed by the barotropic compressible Navier-Stokes System whereas the structure displacement is described by a wave equation. We show that the corresponding coupled System admits a unique strong solution for an initial fluid density and an initial fluid velocity in $H^3$ and for an initial deformation and an initial deformation velocity in $H^4$ and $H^3$ respectively. The reference configuration for the fluid domain is a rectangular cuboid with the elastic structure being the top face. We use a modified Lagrangian change of variables to transform the moving fluid domain into the rectangular cuboid and then analyze the corresponding linear System coupling a transport equation (for the density), a heat-type equation, and a wave equation. The corresponding results for this linear System and estimations of the coefficients coming from the change of variables allow us to perform a fixed point argument and to prove the existence and uniqueness of strong solutions for the nonlinear System, locally in time.
Lauren Gurrieri - One of the best experts on this subject based on the ideXlab platform.
-
Framing social marketing as a System of Interaction: A neo-institutional approach to alcohol abstinence
Journal of Marketing Management, 2014Co-Authors: Helene Cherrier, Lauren GurrieriAbstract:AbstractWe employ Giddens’ structuration theory to gain insights into the Interaction between upstream/midstream and downstream social marketing perspectives. This is conducted through thirteen phenomenological interviews with informants who stand outside of the practice of alcohol consumption through their voluntary engagement in one month of sobriety. Our study identifies the ‘modalities’ located at the intersection between individual actions and the institutions of alcohol. By identifying these ‘modalities’, we conceptualise social marketing in Interaction, which incorporates the institutional orders of domination, signification and legitimation, and the individual actions of power, communication and sanction. Specific domains of interventions are identified, namely marketplace offerings and promotional techniques, social grouping and positional status and rituals and traditions, through which social marketers can enact social change.
Alessio Guglielmi - One of the best experts on this subject based on the ideXlab platform.
-
a System of Interaction and structure iv the exponentials and decomposition
ACM Transactions on Computational Logic, 2011Co-Authors: Lutz Stras Burger, Alessio GuglielmiAbstract:We study a System, called NEL, which is the mixed commutative/noncommutative linear logic BV augmented with linear logic's exponentials. Equivalently, NEL is MELL augmented with the noncommutative self-dual connective seq. In this article, we show a basic compositionality property of NEL, which we call decomposition. This result leads to a cut-elimination theorem, which is proved in the next article of this series. To control the induction measure for the theorem, we rely on a novel technique that extracts from NEL proofs the structure of exponentials, into what we call e-q-Flow-Graphs.
-
a System of Interaction and structure v the exponentials and splitting
Mathematical Structures in Computer Science, 2011Co-Authors: Alessio Guglielmi, Lutz StraβburgerAbstract:System NEL is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials, or, equivalently, it is MELL augmented with the non-commutative self-dual connective seq. NEL is presented in deep inference, because no Gentzen formalism can express it in such a way that the cut rule is admissible. Other recent work shows that System NEL is Turing-complete, and is able to express process algebra sequential composition directly and model causal quantum evolution faithfully. In this paper, we show cut elimination for NEL , based on a technique that we call splitting. The splitting theorem shows how and to what extent we can recover a sequent-like structure in NEL proofs. When combined with a 'decomposition' theorem, proved in the previous paper of this series, splitting yields a cut-elimination procedure for NEL .
-
A System of Interaction and Structure IV: The Exponentials and Decomposition
ACM Transactions on Computational Logic, 2011Co-Authors: Lutz Straßburger, Alessio GuglielmiAbstract:System NEL is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials, or, equivalently, it is MELL augmented with the non-commutative self-dual connective seq. System NEL is Turing-complete, it is able to directly express process algebra sequential composition and it faithfully models causal quantum evolution. In this paper, we show a basic compositionality property of NEL, which we call decomposition. This result leads to a cut-elimination theorem, which is proved in the next paper of this series. To control the induction measure for the theorem, we rely on a novel technique that extracts from NEL proofs the structure of exponentials, into what we call !-?-Flow-Graphs.
-
A System of Interaction and Structure V: The Exponentials and Splitting
Mathematical Structures in Computer Science, 2011Co-Authors: Alessio Guglielmi, Lutz StraßburgerAbstract:System NEL is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials, or, equivalently, it is MELL augmented with the non-commutative self-dual connective seq. System NEL is Turing-complete, it is able to directly express process algebra sequential composition and it faithfully models causal quantum evolution. In this paper, we show cut elimination for NEL, based on a property that we call splitting. NEL is presented in the calculus of structures, which is a deep-inference formalism, because no Gentzen formalism can express it analytically. The splitting theorem shows how and to what extent we can recover a sequent-like structure in NEL proofs. Together with the decomposition theorem, proved in the previous paper of the series, this immediately leads to a cut-elimination theorem for NEL.
-
A System of Interaction and Structure IV: The Exponentials and Decomposition
arXiv: Logic in Computer Science, 2009Co-Authors: Lutz Straßburger, Alessio GuglielmiAbstract:We study a System, called NEL, which is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials. Equivalently, NEL is MELL augmented with the non-commutative self-dual connective seq. In this paper, we show a basic compositionality property of NEL, which we call decomposition. This result leads to a cut-elimination theorem, which is proved in the next paper of this series. To control the induction measure for the theorem, we rely on a novel technique that extracts from NEL proofs the structure of exponentials, into what we call !-?-Flow-Graphs.
Takahashi Takéo - One of the best experts on this subject based on the ideXlab platform.
-
Existence and uniqueness of strong solutions for the System of Interaction between a compressible Navier-Stokes-Fourier fluid and a damped plate equation
2020Co-Authors: Maity Debayan, Takahashi TakéoAbstract: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