A framework for synthetic validation of 3D echocardiographic particle image velocimetry

Particle image velocimetry (PIV) has been significantly advanced since its conception in early 1990s. With the advancement of imaging modalities, applications of 2D PIV have far expanded into biology and medicine. One example is echocardiographic particle image velocimetry that is used for in vivo mapping of the flow inside the heart chambers with opaque boundaries. Velocimetry methods can help better understanding the biomechanical problems. The current trend is to develop three-dimensional velocimetry techniques that take advantage of modern medical imaging tools. This study provides a novel framework for validation of velocimetry methods that are inherently three dimensional such as but not limited to those acquired by 3D echocardiography machines. This framework creates 3D synthetic fields based on a known 3D velocity field \({\mathbf{V}}\) and a given 3D brightness field \({\mathbf{B}}\). The method begins with computing the inverse flow \({\mathbf{V}}^{\varvec{*}} \) based on the velocity field \({\mathbf{V}}\). Then the transformation of \({\mathbf{B}}\), imposed by \({\mathbf{V}}\), is calculated using the computed inverse flow according to \({\mathbf{B}}^{\varvec{*}} \left( {\mathbf{x}} \right) = {\mathbf{B}}\left( {{\mathbf{x}} + {\mathbf{V}}^{\varvec{*}} \left( {\mathbf{x}} \right)} \right)\), where x is the coordinates of voxels in \({\mathbf{B}}^{\varvec{*}} \), with a 3D weighted average interpolation, which provides high accuracy, low memory requirement, and low computational time. To check the validity of the framework, we generate pairs of 3D brightness fields by employing Hill’s spherical vortex velocity field. \({\mathbf{B}}\) and the generated \({\mathbf{B}}^{\varvec{*}} \) are then processed by our in-house 3D particle image velocimetry software to obtain the interrelated velocity field. The results indicates that the computed and imposed velocity fields are in agreement.     

Steady Nearly Incompressible Vector Fields in Two-Dimension: Chain Rule and Renormalization

Given bounded vector field \({b : {\mathbb{R}^{d}} \to {\mathbb{R}^{d}}}\), scalar field \({u : {\mathbb{R}^{d}} \to {\mathbb{R}}}\), and a smooth function \({\beta : {\mathbb{R}} \to {\mathbb{R}}}\), we study the characterization of the distribution \({{\rm div}(\beta(u)b)}\) in terms of div b and div(ub). In the case of BV vector fields b (and under some further assumptions), such characterization was obtained by L. Ambrosio, C. De Lellis and J. Malý, up to an error term which is a measure concentrated on the so-called tangential set of b. We answer some questions posed in their paper concerning the properties of this term. In particular, we construct a nearly incompressible BV vector field b and a bounded function u for which this term is nonzero. For steady nearly incompressible vector fields b (and under some further assumptions), in the case when d = 2, we provide complete characterization of div(\({\beta(u)b}\)) in terms of div b and div(ub). Our approach relies on the structure of level sets of Lipschitz functions on \({{\mathbb{R}^{2}}}\) obtained by G. Alberti, S. Bianchini and G. Crippa. Extending our technique, we obtain new sufficient conditions when any bounded weak solution u of \({\partial_t u + b \cdot \nabla u=0}\) is renormalized, that is when it also solves \({\partial_t \beta(u) + b \cdot \nabla \beta(u)=0}\) for any smooth function \({\beta \colon{\mathbb{R}} \to {\mathbb{R}}}\). As a consequence, we obtain new a uniqueness result for this equation.     

Exact solution of 3D Timoshenko beam problem using linked interpolation of arbitrary order

For arbitrary polynomial loading and a sufficient finite number of nodal points N, the solution for the 3D Timoshenko beam differential equations is polynomial and given as \({{\varvec \theta} = \sum_{i=1}^N I_i {\varvec \theta}_i}\) for the rotation field and \({{\bf u} = \sum_{i=1}^{N+1} J_i {\bf u}_i}\) for the displacement field, where I _i and J _i are the Lagrangian polynomials of order N?1 and N, respectively. It has been demonstrated in this work that the exact solution for the displacement field may be also written in a number of alternative ways involving contributions of the nodal rotations including \({{\bf u} = \sum_{i=1}^N I_i \left[ {\bf u}_i + \frac 1 N ( {\varvec \theta} - {\varvec \theta}_i ) \times {\bf R}_i \right]}\), where R _i are the beam nodal positions.     

