Showing 1–18 of 18 results for author: Babaee, H

CUR for Implicit Time Integration of Random Partial Differential Equations on Low-Rank Matrix Manifolds

Authors: Mohammad Hossein Naderi, Sara Akhavan, Hessam Babaee

Abstract: Dynamical low-rank approximation allows for solving large-scale matrix differential equations (MDEs) with significantly fewer degrees of freedom and has been applied to a growing number of applications. However, most existing techniques rely on explicit time integration schemes. In this work, we introduce a cost-effective Newton's method for the implicit time integration of stiff, nonlinear MDEs o… ▽ More Dynamical low-rank approximation allows for solving large-scale matrix differential equations (MDEs) with significantly fewer degrees of freedom and has been applied to a growing number of applications. However, most existing techniques rely on explicit time integration schemes. In this work, we introduce a cost-effective Newton's method for the implicit time integration of stiff, nonlinear MDEs on low-rank matrix manifolds. Our methodology is focused on MDEs resulting from the discretization of random partial differential equations (PDEs). Cost-effectiveness is achieved by solving the MDE at the minimum number of entries required for a rank-$r$ approximation. We present a novel CUR low-rank approximation that requires solving the parametric PDE at $r$ strategically selected parameters and $\mathcal{O}(r)$ grid points using Newton's method. The selected random samples and grid points adaptively vary over time and are chosen using the discrete empirical interpolation method or similar techniques. The proposed methodology is developed for high-order implicit multistep and Runge-Kutta schemes and incorporates rank adaptivity, allowing for dynamic rank adjustment over time to control error. Several analytical and PDE examples, including the stochastic Burgers' and Gray-Scott equations, demonstrate the accuracy and efficiency of the presented methodology. △ Less

Submitted 29 August, 2024; originally announced August 2024.

Cross Interpolation for Solving High-Dimensional Dynamical Systems on Low-Rank Tucker and Tensor Train Manifolds

Authors: Behzad Ghahremani, Hessam Babaee

Abstract: We present a novel tensor interpolation algorithm for the time integration of nonlinear tensor differential equations (TDEs) on the tensor train and Tucker tensor low-rank manifolds, which are the building blocks of many tensor network decompositions. This paper builds upon our previous work (Donello et al., Proceedings of the Royal Society A, Vol. 479, 2023) on solving nonlinear matrix differenti… ▽ More We present a novel tensor interpolation algorithm for the time integration of nonlinear tensor differential equations (TDEs) on the tensor train and Tucker tensor low-rank manifolds, which are the building blocks of many tensor network decompositions. This paper builds upon our previous work (Donello et al., Proceedings of the Royal Society A, Vol. 479, 2023) on solving nonlinear matrix differential equations on low-rank matrix manifolds using CUR decompositions. The methodology we present offers multiple advantages: (i) It delivers near-optimal computational savings both in terms of memory and floating-point operations by leveraging cross algorithms based on the discrete empirical interpolation method to strategically sample sparse entries of the time-discrete TDEs to advance the solution in low-rank form. (ii) Numerical demonstrations show that the time integration is robust in the presence of small singular values. (iii) High-order explicit Runge-Kutta time integration schemes are developed. (iv) The algorithm is easy to implement, as it requires the evaluation of the full-order model at strategically selected entries and does not use tangent space projections, whose efficient implementation is intrusive. We demonstrate the efficiency of the presented algorithm for several test cases, including a nonlinear 100-dimensional TDE for the evolution of a tensor of size $70^{100} \approx 3.2 \times 10^{184}$ and a stochastic advection-diffusion-reaction equation with a tensor of size $4.7 \times 10^9$. △ Less

Submitted 10 June, 2024; v1 submitted 19 March, 2024; originally announced March 2024.

A DEIM Tucker Tensor Cross Algorithm and its Application to Dynamical Low-Rank Approximation

Authors: Behzad Ghahremani, Hessam Babaee

