Search arXivSearch

arXiv subjects

Kush Kinra

Publications and source records attributed to Kush Kinra.

At least 19 recordsLinked to original sources

Boundary control for optimal mixing by two-dimensional second-grade fluids

We study optimal boundary mixing of a nondiffusive scalar transported by a two-dimensional incompressible second-grade fluid. The control is the tangential traction in a Navier-slip boundary condition, and the principal objective is the terminal $(H^1(Ω))'$ mix-norm, supplemented by a quadratic control cost and an optional enstrophy reward. The second-grade constitutive law introduces a spatially filtered acceleration and a generalized vorticity; after lifting the nonhomogeneous boundary data, both $\mathbf{g}$ and $\partial_t\mathbf{g}$ enter the state equation, where $\mathbf{g}$ is the boundary control variable. We prove global state well-posedness for a passive scalar and well-posedness on a common, control-independent local interval for an active scalar. We then establish existence of an optimal control, directional differentiability of the control-to-state map in the topology required by the terminal objective, and a weak backward adjoint formulation. A duality identity yields the first-order variational inequality. In the absence of the friction coefficient $β$ and enstrophy reward weight $ζ$ (that is, $β=ζ=0$), the additional adjoint regularity implies uniqueness of the optimal control for all sufficiently large control penalties $γ$.

math.OC

On Continuous Data Assimilation for a class of 2D and 3D stochastic non-Newtonian fluids of differential type

Continuous data assimilation (CDA) techniques, most notably the nudging approach proposed by Azouani, Olson, and Titi (AOT), have been shown to be very successful in deterministic frameworks for achieving long-time synchronization between an approximate state and true state. In this note, we develop and study a CDA scheme for a class of stochastic non-Newtonian fluids, namely third-grade fluids, subject to either additive or multiplicative Gaussian stochastic forcing in both two- and three-dimensional settings. We establish sufficient criteria on the nudging gain and the observational mesh size that guarantee convergence of the assimilated state toward the underlying stochastic solution. Convergence is proved in the mean-square sense, and, in the case of additive noise, we further obtain almost sure (pathwise) convergence.

math.PR

Global-in-time optimal control of stochastic third-grade fluids with additive noise

In this article, we address the velocity tracking control problem for a class of stochastic non-Newtonian fluids. More precisely, we consider the stochastic third-grade fluid equation perturbed by infinite-dimensional additive white noise and defined on the two-dimensional torus $\mathbb{T}^2$. The control acts as a distributed random external force. Taking an \emph{infinite-dimensional Ornstein-Uhlenbeck process}, the stochastic system is converted into an equivalent pathwise deterministic one, which allows to show the well-posedness of the original stochastic system globally in time. The state being a stochastic process with sample paths in $\mathrm{L}^\infty(0,T;\mathbb{H}^3(\mathbb{T}^2))$ and finite moments can be controlled in an optimal way. Namely, we establish the existence and uniqueness of solutions to the corresponding linearized state and adjoint equations. Furthermore, we derive an appropriate stability result for the state equation and verify that the Gâteaux derivative of the control-to-state mapping coincides with the solution of the linearized state equation. Finally, we establish the first-order optimality conditions and prove the existence of an optimal solution.

math.PR

Existence and asymptotic autonomous robustness of random attractors for three-dimensional stochastic globally modified Navier-Stokes equations on unbounded domains

In this article, we discuss the existence and asymptotically autonomous robustness (AAR) (almost surely) of random attractors for 3D stochastic globally modified Navier-Stokes equations (SGMNSE) on Poincaré domains (which may be bounded or unbounded). Our aim is to investigate the existence and AAR of random attractors for 3D SGMNSE when the time-dependent forcing converges to a time-independent function under the perturbation of linear multiplicative noise as well as additive noise. The main approach is to provide a way to justify that, on some uniformly tempered universe, the usual pullback asymptotic compactness of the solution operators is uniform across an infinite time-interval $(-\infty,τ]$. The backward uniform ``tail-smallness'' and ``flattening-property'' of the solutions over $(-\infty,τ]$ have been demonstrated to achieve this goal. To the best of our knowledge, this is the first attempt to establish the existence as well as AAR of random attractors for 3D SGMNSE on unbounded domains.