Global Well-Posedness for Navier–Stokes Equations with Small Initial Value in $${B^{0}_{n,\infty}(\Omega)}$$

We prove global well-posedness for instationary Navier–Stokes equations with initial data in Besov space \({B^{0}_{n,\infty}(\Omega)}\) in whole and half space, and bounded domains of \({{\mathbb R}^{n}}\), \({n \geq 3}\). To this end, we prove maximal \({L^{\infty}_{\gamma}}\) -regularity of the sectorial operators in some Banach spaces and, in particular, maximal \({L^{\infty}_{\gamma}}\) -regularity of the Stokes operator in little Nikolskii spaces \({b^{s}_{q,\infty}(\Omega)}\), \({s \in (-1, 2)}\), which are of independent significance. Then, based on the maximal regularity results and \({b^{s_{1}}_{q_{1},\infty}-B^{s_{2}}_{q_{2,1}}}\) estimates of the Stokes semigroups, we prove global well-posedness for Navier–Stokes equations under smallness condition on \({\|u_{0}\|_{B^{0}_{n,\infty}(\Omega)}}\) via a fixed point argument using Banach fixed point theorem.     

Linearly Stable Quasi-Periodic Breathers in a Class of Random Hamiltonian Systems

In this paper, we construct linearly stable quasi-periodic breathers for the Hamiltonian systems in the form \({{\rm i} \dot{q}_n+v_n q_n+\delta|q_n|^2q_n+\varepsilon_n \left(q_{n+1}+q_{n-1} \right)=0,\quad n \in \mathbb{Z}}\) where \({\{v_n\}_{n \in \mathbb{Z}}}\) is a family of time independent identically distributed (i.i.d) random variables with common distribution \({g = dv_n, v_n \in [0,1]}\) and \({|\varepsilon_n| \leq \varepsilon e^{-\varrho |n|}}\) with \({\varepsilon,\varrho > 0}\) . We prove that for \({\varepsilon, \delta}\) sufficiently small, the equation admits a family of small-amplitude and linearly stable, time quasi-periodic solutions for most of the parameters \({\{v_n\}_{n \in \mathbb{Z}}}\) .     

Impermeability Through a Perforated Domain for the Incompressible two dimensional Euler Equations

We study the asymptotic behavior of the motion of an ideal incompressible fluid in a perforated domain. The porous medium is composed of inclusions of size \({\varepsilon}\) separated by distances \({d_{\varepsilon}}\) and the fluid fills the exterior. If the inclusions are distributed on the unit square, the asymptotic behavior depends on the limit of \({\frac{d_{\varepsilon}}\varepsilon}\) when \({\varepsilon}\) goes to zero. If \({\frac{d_{\varepsilon}}\varepsilon \to \infty}\), then the limit motion is not perturbed by the porous medium, namely, we recover the Euler solution in the whole space. If, on the contrary, \({\frac{d_{\varepsilon}}\varepsilon \to 0}\), then the fluid cannot penetrate the porous region, namely, the limit velocity verifies the Euler equations in the exterior of an impermeable square. If the inclusions are distributed on the unit segment then the behavior depends on the geometry of the inclusion: it is determined by the limit of \({\frac{d_{\varepsilon}}{\varepsilon^{2+\frac1\gamma}}}\) where \({\gamma \in (0,\infty]}\) is related to the geometry of the lateral boundaries of the obstacles. If \({\frac{d_{\varepsilon}}{\varepsilon^{2+\frac1\gamma}} \to \infty}\), then the presence of holes is not felt at the limit, whereas an impermeable wall appears if this limit is zero. Therefore, for a distribution in one direction, the critical distance depends on the shape of the inclusions; in particular, it is equal to \({\varepsilon^{3}}\) for balls.     

Long-time Dynamics of Resonant Weakly Nonlinear CGL Equations