Abstract: We introduce a Tucker tensor cross approximation method that constructs a low-rank representation of a $d$-dimensional tensor by sparsely sampling its fibers. These fibers are selected using the discrete empirical interpolation method (DEIM). Our proposed algorithm is referred to as DEIM fiber sampling (DEIM-FS). For a rank-$r$ approximation of an $\mathcal{O}(N^d)$ tensor, DEIM-FS requires access… ▽ More We introduce a Tucker tensor cross approximation method that constructs a low-rank representation of a $d$-dimensional tensor by sparsely sampling its fibers. These fibers are selected using the discrete empirical interpolation method (DEIM). Our proposed algorithm is referred to as DEIM fiber sampling (DEIM-FS). For a rank-$r$ approximation of an $\mathcal{O}(N^d)$ tensor, DEIM-FS requires access to only $dNr^{d-1}$ tensor entries, a requirement that scales linearly with the tensor size along each mode. We demonstrate that DEIM-FS achieves an approximation accuracy close to the Tucker-tensor approximation obtained via higher-order singular value decomposition at a significantly reduced cost. We also present DEIM-FS (iterative) that does not require access to singular vectors of the target tensor unfolding and can be viewed as a black-box Tucker tensor algorithm. We employ DEIM-FS to reduce the computational cost associated with solving nonlinear tensor differential equations (TDEs) using dynamical low-rank approximation (DLRA). The computational cost of solving DLRA equations can become prohibitive when the exact rank of the right-hand side tensor is large. This issue arises in many TDEs, especially in cases involving non-polynomial nonlinearities, where the right-hand side tensor has full rank. This necessitates the storage and computation of tensors of size $\mathcal{O}(N^d)$. We show that DEIM-FS results in significant computational savings for DLRA by constructing a low-rank Tucker approximation of the right-hand side tensor on the fly. Another advantage of using DEIM-FS is to significantly simplify the implementation of DLRA equations, irrespective of the type of TDEs. We demonstrate the efficiency of the algorithm through several examples including solving high-dimensional partial differential equations. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 23 pages, 7 figures

Time-Dependent Low-Rank Input-Output Operator for Forced Linearized Dynamics with Unsteady Base Flows

Authors: Alireza Amiri-Margavi, Hessam Babaee

Abstract: Understanding the linear growth of disturbances due to external forcing is crucial for flow stability analysis, flow control, and uncertainty quantification. These applications typically require a large number of forward simulations of the forced linearized dynamics, often in a brute-force fashion. When dealing with simple steady-state or periodic base flows, there exist powerful and cost-effectiv… ▽ More Understanding the linear growth of disturbances due to external forcing is crucial for flow stability analysis, flow control, and uncertainty quantification. These applications typically require a large number of forward simulations of the forced linearized dynamics, often in a brute-force fashion. When dealing with simple steady-state or periodic base flows, there exist powerful and cost-effective solution operator techniques. Once these solution operators are constructed, they can be used to determine the response to various forcings with negligible computational cost. However, these methods do not apply to problems with arbitrarily time-dependent base flows. This paper develops and investigates reduced-order modeling with time-dependent bases (TDBs) to build low-rank solution operators for forced linearized dynamics with arbitrarily time-dependent base flows. In particular, we use forced optimally time-dependent decomposition (f-OTD), which extracts the time-dependent correlated structures of the flow response to various excitations. Several demonstrations are included to illustrate the utility of the f-OTD low-rank approximation for performing global transient stability analysis. Additionally, we demonstrate the application of f-OTD in computing the post-transient response of linearized Navier-Stokes equations to a large number of impulses, which has applications in flow control. △ Less

Submitted 5 August, 2024; v1 submitted 10 November, 2023; originally announced December 2023.

Comments: 32 pages, 13 figures

Remark on the local well-posedness of compressible non-Newtonian fluids with initial vacuum

Authors: Hind Al Baba, Bilal Al Taki, Amru Hussein