math.PR

A note on continuous data assimilation for stochastic convective Brinkman-Forchheimer equations in 2D and 3D

Continuous data assimilation (CDA) methods, such as the nudging algorithm introduced by Azouani, Olson, and Titi (AOT), have proven to be highly effective in deterministic settings for asymptotically synchronizing approximate solutions with observed dynamics. In this note, we introduce and analyze an algorithm for CDA for the two- and three-dimensional stochastic convective Brinkman-Forchheimer equations (CBFEs) driven by either additive or multiplicative Gaussian noise. The model is believed to provide an accurate description when the flow velocity exceeds the regime of validity of Darcy's law and the porosity remains moderately large. We derive sufficient conditions on the nudging parameter and the spatial resolution of observations that ensure convergence of the assimilated solution to the true stochastic flow. We demonstrate convergence in the mean-square sense, and additionally establish pathwise convergence in the presence of additive noise. The CBFEs, also known as Navier-Stokes equations with damping, exhibit enhanced stability properties due to the presence of nonlinear damping term. In particular, we show that nonlinear damping not only enables the implementation of CDA in three dimensions but also yields improved convergence results in two dimensions when compared to the classical Navier-Stokes equations.

math.PR

Rate of convergence of random attractors towards deterministic singleton attractor for a class of non-Newtonian fluids of differential type

In this article, we investigate the long-term dynamics of a class of two- and three-dimensional non-Newtonian fluids of differential type, known as third-grade fluids. We first show that when the external forcing is sufficiently small, the global attractor of the underlying system (which characterizes its asymptotic behavior) reduces to a single point. We then consider the system under stochastic perturbations, specifically infinite-dimensional additive white noise. In this random setting, we do not find conclusive evidence that the corresponding random attractor remains a single point, as in the deterministic case. However, we are able to estimate the rate at which the random attractor approaches the deterministic singleton attractor as the intensity of the stochastic noise tends to zero.

math.PR

Large time behaviour for a class of 2D and 3D stochastic non-Newtonian fluids of differential types: Attractors and invariant measures

This study investigates a stochastic version of a class of non-Newtonian fluids governed by third-grade fluid equations, which exhibit complex and highly nonlinear dynamics. In particular, we address the random dynamics and asymptotic behavior of stochastic third-grade fluid equations (STGFEs) driven by a \emph{linear multiplicative Itô-type white noise} on general domains $\mathbb{Q}\subseteq\mathbb{R}^d$, $d\in\{2,3\}$. We first prove that the non-autonomous STGFEs generate a continuous non-autonomous random dynamical system $Φ$, and we establish the existence of a pullback absorbing set. Using compact Sobolev embeddings on bounded domains and uniform tail estimates on unbounded domains, we show the pullback asymptotic compactness of $Φ$, which leads to the existence of pullback random attractors that are compact and attracting in $\mathbb{L}^2(\mathbb{Q})$. As a consequence, we demonstrate the existence of an invariant measure associated with the STGFEs and, exploiting the linear multiplicative structure of the noise along with the exponential stability of solutions, we prove uniqueness of the invariant measure in the case of zero external forcing. These results are entirely new for STGFEs on general domains, and, in particular, the existence of pullback random attractors with linear multiplicative noise is obtained here for the first time. We further note that, unlike Stratonovich noise, which is widely used in the literature to study random attractors, Itô noise is more appropriate for domains that do not satisfy the Poincaré inequality. Overall, this work resolves several open problems regarding random attractors, invariant measures, and ergodicity for stochastic third-grade fluids on general unbounded domains $\mathbb{Q}\subseteq\mathbb{R}^d$, $d\in\{2,3\}$.

math.PR

Optimal control problem associated with three-dimensional critical convective Brinkman-Forchheimer equations