Consider a weakly nonlinear CGL equation on the torus \(\mathbb {T}^d\):

$$\begin{aligned} u_t+i\Delta u=\epsilon [\mu (-1)^{m-1}\Delta ^{m} u+b|u|^{2p}u+ ic|u|^{2q}u]. \end{aligned}$$

(*)

Here \(u=u(t,x)\), \(x\in \mathbb {T}^d\), \(0<\epsilon <<1\), \(\mu \geqslant 0\), \(b,c\in \mathbb {R}\) and \(m,p,q\in \mathbb {N}\). Define \(I(u)=(I_{\mathbf {k}},\mathbf {k}\in \mathbb {Z}^d)\), where \(I_{\mathbf {k}}=v_{\mathbf {k}}\bar{v}_{\mathbf {k}}/2\) and \(v_{\mathbf {k}}\), \(\mathbf {k}\in \mathbb {Z}^d\), are the Fourier coefficients of the function \(u\) we give. Assume that the equation \((*)\) is well posed on time intervals of order \(\epsilon ^{-1}\) and its solutions have there a-priori bounds, independent of the small parameter. Let \(u(t,x)\) solve the equation \((*)\). If \(\epsilon \) is small enough, then for \(t\lesssim {\epsilon ^{-1}}\), the quantity \(I(u(t,x))\) can be well described by solutions of an effective equation:

$$\begin{aligned} u_t=\epsilon [\mu (-1)^{m-1}\Delta ^m u+ F(u)], \end{aligned}$$

where the term \(F(u)\) can be constructed through a kind of resonant averaging of the nonlinearity \(b|u|^{2p}+ ic|u|^{2q}u\).

     

Finite plasticity in $$\varvec{P}^\top \! \varvec{P}$$. Part I: constitutive model

We address a finite-plasticity model based on the symmetric tensor \(\varvec{P}^\top \! \varvec{P}\) instead of the classical plastic strain \(\varvec{P}\). Such a structure arises by assuming that the material behavior is invariant with respect to frame transformations of the intermediate configuration. The resulting variational model is lower dimensional, symmetric and based solely on the reference configuration. We discuss the existence of energetic solutions at the material-point level as well as the convergence of time discretizations. The linearization of the model for small deformations is ascertained via a rigorous evolution-\(\Gamma \)-convergence argument. The constitutive model is combined with the equilibrium system in Part II where we prove the existence of quasistatic evolutions and ascertain the linearization limit (Grandi and Stefanelli in 2016).     

On the Justification of Viscoelastic Elliptic Membrane Shell Equations

We consider a family of linearly viscoelastic shells with thickness \(2\varepsilon\), clamped along their entire lateral face, all having the same middle surface \(S=\boldsymbol{\theta}(\bar{\omega})\subset \mathbb{R}^{3}\), where \(\omega\subset\mathbb{R}^{2}\) is a bounded and connected open set with a Lipschitz-continuous boundary \(\gamma\). We make an essential geometrical assumption on the middle surface \(S\), which is satisfied if \(\gamma\) and \(\boldsymbol{\theta}\) are smooth enough and \(S\) is uniformly elliptic. We show that, if the applied body force density is \(O(1)\) with respect to \(\varepsilon\) and surface tractions density is \(O(\varepsilon)\), the solution of the scaled variational problem in curvilinear coordinates, \(\boldsymbol{u}( \varepsilon)\), defined over the fixed domain \(\varOmega=\omega\times (-1,1)\) for each \(t\in[0,T]\), converges to a limit \(\boldsymbol{u}\) with \(u_{\alpha}(\varepsilon)\rightarrow u_{\alpha}\) in \(W^{1,2}(0,T,H ^{1}(\varOmega))\) and \(u_{3}(\varepsilon)\rightarrow u_{3}\) in \(W^{1,2}(0,T,L^{2}(\varOmega))\) as \(\varepsilon\to0\). Moreover, we prove that this limit is independent of the transverse variable. Furthermore, the average \(\bar{\boldsymbol{u}}= \frac{1}{2}\int_{-1}^{1} \boldsymbol{u}dx_{3}\), which belongs to the space \(W^{1,2}(0,T, V_{M}( \omega))\), where