Abstract: We discuss in this short note the local-in-time strong well-posedness of the compressible Navier-Stokes system for non-Newtonian fluids on the three dimensional torus. We show that the result established recently by Kalousek, Mácha, and Nečasova in \doi{10.1007/s00208-021-02301-8} can be extended to the case where vanishing density is allowed initially. Our proof builds on the framework developed… ▽ More We discuss in this short note the local-in-time strong well-posedness of the compressible Navier-Stokes system for non-Newtonian fluids on the three dimensional torus. We show that the result established recently by Kalousek, Mácha, and Nečasova in \doi{10.1007/s00208-021-02301-8} can be extended to the case where vanishing density is allowed initially. Our proof builds on the framework developed by Cho, Choe, and Kim in \doi{10.1016/j.matpur.2003.11.004} for compressible Navier-Stokes equations in the case of Newtonian fluids. To adapt their method, special attention is given to the elliptic regularity of a challenging nonlinear elliptic system. We show particular results in this direction, however, the main result of this paper is proven in the general case when elliptic $W^{2,p}$-regularity is imposed as an assumption. Also, we give a finite time blow-up criterion. △ Less

Submitted 26 February, 2025; v1 submitted 29 May, 2023; originally announced May 2023.

Comments: 17 pages

MSC Class: Primary 76A05; Secondary 35Q35; 35K65; 35J62

Oblique projection for scalable rank-adaptive reduced-order modeling of nonlinear stochastic PDEs with time-dependent bases

Authors: M. Donello, G. Palkar, M. H. Naderi, D. C. Del Rey Fernández, H. Babaee

Abstract: Time-dependent basis reduced order models (TDB ROMs) have successfully been used for approximating the solution to nonlinear stochastic partial differential equations (PDEs). For many practical problems of interest, discretizing these PDEs results in massive matrix differential equations (MDEs) that are too expensive to solve using conventional methods. While TDB ROMs have the potential to signifi… ▽ More Time-dependent basis reduced order models (TDB ROMs) have successfully been used for approximating the solution to nonlinear stochastic partial differential equations (PDEs). For many practical problems of interest, discretizing these PDEs results in massive matrix differential equations (MDEs) that are too expensive to solve using conventional methods. While TDB ROMs have the potential to significantly reduce this computational burden, they still suffer from the following challenges: (i) inefficient for general nonlinearities, (ii) intrusive implementation, (iii) ill-conditioned in the presence of small singular values, and (iv) error accumulation due to fixed rank. To this end, we present a scalable method based on oblique projections for solving TDB ROMs that is computationally efficient, minimally intrusive, robust in the presence of small singular values, rank-adaptive, and highly parallelizable. These favorable properties are achieved via low-rank approximation of the time discrete MDE. Using the discrete empirical interpolation method (DEIM), a low-rank decomposition is computed at each iteration of the time stepping scheme, enabling a near-optimal approximation at a fraction of the cost. We coin the new approach TDB-CUR since it is equivalent to a CUR decomposition based on sparse row and column samples of the MDE. We also propose a rank-adaptive procedure to control the error on-the-fly. Numerical results demonstrate the accuracy, efficiency, and robustness of the new method for a diverse set of problems. △ Less

Submitted 16 August, 2023; v1 submitted 7 May, 2023; originally announced May 2023.

Adaptive sparse interpolation for accelerating nonlinear stochastic reduced-order modeling with time-dependent bases

Authors: Mohammad Hossein Naderi, Hessam Babaee