In this article, we are concerned about the velocity tracking optimal control problem for 3D critical convective Brinkman-Forchheimer equations defined on a simply connected bounded domain $\mathbb{D}\subset\mathbb{R}^3$ with $\mathrm{C}^2$-boundary $\partial\mathbb{D}$. The control is introduced through an external force. The objective is to optimally minimize a velocity tracking cost functional, for which the velocity vector field is oriented towards a target velocity. Most importantly, we are concerned about the first-order necessary optimality conditions for above-mentioned optimal control problem which is the main challenging task of this article. To overcome the difficulties related to the differentiability of the control-to-state mapping, consequence of the lack of regularity of the state variable on bounded domains, we first establish some intermediate optimality conditions and then pass to the limit.

math.OC

Martingale solution, invariant measure and ergodicity for stochastic convective Brinkman-Forchheimer equations on general domains in $\mathbb{R}^d$

The convective Brinkman-Forchheimer equations (CBFEs) \[ \frac{\partial \boldsymbol{X}}{\partial t} - μΔ\boldsymbol{X} + (\boldsymbol{X}\cdot\nabla)\boldsymbol{X} + α\boldsymbol{X} + β|\boldsymbol{X}|^{r-1}\boldsymbol{X} + \nabla p = \mathbf{F}, \qquad \nabla\cdot\boldsymbol{X}=0, \] with parameters $μ,α,β>0$ and $r\in[1,\infty)$ describe incompressible fluid motion in saturated porous media. In the stochastic setting, for $d=2,3$ and $r\in[3,\infty)$ (with $2βμ\geq 1$ when $r=3$), strong pathwise solutions on general domains are already known, hence weak martingale solutions exist as well. In the same parameter regime, invariant probability measures on bounded domains have also been obtained. The present work complements and significantly extends these results. More precisely, on general domains in $\mathbb{R}^d$ (bounded or unbounded), for all $d\in\{2,3\}$, we prove the existence of a weak martingale solution to the stochastic CBFEs for every exponent $r\in[1,\infty)$, which includes the regimes where no strong solution theory is available. For $d=2$, $r\in[1,\infty)$, and for $d=3$, $r\in[3,\infty)$, we further show that the martingale solutions satisfy the energy equality (Itô's formula) and possess $\mathbb{H}$-valued continuous trajectories almost surely. In this regularity regime (excluding $2βμ< 1$ when $r=3$), we establish pathwise uniqueness and thereby, via the Yamada-Watanabe argument, obtain the existence of strong solutions and uniqueness in law, thereby recovering, in particular, the known results. Finally, for $d=2$, $r\in[1,\infty)$, and for $d=3$, $r\in[3,\infty)$ (with $2βμ\geq 1$ when $r=3$), we prove the existence of an invariant probability measure for the associated Markov semigroup, while for $d=2,3$ with $r\in[3,\infty)$ (and with $2βμ\geq 1$ for $r=3$), we show that at most one invariant measure can exist.

math.PR

Non-uniqueness of Hölder continuous solutions for stochastic Euler and Hypodissipative Navier-Stokes equations

We construct infinitely many Hölder continuous, global-in-time, and stationary solutions to the stochastic Euler equations and the hypodissipative Navier-Stokes equations, taking values in the space $C(\mathbb{R};C^{\vartheta})$. For the Euler case, the Hölder exponent $\vartheta$ satisfies $0<\vartheta<\frac{5}{7}β$ with $0<β< \frac{1}{200}$, while for the hypodissipative Navier-Stokes equations, $β$ must additionally satisfy $0<β< \min\left\{ \frac{2(1-2α)}{21}, \frac{1}{200}\right\}$. The construction relies on a modified stochastic convex integration scheme, which is central to the analysis. This scheme incorporates Beltrami flows as building blocks and carefully tracks inductive estimates, both pathwise and in expectation. These refinements allow us to achieve improved Hölder regularity for solutions to the underlying stochastic equations, advancing the scope of convex integration techniques in the stochastic setting.

math.AP

Random dynamics and invariant measures for a class of non-Newtonian fluids of differential type on 2D and 3D Poincaré domains

In this article, we consider a class of incompressible stochastic third-grade fluids (non-Newtonian fluids) equations on two- as well as three-dimensional Poincaré domains $\mathcal{O}$ (which may be bounded or unbounded). Our aims are to study the well-posedness and asymptotic analysis for the solutions of the underlying system. Firstly, we prove that the underlying system defined on $\mathcal{O}$ has a unique weak solution (in the analytic sense) under Dirichlet boundary condition and it also generates random dynamical system $Ψ$. Secondly, we consider the underlying system on bounded domains. Using the compact Sobolev embedding $\mathbb{H}^1(\mathcal{O}) \hookrightarrow\mathbb{L}^2(\mathcal{O})$, we prove the existence of a unique random attractor for the underlying system on bounded domains with external forcing in $\mathbb{H}^{-1}(\mathcal{O})+\mathbb{W}^{-1,\frac{4}{3}}(\mathcal{O})$. Thirdly, we consider the underlying system on unbounded Poincaré domains with external forcing in $\mathbb{L}^{2}(\mathcal{O})$ and show the existence of a unique random attractor. In order to obtain the existence of a unique random attractor on unbounded domains, due to the lack of compact Sobolev embedding $\mathbb{H}^1(\mathcal{O}) \hookrightarrow\mathbb{L}^2(\mathcal{O})$, we use the uniform-tail estimates method which helps us to demonstrate the asymptotic compactness of $Ψ$. Note that due to the presence of several nonlinear terms in the underlying system, we are not able to use the energy equality method to obtain the asymptotic compactness of $Ψ$ in unbounded domains, which makes the analysis of this work in unbounded domains more difficult and interesting. Finally, as a consequence of the existence of random attractors, we address the existence of invariant measures for underlying system.

math.PR

Stochastic convective Brinkman-Forchheimer equations on general Unbounded Domains

The stochastic convective Brinkman-Forchheimer (SCBF) equations in an open connected set $\mathcal{O}\subseteq\mathbb{R}^d$ ($d\in \{2,3,4\}$) or torus are considered in this work. We show the existence of a pathwise unique strong solution (in the probabilistic sense) satisfying the energy equality (Itô formula) to SCBF equations perturbed by multiplicative Gaussian noise. We exploited a monotonicity property of the linear and nonlinear operators as well as a stochastic generalization of the Minty-Browder technique in the proofs. The energy equality is obtained by approximating the solution using approximate functions constituting the elements of eigenspaces of a compact operator in such a way that the approximations are bounded and converge in both Sobolev and Lebesgue spaces simultaneously. We further discuss the global in time regularity results of such strong solutions on the torus. The exponential stability results (in mean square and pathwise sense) for the stationary solutions is also established in this work for large effective viscosity. Moreover, a stabilization result of the stochastic convective Brinkman-Forchheimer equations by using a multiplicative noise is obtained. Finally, when $\mathcal{O}$ is a bounded domain, we establish the existence of a unique invariant measure for the SCBF equations with multiplicative Gaussian noise, which is both ergodic and strongly mixing, using the exponential stability of strong solutions.

math.AP

Backward uniqueness of 2D and 3D convective Brinkman-Forchheimer equations and its applications

In this work, we consider the two- and three-dimensional convective Brinkman-Forchheimer (CBF) equations (or damped Navier--Stokes equations) on a torus $\mathbb{T}^d,$ $d\in\{2,3\}$: $$ \frac{\partial \boldsymbol{u}}{\partial t}-μΔ\boldsymbol{u}+(\boldsymbol{u}\cdot\nabla)\boldsymbol{u}+α\boldsymbol{u}+β|\boldsymbol{u}|^{r-1}\boldsymbol{u}+\nabla p=\boldsymbol{f}, \ \nabla\cdot\boldsymbol{u}=0,$$ where $μ,α,β>0$ and $r\in[1,\infty)$ is the absorption exponent. For $d=2,r\in[1,\infty)$ and $d=3,r\in[3,\infty)$ ($2βμ\geq 1$ for $d=r=3$), we first show the backward uniqueness of deterministic CBF equations by exploiting the logarithmic convexity property and the global solvability results available in the literature. As a direct consequence of the backward uniqueness result, we first derive the approximate controllability with respect to the initial data (viewed as a start controller). Secondly, we apply the backward uniqueness results in the attractor theory to show the zero Lipschitz deviation of the global attractors for 2D and 3D CBF equations. By an application of log-Lipschitz regularity, we prove the uniqueness of Lagrangian trajectories in 2D and 3D CBF flows and the continuity of Lagrangian trajectories with respect to the Eulerian initial data. Finally, we consider the stochastic CBF equations with a linear multiplicative Gaussian noise. For $d=2,r\in[1,\infty)$ and $d=3,r\in[3,5]$ ($2βμ\geq 1$ for $d=r=3$), we show the pathwise backward uniqueness as well as approximate controllability via starter controller results.

math.AP

Inverse problem for wave equation of memory type with acoustic boundary conditions: Global solvability

In this article, we study the one-dimensional inverse problem of determining the memory kernel by the integral overdetermination condition for the direct problem of finding the velocity potential and the displacement of boundary points. A wave equation with initial and acoustic boundary conditions in media with dispersion is used as a mathematical model. The inverse problem is reduced to an equivalent problem with homogeneous boundary conditions for the system of integro-differential equations. Using the technique of estimating integral equations and the contraction mappings principle in Sobolev spaces, the global existence and uniqueness theorem for the inverse problem is proved.

math.AP

Random dynamics of solutions for three-dimensional stochastic globally modified Navier-Stokes equations on unbounded Poincaré domains

In this article, we consider a novel version of three-dimensional (3D) globally modified Navier-Stokes (GMNS) system introduced by [Caraballo et. al., Adv. Nonlinear Stud. (2006), 6:411-436], which is very significant from the perspective of deterministic as well as stochastic partial differential equations. Our focus is on examining a stochastic version of the suggested 3D GMNS equations that are perturbed by an infinite-dimensional additive noise. We can consider a rough additive noise (Lebesgue space valued) with this model, which is not appropriate to consider with the system presented in [Caraballo et. al., Adv. Nonlinear Stud. (2006), 6:411-436]. One of the technical problems associated with the rough noise is overcome by the use of the corresponding Cameron-Martin (or reproducing kernel Hilbert) space. This article aims to accomplish three objectives. Firstly, we establish the existence and uniqueness of weak solutions (in the analytic sense) of the underlying stochastic system using a Doss-Sussman transformation and a primary ingredient Minty-Browder technique. Secondly, we demonstrate the existence of random attractors for the underlying stochastic system in the natural space of square integrable divergence-free functions. Finally, we show the existence of an invariant measure for the underlying stochastic system for any viscosity coefficient $ ν> 0 $ and uniqueness of invariant measure for sufficiently large $ν$ by using the exponential stability of solutions. A validation of the proposed version of 3D GMNS equations has also been discussed in the appendix by establishing that the sequence of weak solutions of 3D GMNS equations converges to a weak solution of 3D Navier-Stokes equations as the modification parameter goes to infinity.

math.PR

Wong-Zakai approximation for a class of SPDEs with fully local monotone coefficients and its application

In this article, we establish the \textsl{Wong-Zakai approximation} result for a class of stochastic partial differential equations (SPDEs) with fully local monotone coefficients perturbed by a multiplicative Wiener noise. This class of SPDEs encompasses various fluid dynamic models and also includes quasi-linear SPDEs, the convection-diffusion equation, the Cahn-Hilliard equation, and the two-dimensional liquid crystal model. It has been established that the class of SPDEs in question is well-posed, however, the existence of a unique solution to the associated approximating system cannot be inferred from the solvability of the original system. We employ a Faedo-Galerkin approximation method, compactness arguments, and Prokhorov's and Skorokhod's representation theorems to ensure the existence of a \textsl{probabilistically weak solution} for the approximating system. Furthermore, we also demonstrate that the solution is pathwise unique. Moreover, the classical Yamada-Watanabe theorem allows us to conclude the existence of a \textsl{probabilistically strong solution} (analytically weak solution) for the approximating system. Subsequently, we establish the Wong-Zakai approximation result for a class of SPDEs with fully local monotone coefficients. We utilize the Wong-Zakai approximation to establish the topological support of the distribution of solutions to the SPDEs with fully local monotone coefficients. Finally, we explore the physically relevant stochastic fluid dynamics models that are covered by this work's functional framework.

math.PR

Feedback stabilization of Convective Brinkman-Forchheimer Extended Darcy equations

In this article, the following controlled convective Brinkman-Forchheimer extended Darcy (CBFeD) system is considered in a $d$-dimensional torus: \begin{align*} \frac{\partial\boldsymbol{y}}{\partial t}-μΔ\boldsymbol{y}+(\boldsymbol{y}\cdot\nabla)\boldsymbol{y}+α\boldsymbol{y}+β\vert \boldsymbol{y}\vert ^{r-1}\boldsymbol{y}+γ\vert \boldsymbol{y}\vert ^{q-1}\boldsymbol{y}+\nabla p=\boldsymbol{g}+\boldsymbol{u},\ \nabla\cdot\boldsymbol{y}=0, \end{align*} where $d\in\{2,3\}$, $μ,α,β>0$, $γ\in\mathbb{R}$, $r,q\in[1,\infty)$ with $r>q\geq 1$. We prove the exponential stabilization of CBFeD system by finite- and infinite-dimensional feedback controllers. The solvability of the controlled problem is achieved by using the abstract theory of $m$-accretive operators and density arguments. As an application of the above solvability result, by using infinite-dimensional feedback controllers, we demonstrate exponential stability results such that the solution preserves an invariance condition for a given closed and convex set. By utilizing the unique continuation property of controllability for finite-dimensional systems, we construct a finite-dimensional feedback controller which exponentially stabilizes CBFeD system locally, where the control is localized in a smaller subdomain. Furthermore, we establish the local exponential stability of CBFeD system via proportional controllers.

math.OC

2D and 3D convective Brinkman-Forchheimer equations perturbed by a subdifferential and applications to control problems

The following convective Brinkman-Forchheimer (CBF) equations (or damped Navier-Stokes equations) with potential \begin{equation*} \frac{\partial \boldsymbol{y}}{\partial t}-μΔ\boldsymbol{y}+(\boldsymbol{y}\cdot\nabla)\boldsymbol{y}+α\boldsymbol{y}+β|\boldsymbol{y}|^{r-1}\boldsymbol{y}+\nabla p+Ψ(\boldsymbol{y})\ni\boldsymbol{g},\ \nabla\cdot\boldsymbol{y}=0, \end{equation*} in a $d$-dimensional torus is considered in this work, where $d\in\{2,3\}$, $μ,α,β>0$ and $r\in[1,\infty)$. For $d=2$ with $r\in[1,\infty)$ and $d=3$ with $r\in[3,\infty)$ ($2βμ\geq 1$ for $d=r=3$), we establish the existence of \textsf{\emph{a unique global strong solution}} for the above multi-valued problem with the help of the \textsf{\emph{abstract theory of $m$-accretive operators}}. %for nonlinear differential equations of accretive type in Banach spaces. Moreover, we demonstrate that the same results hold \textsf{\emph{local in time}} for the case $d=3$ with $r\in[1,3)$ and $d=r=3$ with $2βμ<1$. We explored the $m$-accretivity of the nonlinear as well as multi-valued operators, Yosida approximations and their properties, and several higher order energy estimates in the proofs. For $r\in[1,3]$, we {quantize (modify)} the Navier-Stokes nonlinearity $(\boldsymbol{y}\cdot\nabla)\boldsymbol{y}$ to establish the existence and uniqueness results, while for $r\in[3,\infty)$ ($2βμ\geq1$ for $r=3$), we handle the Navier-Stokes nonlinearity by the nonlinear damping term $β|\boldsymbol{y}|^{r-1}\boldsymbol{y}$. Finally, we discuss the applications of the above developed theory in feedback control problems like flow invariance, time optimal control and stabilization.

math.OC