$$V_{M}(\omega)=H^{1}_{0}(\omega)\times H^{1}_{0}(\omega)\times L ^{2}(\omega), $$

satisfies what we have identified as (scaled) two-dimensional equations of a viscoelastic membrane elliptic shell, which includes a long-term memory that takes into account previous deformations. We finally provide convergence results which justify those equations.

     

A KAM Theorem for Higher Dimensional Forced Nonlinear Schrödinger Equations

In this paper, we prove an infinite dimensional KAM theorem. As an application, it is shown that there are many real-analytic small-amplitude linearly-stable quasi-periodic solutions for higher dimensional nonlinear Schrödinger equations with outer force

$$\begin{aligned} iu_t-\triangle u +M_\xi u+f(\bar{\omega }t)|u|^2u=0, \quad t\in {{\mathbb R}}, x\in {{\mathbb T}}^d \end{aligned}$$

where \(M_\xi \) is a real Fourier multiplier,\(f({\bar{\theta }})({\bar{\theta }}={\bar{\omega }} t)\) is real analytic and the forced frequencies \(\bar{\omega }\) are fixed Diophantine vectors.

     

Uniqueness of Positive Ground State Solutions of the Logarithmic Schrödinger Equation

We prove the uniqueness of positive ground state solutions of the problem \({ {\frac {d^{2}u}{dr^{2}}} + {\frac {n-1}{r}}{\frac {du}{dr}} + u \ln(|u|) = 0}\), \({u(r) > 0~\forall r \ge 0}\), and \({(u(r),u'(r)) \to (0, 0)}\) as \({r \to \infty}\). This equation is derived from the logarithmic Schrödinger equation \({{\rm i}\psi_{t} = {\Delta} \psi + u \ln \left(|u|^{2}\right)}\), and also from the classical equation \({{\frac {\partial u}{\partial t}} = {\Delta} u +u \left(|u|^{p-1}\right) -u}\). For each \({n \ge 1}\), a positive ground state solution is \({ u_{0}(r) = \exp \left(-{\frac{r^2}{4}} + {\frac{n}{2}}\right),~0 \le r < \infty}\). We combine \({u_{0}(r)}\) with energy estimates and associated Ricatti equation estimates to prove that, for each \({n \in \left[1, 9 \right]}\), \({u_{0}(r)}\) is the only positive ground state. We also investigate the stability of \({u_{0}(r)}\). Several open problems are stated.     

Approximation of Flat <Emphasis Type="Italic">W</Emphasis><Superscript>2,2</Superscript> Isometric Immersions by Smooth Ones

Let \({S\subset\mathbb{R}^2}\) be a bounded Lipschitz domain and denote by \({W^{2,2}_{\text{iso}}(S; \mathbb{R}^3)}\) the set of mappings \({u\in W^{2,2}(S;\mathbb{R}^3)}\) which satisfy \({(\nabla u)^T(\nabla u) = Id}\) almost everywhere. Under an additional regularity condition on the boundary \({\partial S}\) (which is satisfied if \({\partial S}\) is piecewise continuously differentiable), we prove that the strong W ^2,2 closure of \({W^{2,2}_{\text{iso}}(S; \mathbb{R}^3)\cap C^{\infty}(\overline{S};\mathbb{R}^3)}\) agrees with \({W^{2,2}_{\text{iso}}(S; \mathbb{R}^3)}\).     

Whirl Mappings on Generalised Annuli and the Incompressible Symmetric Equilibria of the Dirichlet Energy

In this paper we show a striking contrast in the symmetries of equilibria and extremisers of the total elastic energy of a hyperelastic incompressible annulus subject to pure displacement boundary conditions. Indeed upon considering the equilibrium equations, here, the nonlinear second order elliptic system formulated for the deformation \(u=(u_{1}, \ldots, u_{N})\):

$$ {\mathbb{E}} {\mathbb{L}}[u, {\mathbf {X}}] = \left \{ \textstyle\begin{array}{l@{\quad}l} \Delta u = \operatorname{div}(\mathscr{P} (x) \operatorname{cof} \nabla u) & \textrm{in }{\mathbf {X}},\\ \det\nabla u = 1 & \textrm{in }{\mathbf {X}},\\ u \equiv\varphi& \textrm{on }\partial{\mathbf {X}}, \end{array}\displaystyle \right . $$

where \({\mathbf {X}}\) is a finite, open, symmetric \(N\)-annulus (with \(N \ge2\)), \(\mathscr{P}=\mathscr{P}(x)\) is an unknown hydrostatic pressure field and \(\varphi\) is the identity mapping, we prove that, despite the inherent rotational symmetry in the system, when \(N=3\), the problem possesses no non-trivial symmetric equilibria whereas in sharp contrast, when \(N=2\), the problem possesses an infinite family of symmetric and topologically distinct equilibria. We extend and prove the counterparts of these results in higher dimensions by way of showing that a similar dichotomy persists between all odd vs. even dimensions \(N \ge4\) and discuss a number of closely related issues.

     

On the Global Regularity of the Two-Dimensional Density Patch for Inhomogeneous Incompressible Viscous Flow

Regarding P.-L. Lions’ open question in Oxford Lecture Series in Mathematics and its Applications, Vol. 3 (1996) concerning the propagation of regularity for the density patch, we establish the global existence of solutions to the two-dimensional inhomogeneous incompressible Navier–Stokes system with initial density given by \({(1 - \eta){\bf 1}_{{\Omega}_{0}} + {\bf 1}_{{\Omega}_{0}^{c}}}\) for some small enough constant \({\eta}\) and some \({W^{k+2,p}}\) domain \({\Omega_{0}}\), with initial vorticity belonging to \({L^{1} \cap L^{p}}\) and with appropriate tangential regularities. Furthermore, we prove that the regularity of the domain \({\Omega_0}\) is preserved by time evolution.     

Further Dense Properties of the Space of Circle Diffeomorphisms with a Liouville Rotation Number

In continuation of Matsumoto’s paper (Nonlinearity 25:1495–1511, 2012) we show that various subspaces are \(C^{\infty }\)-dense in the space of orientation-preserving \(C^{\infty }\)-diffeomorphisms of the circle with rotation number \(\alpha \), where \(\alpha \in {\mathbb {S}}^1\) is any prescribed Liouville number. In particular, for every odometer \({\mathcal {O}}\) of product type we prove the denseness of the subspace of diffeomorphisms which are orbit-equivalent to \({\mathcal {O}}\).     

Multiple Solutions to Neumann Problems with Indefinite Weight and Bounded Nonlinearities

We study the Neumann boundary value problem for the second order ODE

$$\begin{aligned} u^{\prime \prime } + (a^+(t)-\mu a^-(t))g(u) = 0, \qquad t \in [0,T], \end{aligned}$$

(1)

where \(g \in {\mathcal {C}}^1({\mathbb {R}})\) is a bounded function of constant sign, \(a^+,a^-: [0,T] \rightarrow {\mathbb {R}}^+\) are the positive/negative part of a sign-changing weight \(a(t)\) and \(\mu > 0\) is a real parameter. Depending on the sign of \(g^{\prime }(u)\) at infinity, we find existence/multiplicity of solutions for \(\mu \) in a “small” interval near the value

$$\begin{aligned} \mu _c = \frac{\int _0^T a^+(t) \, dt}{\int _0^T a^-(t) \, dt}\,. \end{aligned}$$

The proof exploits a change of variables, transforming the sign-indefinite Eq. (1) into a forced perturbation of an autonomous planar system, and a shooting argument. Nonexistence results for \(\mu \rightarrow 0^+\) and \(\mu \rightarrow +\infty \) are given, as well.

     

Enhanced Dissipation and Inviscid Damping in the Inviscid Limit of the Navier–Stokes Equations Near the Two Dimensional Couette Flow

In this work we study the long time inviscid limit of the two dimensional Navier–Stokes equations near the periodic Couette flow. In particular, we confirm at the nonlinear level the qualitative behavior predicted by Kelvin’s 1887 linear analysis. At high Reynolds number Re, we prove that the solution behaves qualitatively like two dimensional Euler for times \({{t \lesssim Re^{1/3}}}\), and in particular exhibits inviscid damping (for example the vorticity weakly approaches a shear flow). For times \({{t \gtrsim Re^{1/3}}}\), which is sooner than the natural dissipative time scale O(Re), the viscosity becomes dominant and the streamwise dependence of the vorticity is rapidly eliminated by an enhanced dissipation effect. Afterwards, the remaining shear flow decays on very long time scales \({{t \gtrsim Re}}\) back to the Couette flow. When properly defined, the dissipative length-scale in this setting is \({{\ell_D \sim Re^{-1/3}}}\), larger than the scale \({{\ell_D \sim Re^{-1/2}}}\) predicted in classical Batchelor–Kraichnan two dimensional turbulence theory. The class of initial data we study is the sum of a sufficiently smooth function and a small (with respect to Re^?1) L² function.     

Influence of hydrodynamic slip on convective transport in flow past a circular cylinder

The presence of a finite tangential velocity on a hydrodynamically slipping surface is known to reduce vorticity production in bluff body flows substantially while at the same time enhancing its convection downstream and into the wake. Here, we investigate the effect of hydrodynamic slippage on the convective heat transfer (scalar transport) from a heated isothermal circular cylinder placed in a uniform cross-flow of an incompressible fluid through analytical and simulation techniques. At low Reynolds (\({\textit{Re}}\ll 1\)) and high Péclet (\({\textit{Pe}}\gg 1\)) numbers, our theoretical analysis based on Oseen and thermal boundary layer equations allows for an explicit determination of the dependence of the thermal transport on the non-dimensional slip length \(l_s\). In this case, the surface-averaged Nusselt number, Nu transitions gradually between the asymptotic limits of \(Nu \sim {\textit{Pe}}^{1/3}\) and \(Nu \sim {\textit{Pe}}^{1/2}\) for no-slip (\(l_s \rightarrow 0\)) and shear-free (\(l_s \rightarrow \infty \)) boundaries, respectively. Boundary layer analysis also shows that the scaling \(Nu \sim {\textit{Pe}}^{1/2}\) holds for a shear-free cylinder surface in the asymptotic limit of \({\textit{Re}}\gg 1\) so that the corresponding heat transfer rate becomes independent of the fluid viscosity. At finite \({\textit{Re}}\), results from our two-dimensional simulations confirm the scaling \(Nu \sim {\textit{Pe}}^{1/2}\) for a shear-free boundary over the range \(0.1 \le {\textit{Re}}\le 10^3\) and \(0.1\le {\textit{Pr}}\le 10\). A gradual transition from the lower asymptotic limit corresponding to a no-slip surface, to the upper limit for a shear-free boundary, with \(l_s\), is observed in both the maximum slip velocity and the Nu. The local time-averaged Nusselt number \(Nu_{\theta }\) for a shear-free surface exceeds the one for a no-slip surface all along the cylinder boundary except over the downstream portion where unsteady separation and flow reversal lead to an appreciable rise in the local heat transfer rates, especially at high \({\textit{Re}}\) and Pr. At a Reynolds number of \(10^3\), the formation of secondary recirculating eddy pairs results in appearance of additional local maxima in \(Nu_{\theta }\) at locations that are in close proximity to the mean secondary stagnation points. As a consequence, Nu exhibits a non-monotonic variation with \(l_s\) increasing initially from its lowermost value for a no-slip surface and then decreasing before rising gradually toward the upper asymptotic limit for a shear-free cylinder. A non-monotonic dependence of the spanwise-averaged Nu on \(l_s\) is observed in three dimensions as well with the three-dimensional wake instabilities that appear at sufficiently low \(l_s\), strongly influencing the convective thermal transport from the cylinder. The analogy between heat transfer and single-component mass transfer implies that our results can directly be applied to determine the dependency of convective mass transfer of a single solute on hydrodynamic slip length in similar configurations through straightforward replacement of Nu and \({\textit{Pr}}\) with Sherwood and Schmidt numbers, respectively.