Abstract: Stochastic reduced-order modeling based on time-dependent bases (TDBs) has proven successful for extracting and exploiting low-dimensional manifold from stochastic partial differential equations (SPDEs). The nominal computational cost of solving a rank-$r$ reduced-order model (ROM) based on time-dependent basis, a.k.a. TDB-ROM, is roughly equal to that of solving the full-order model for $r$ rando… ▽ More Stochastic reduced-order modeling based on time-dependent bases (TDBs) has proven successful for extracting and exploiting low-dimensional manifold from stochastic partial differential equations (SPDEs). The nominal computational cost of solving a rank-$r$ reduced-order model (ROM) based on time-dependent basis, a.k.a. TDB-ROM, is roughly equal to that of solving the full-order model for $r$ random samples. As of now, this nominal performance can only be achieved for linear or quadratic SPDEs -- at the expense of a highly intrusive process. On the other hand, for problems with non-polynomial nonlinearity, the computational cost of solving the TDB evolution equations is the same as solving the full-order model. In this work, we present an adaptive sparse interpolation algorithm that enables stochastic TDB-ROMs to achieve nominal computational cost for generic nonlinear SPDEs. Our algorithm constructs a low-rank approximation for the right hand side of the SPDE using the discrete empirical interpolation method (DEIM). The presented algorithm does not require any offline computation and as a result the low-rank approximation can adapt to any transient changes of the dynamics on the fly. We also propose a rank-adaptive strategy to control the error of the sparse interpolation. Our algorithm achieves computational speedup by adaptive sampling of the state and random spaces. We illustrate the efficiency of our approach for two test cases: (1) one-dimensional stochastic Burgers' equation, and (2) two-dimensional compressible Navier-Stokes equations subject to one-hundred-dimensional random perturbations. In all cases, the presented algorithm results in orders of magnitude reduction in the computational cost. △ Less

Submitted 24 November, 2022; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: 31 pages, 14 figures

Reduced order modeling with time-dependent bases for PDEs with stochastic boundary conditions

Authors: Prerna Patil, Hessam Babaee

Abstract: Low-rank approximation using time-dependent bases (TDBs) has proven effective for reduced-order modeling of stochastic partial differential equations (SPDEs). In these techniques, the random field is decomposed to a set of deterministic TDBs and time-dependent stochastic coefficients. When applied to SPDEs with non-homogeneous stochastic boundary conditions (BCs), appropriate BC must be specified… ▽ More Low-rank approximation using time-dependent bases (TDBs) has proven effective for reduced-order modeling of stochastic partial differential equations (SPDEs). In these techniques, the random field is decomposed to a set of deterministic TDBs and time-dependent stochastic coefficients. When applied to SPDEs with non-homogeneous stochastic boundary conditions (BCs), appropriate BC must be specified for each of the TDBs. However, determining BCs for TDB is not trivial because: (i) the dimension of the random BCs is different than the rank of the TDB subspace; (ii) TDB in most formulations must preserve orthonormality or orthogonality constraints and specifying BCs for TDB should not violate these constraints in the space-discretized form. In this work, we present a methodology for determining the boundary conditions for TDBs at no additional computational cost beyond that of solving the same SPDE with homogeneous BCs. Our methodology is informed by the fact the TDB evolution equations are the optimality conditions of a variational principle. We leverage the same variational principle to derive an evolution equation for the value of TDB at the boundaries. The presented methodology preserves the orthonormality or orthogonality constraints of TDBs. We present the formulation for both the dynamically bi-orthonormal (DBO) decomposition as well as the dynamically orthogonal (DO) decomposition. We show that the presented methodology can be applied to stochastic Dirichlet, Neumann, and Robin boundary conditions. We assess the performance of the presented method for linear advection-diffusion equation, Burgers' equation, and two-dimensional advection-diffusion equation with constant and temperature-dependent conduction coefficient. △ Less

Submitted 7 November, 2022; v1 submitted 28 December, 2021; originally announced December 2021.

Computing Sensitivities in Evolutionary Systems: A Real-Time Reduced Order Modeling Strategy

Authors: Michael Donello, Mark Carpenter, Hessam Babaee

Abstract: We present a new methodology for computing sensitivities in evolutionary systems using a model-driven low-rank approximation. To this end, we formulate a variational principle that seeks to minimize the distance between the time derivative of the reduced approximation and sensitivity dynamics. The first-order optimality condition of the variational principle leads to a system of closed-form evolut… ▽ More We present a new methodology for computing sensitivities in evolutionary systems using a model-driven low-rank approximation. To this end, we formulate a variational principle that seeks to minimize the distance between the time derivative of the reduced approximation and sensitivity dynamics. The first-order optimality condition of the variational principle leads to a system of closed-form evolution equations for an orthonormal basis and corresponding sensitivity coefficients. This approach allows for the computation of sensitivities with respect to a large number of parameters in an accurate and tractable manner by extracting correlations between different sensitivities on the fly. The presented method requires solving forward evolution equations, sidestepping the restrictions imposed by forward/backward workflow of adjoint sensitivities. For example, the presented method, unlike the adjoint equation, does not impose any I/O load and can be used in applications in which real time sensitivities are of interest. We demonstrate the utility of the method for three test cases: (1) computing sensitivity with respect to model parameters in the Rossler system (2) computing sensitivity with respect to an infinite-dimensional forcing parameter in the chaotic Kuramoto-Sivashinsky equation and (3) computing sensitivity with respect to reaction parameters for species transport in a turbulent reacting flow. △ Less

Submitted 27 December, 2020; originally announced December 2020.

Lp-strong solution to fluid-rigid body interaction system with Navier slip boundary condition

Authors: Hind Al Baba, Amrita Ghosh, Boris Muha, Sarka Necasova

Abstract: We study a fluid-structure interaction problem describing movement of a rigid body inside a bounded domain filled by a viscous fluid. The fluid is modelled by the generalized incompressible Naiver-Stokes equations which include cases of Newtonian and non-Newtonian fluids. The fluid and the rigid body are coupled via the Navier slip boundary conditions and balance of forces at the fluid-rigid body… ▽ More We study a fluid-structure interaction problem describing movement of a rigid body inside a bounded domain filled by a viscous fluid. The fluid is modelled by the generalized incompressible Naiver-Stokes equations which include cases of Newtonian and non-Newtonian fluids. The fluid and the rigid body are coupled via the Navier slip boundary conditions and balance of forces at the fluid-rigid body interface. Our analysis also includes the case of the nonlinear slip condition. The main results assert the existence of strong solutions, in an $L^p-L^q$ setting, globally in time, for small data in the Newtonian case, while existence of strong solutions in $L^p$-spaces, locally in time, is obtained for non-Newtonian case. The proof for the Newtonian fluid essentially uses the maximal regularity property of the associated linear system which is obtained by proving the $\mathcal{R}$-sectoriality of the corresponding operator. The existence and regularity result for the general non-Newtonian fluid-solid system then relies upon the previous case. Moreover, we also prove the exponential stability of the system in the Newtonian case. △ Less

Submitted 20 September, 2021; v1 submitted 1 December, 2019; originally announced December 2019.

A Scalable Observation-Driven Time-Dependent Basis for a Reduced Description of Transient Systems

Authors: Hessam Babaee

Abstract: We present a variational principle for the extraction of a time-dependent orthonormal basis from random realizations of transient systems. The optimality condition of the variational principle leads to a closed-form evolution equation for the orthonormal basis and its coefficients. The extracted modes are associated with the most transient subspace of the system, and they provide a reduced descrip… ▽ More We present a variational principle for the extraction of a time-dependent orthonormal basis from random realizations of transient systems. The optimality condition of the variational principle leads to a closed-form evolution equation for the orthonormal basis and its coefficients. The extracted modes are associated with the most transient subspace of the system, and they provide a reduced description of the transient dynamics that may be used for reduced-order modeling, filtering and prediction. The presented method is matrix-free and relies only on the observables of the system and ignores any information about the underlying system. In that sense, the presented reduction is purely observation-driven and may be applied to systems whose models are not known. The presented method has linear computational complexity and memory storage requirement with respect to the number of observables and the number of random realizations. Therefore, it may be used for a large number of observations and samples. The effectiveness of the proposed method is tested on three examples: (i) stochastic advection equation, (ii) a reduced description of transient instability of Kuramoto-Sivashinsky, and (iii) a transient vertical jet governed by incompressible Navier-Stokes equation. In these examples, we contrast the performance of the time-dependent basis versus static basis such as proper orthogonal decomposition, dynamic mode decomposition and polynomial chaos expansion. △ Less

Submitted 13 April, 2019; originally announced April 2019.

Non-uniqueness of admissible weak solution to the Riemann problem for the full Euler system in 2D

Authors: Hind Al Baba, Christian Klingenberg, Ondrej Kreml, Vaclav Macha, Simon Markfelder

Abstract: The question of well- and ill-posedness of entropy admissible solutions to the multi-dimensional systems of conservation laws has been studied recently in the case of isentropic Euler equations. In this context special initial data were considered, namely the 1D Riemann problem which is extended trivially to a second space dimension. It was shown that there exist infinitely many bounded entropy ad… ▽ More The question of well- and ill-posedness of entropy admissible solutions to the multi-dimensional systems of conservation laws has been studied recently in the case of isentropic Euler equations. In this context special initial data were considered, namely the 1D Riemann problem which is extended trivially to a second space dimension. It was shown that there exist infinitely many bounded entropy admissible weak solutions to such a 2D Riemann problem for isentropic Euler equations, if the initial data give rise to a 1D self-similar solution containing a shock. In this work we study such a 2D Riemann problem for the full Euler system in two space dimensions and prove the existence of infinitely many bounded entropy admissible weak solutions in the case that the Riemann initial data give rise to the 1D self-similar solution consisting of two shocks and possibly a contact discontinuity. △ Less

Submitted 25 June, 2019; v1 submitted 29 May, 2018; originally announced May 2018.

Excursion Processes Associated with Elliptic Combinatorics

Authors: Hiroya Baba, Makoto Katori

Abstract: Researching elliptic analogues for equalities and formulas is a new trend in enumerative combinatorics which has followed the previous trend of studying $q$-analogues. Recently Schlosser proposed a lattice path model in the square lattice with a family of totally elliptic weight-functions including several complex parameters and discussed an elliptic extension of the binomial theorem. In the prese… ▽ More Researching elliptic analogues for equalities and formulas is a new trend in enumerative combinatorics which has followed the previous trend of studying $q$-analogues. Recently Schlosser proposed a lattice path model in the square lattice with a family of totally elliptic weight-functions including several complex parameters and discussed an elliptic extension of the binomial theorem. In the present paper, we introduce a family of discrete-time excursion processes on $\mathbb{Z}$ starting from the origin and returning to the origin in a given time duration $2T$ associated with Schlosser's elliptic combinatorics. The processes are inhomogeneous both in space and time and hence expected to provide new models in non-equilibrium statistical mechanics. By numerical calculation we show that the maximum likelihood trajectories on the spatio-temporal plane of the elliptic excursion processes and of their reduced trigonometric versions are not straight lines in general but are nontrivially curved depending on parameters. We analyze asymptotic probability laws in the long-term limit $T \to \infty$ for a simplified trigonometric version of excursion process. Emergence of nontrivial curves of trajectories in a large scale of space and time from the elementary elliptic weight-functions exhibits a new aspect of elliptic combinatorics. △ Less

Submitted 17 April, 2018; v1 submitted 1 November, 2017; originally announced November 2017.

Comments: v3: AMS-LaTeX, 36 pages, 10 figures; minor corrections made for publication in J. Stat. Phys

Journal ref: J. Stat. Phys. 171 (2018) 1035-1066

Strong solutions in $L^2$ framework for fluid-rigid body interaction problem - mixed case

Authors: Hind Al Baba, Nikolai V. Chemetov, Sarka Necasova, Boris Muha

Abstract: The paper deals with the well-posedness of the strong solution of fluid-structure interaction problem when the mixed boundary conditions are considered. The paper deals with the well-posedness of the strong solution of fluid-structure interaction problem when the mixed boundary conditions are considered. △ Less

Submitted 28 April, 2018; v1 submitted 4 July, 2017; originally announced July 2017.

MSC Class: 35Q30

Reduced-order Description of Transient Instabilities and Computation of Finite-Time Lyapunov Exponents

Authors: Hessam Babaee, Mohamad Farazmand, George Haller, Themistoklis P. Sapsis

Abstract: High-dimensional chaotic dynamical systems can exhibit strongly transient features. These are often associated with instabilities that have finite-time duration. Because of the finite-time character of these transient events, their detection through infinite-time methods, e.g. long term averages, Lyapunov exponents or information about the statistical steady-state, is not possible. Here we utilize… ▽ More High-dimensional chaotic dynamical systems can exhibit strongly transient features. These are often associated with instabilities that have finite-time duration. Because of the finite-time character of these transient events, their detection through infinite-time methods, e.g. long term averages, Lyapunov exponents or information about the statistical steady-state, is not possible. Here we utilize a recently developed framework, the Optimally Time-Dependent (OTD) modes, to extract a time-dependent subspace that spans the modes associated with transient features associated with finite-time instabilities. As the main result, we prove that the OTD modes, under appropriate conditions, converge exponentially fast to the eigendirections of the Cauchy--Green tensor associated with the most intense finite-time instabilities. Based on this observation, we develop a reduced-order method for the computation of finite-time Lyapunov exponents (FTLE) and vectors. In high-dimensional systems, the computational cost of the reduced-order method is orders of magnitude lower than the full FTLE computation. We demonstrate the validity of the theoretical findings on two numerical examples. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Maximal $L^p$-$L^q$ regularity for the Stokes problem with Navier-type boundary conditions

Authors: Hind Al Baba, Chérif Amrouche, Miguel Escobedo

Abstract: Maximal $L^p$-$L^q$ regularity is proved for the strong, weak and very weak solutions of the inhomogeneous Stokes problem with Navier-type boundary conditions in a bounded domain $Ω$, not necessarily simply connected. This extends previous results of the authors (2017). Maximal $L^p$-$L^q$ regularity is proved for the strong, weak and very weak solutions of the inhomogeneous Stokes problem with Navier-type boundary conditions in a bounded domain $Ω$, not necessarily simply connected. This extends previous results of the authors (2017). △ Less

Submitted 20 March, 2017; originally announced March 2017.

MSC Class: 35B65; 35D30; 35D35; 35K20; 35Q30; 76D05; 76D07; 76N10

Maximal $L^p-L^q$ regularity to the Stokes Problem with Navier boundary conditions

Authors: Hind Al Baba

Abstract: We prove in this paper some results on the complex and fractional powers of the Stokes operator with slip frictionless boundary conditions involving the stress tensor. This is fundamental and plays an important role in the associated parabolic problem and will be used to prove maximal $L^{p}-L^{q}$ regularity results for the non-homogeneous Stokes problem. We prove in this paper some results on the complex and fractional powers of the Stokes operator with slip frictionless boundary conditions involving the stress tensor. This is fundamental and plays an important role in the associated parabolic problem and will be used to prove maximal $L^{p}-L^{q}$ regularity results for the non-homogeneous Stokes problem. △ Less

Submitted 17 May, 2016; originally announced May 2016.

MSC Class: 35B65; 35D30; 35D35; 35K20; 35Q30; 76D05; 76D07; 76N10

Semi-group theory for the Stokes operator with Navier-type boundary conditions on $L^{p}$-spaces

Authors: Hind Al Baba, Chérif Amrouche, Miguel Escobedo

Abstract: In this article we consider the Stokes problem with Navier-type boundary conditions on a domain $Ω$, not necessarily simply connected. Since under these conditions the Stokes problem has a non trivial kernel, we also study the solutions lying in the orthogonal of that kernel. We prove the analyticity of several semigroups generated by the Stokes operator considered in different functional spaces.… ▽ More In this article we consider the Stokes problem with Navier-type boundary conditions on a domain $Ω$, not necessarily simply connected. Since under these conditions the Stokes problem has a non trivial kernel, we also study the solutions lying in the orthogonal of that kernel. We prove the analyticity of several semigroups generated by the Stokes operator considered in different functional spaces. We obtain strong, weak and very weak solutions for the time dependent Stokes problem with the Navier-type boundary condition under different hypothesis on the initial data $\boldsymbol{u}_0$ and external force $\boldsymbol{f}$. Then, we study the fractional and pure imaginary powers of several operators related with our Stokes operators. Using the fractional powers, we prove maximal regularity results for the homogeneous Stokes problem. On the other hand, using the boundedness of the pure imaginary powers we deduce maximal $L^{p}-L^{q}$ regularity for the inhomogeneous Stokes problem. △ Less

Submitted 22 January, 2016; originally announced January 2016.