-
Detecting immersed obstacle in Stokes fluid flow using the coupled complex boundary method
Authors:
Julius Fergy Tiongson Rabago,
Lekbir Afraites,
Hirofumi Notsu
Abstract:
A non-conventional shape optimization approach is introduced to address the identification of an obstacle immersed in a fluid described by the Stokes equation within a larger bounded domain, relying on boundary measurements on the accessible surface. The approach employs tools from shape optimization, utilizing the coupled complex boundary method to transform the over-specified problem into a comp…
▽ More
A non-conventional shape optimization approach is introduced to address the identification of an obstacle immersed in a fluid described by the Stokes equation within a larger bounded domain, relying on boundary measurements on the accessible surface. The approach employs tools from shape optimization, utilizing the coupled complex boundary method to transform the over-specified problem into a complex boundary value problem by incorporating a complex Robin boundary condition. This condition is derived by coupling the Dirichlet and Neumann boundary conditions along the accessible boundary. The identification of the obstacle involves optimizing a cost function constructed based on the imaginary part of the solution across the entire domain. The subsequent calculation of the shape gradient of this cost function, rigorously performed via the rearrangement method, enables the iterative solution of the optimization problem using a Sobolev gradient descent algorithm. The feasibility of the method is illustrated through numerical experiments in both two and three spatial dimensions, demonstrating its effectiveness in reconstructing obstacles with pronounced concavities under high-level noise-contaminated data, all without perimeter or volume functional penalization.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Error Estimates for First- and Second-Order Lagrange-Galerkin Moving Mesh Schemes for the One-Dimensional Convection-Diffusion Equation
Authors:
Kharisma Surya Putri,
Tatsuki Mizuochi,
Niklas Kolbe,
Hirofumi Notsu
Abstract:
A new moving mesh scheme based on the Lagrange-Galerkin method for the approximation of the one-dimensional convection-diffusion equation is studied. The mesh movement, which is prescribed by a discretized dynamical system for the nodal points, follows the direction of convection. It is shown that under a restriction of the time increment the mesh movement cannot lead to an overlap of the elements…
▽ More
A new moving mesh scheme based on the Lagrange-Galerkin method for the approximation of the one-dimensional convection-diffusion equation is studied. The mesh movement, which is prescribed by a discretized dynamical system for the nodal points, follows the direction of convection. It is shown that under a restriction of the time increment the mesh movement cannot lead to an overlap of the elements and therefore an invalid mesh. For the linear element, optimal error estimates in the $\ell^\infty(L^2) \cap \ell^2(H_0^1)$ norm are proved in case of both, a first-order backward Euler method and a second-order two-step method in time. These results are based on new estimates of the time dependent interpolation operator derived in this work. Preservation of the total mass is verified for both choices of the time discretization. Numerical experiments are presented that confirm the error estimates and demonstrate that the proposed moving mesh scheme can circumvent limitations that the Lagrange-Galerkin method on a fixed mesh exhibits.
△ Less
Submitted 23 February, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
Virtual reservoir acceleration for CPU and GPU: Case study for coupled spin-torque oscillator reservoir
Authors:
Thomas Geert de Jong,
Nozomi Akashi,
Tomohiro Taniguchi,
Hirofumi Notsu,
Kohei Nakajima
Abstract:
We provide high-speed implementations for simulating reservoirs described by $N$-coupled spin-torque oscillators. Here $N$ also corresponds to the number of reservoir nodes. We benchmark a variety of implementations based on CPU and GPU. Our new methods are at least 2.6 times quicker than the baseline for $N$ in range $1$ to $10^4$. More specifically, over all implementations the best factor is 78…
▽ More
We provide high-speed implementations for simulating reservoirs described by $N$-coupled spin-torque oscillators. Here $N$ also corresponds to the number of reservoir nodes. We benchmark a variety of implementations based on CPU and GPU. Our new methods are at least 2.6 times quicker than the baseline for $N$ in range $1$ to $10^4$. More specifically, over all implementations the best factor is 78.9 for $N=1$ which decreases to 2.6 for $N=10^3$ and finally increases to 23.8 for $N=10^4$. GPU outperforms CPU significantly at $N=2500$. Our results show that GPU implementations should be tested for reservoir simulations. The implementations considered here can be used for any reservoir with evolution that can be approximated using an explicit method.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
Numerical solution to a free boundary problem for the Stokes equation using the coupled complex boundary method in shape optimization settings
Authors:
Julius Fergy T. Rabago,
Hirofumi Notsu
Abstract:
A new reformulation of a free boundary problem for the Stokes equations governing a viscous flow with overdetermined condition on the free boundary is proposed. The idea of the method is to transform the governing equations to a boundary value problem with a complex Robin boundary condition coupling the two boundary conditions on the free boundary. The proposed formulation give rise to a new cost…
▽ More
A new reformulation of a free boundary problem for the Stokes equations governing a viscous flow with overdetermined condition on the free boundary is proposed. The idea of the method is to transform the governing equations to a boundary value problem with a complex Robin boundary condition coupling the two boundary conditions on the free boundary. The proposed formulation give rise to a new cost functional that apparently has not been exploited yet in the literature, specifically, and at least, in the context of free surface problems. The shape derivatives of the cost function constructed by the imaginary part of the solution in the whole domain in order to identify the free boundary is explicitly determined. Using the computed shape gradient information, a domain variation method from a preconditioned steepest descent algorithm is applied to solve the shape optimization problem. Numerical results illustrating the applicability of the method is then provided both in two and three spatial dimensions. For validation and evaluation of the method, the numerical results are compared with the ones obtained via the classical tracking Dirichlet data.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
A two-step Lagrange-Galerkin scheme for the shallow water equations with a transmission boundary condition and its application to the Bay of Bengal region. Part I: Flat bottom topography
Authors:
Md Mamunur Rasid,
Masato Kimura,
Md Masum Murshed,
Erny Rahayu Wijayanti,
Hirofumi Notsu
Abstract:
This study presents a two-step Lagrange-Galerkin scheme for the shallow water equations with a transmission boundary condition (TBC). Firstly, the experimental order of convergence of the scheme is shown to see the second-order accuracy in time. Secondly, the effect of the TBC on a simple domain is discussed; the artificial reflections are kept from the Dirichlet boundaries and removed significant…
▽ More
This study presents a two-step Lagrange-Galerkin scheme for the shallow water equations with a transmission boundary condition (TBC). Firstly, the experimental order of convergence of the scheme is shown to see the second-order accuracy in time. Secondly, the effect of the TBC on a simple domain is discussed; the artificial reflections are kept from the Dirichlet boundaries and removed significantly from the transmission boundaries. Thirdly, the scheme is applied to a complex practical domain, i.e., the Bay of Bengal region, which is non-convex and includes islands. The effect of the TBC is discussed again for the complex domain; the artificial reflections are removed significantly from transmission boundaries, which are set on open sea boundaries. Based on the numerical results, it is revealed that the scheme has the following properties; (i) the same advantages of Lagrange-Galerkin methods (the CFL-free robustness for convection-dominated problems and the symmetry of the matrices for the system of linear equations); (ii) second-order accuracy in time; (iii) mass preservation of the function for the water level from the reference height (until the contact with the transmission boundaries of the wave); and (iv) no significant artificial reflection from the transmission boundaries. The numerical results by the scheme are presented in this paper for the flat bottom topography of the domain. In the next part of this work, Part II, the scheme will be applied to rapidly varying bottom surfaces and a real bottom topography of the Bay of Bengal region.
△ Less
Submitted 11 February, 2023; v1 submitted 2 July, 2022;
originally announced July 2022.
-
A Convective Boundary Condition for the Navier-Stokes Equations: Existence Analysis and Numerical Implementations
Authors:
John Sebastian H. Simon,
Hirofumi Notsu
Abstract:
Due to computational complexity, fluid flow problems are mostly defined on a bounded domain. Hence, capturing fluid outflow calls for imposing an appropriate condition on the boundary where the said outflow is prescribed. Usually, the Neumann-type boundary condition called do-nothing condition is the go-to description for such outflow phenomenon However, such condition does not ensure an energy es…
▽ More
Due to computational complexity, fluid flow problems are mostly defined on a bounded domain. Hence, capturing fluid outflow calls for imposing an appropriate condition on the boundary where the said outflow is prescribed. Usually, the Neumann-type boundary condition called do-nothing condition is the go-to description for such outflow phenomenon However, such condition does not ensure an energy estimate for the Navier--Stokes equations - let alone establish the existence of solutions. In this paper, we analyze a convective boundary condition that will capture outflow and establish the existence of solutions to the governing equation. We shall show existence and uniqueness results for systems with mixed boundary conditions - Dirichlet condition and the convective boundary condition. The first system is a stationary equation where the Dirichlet condition is purely homogeneous, the other is where an input function is prescribed, and lastly a dynamic system with prescribed input function. We end by showing numerical examples to illustrate the difference between the current outflow condition and the usual do-nothing condition.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
Maximizing Vortex for the Navier--Stokes Flow with a Convective Boundary Condition: A Shape Design Problem
Authors:
John Sebastian H. Simon,
Hirofumi Notsu
Abstract:
In this study, a shape optimization problem for the two-dimensional stationary Navier--Stokes equations with an artificial boundary condition is considered. The fluid is assumed to be flowing through a rectangular channel, and the artificial boundary condition is formulated so as to take into account the possibility of ill-posedness caused by the usual do-nothing boundary condition. The goal of th…
▽ More
In this study, a shape optimization problem for the two-dimensional stationary Navier--Stokes equations with an artificial boundary condition is considered. The fluid is assumed to be flowing through a rectangular channel, and the artificial boundary condition is formulated so as to take into account the possibility of ill-posedness caused by the usual do-nothing boundary condition. The goal of the optimization problem is to maximize the vorticity of the said fluid by determining the shape of an obstacle inside the channel. Meanwhile, the shape variation is limited by a perimeter functional and a volume constraint. The perimeter functional was considered to act as a Tikhonov regularizer and the volume constraint is added to exempt us from topological changes in the domain. The shape derivative of the objective functional was formulated using the rearrangement method, and this derivative was later on used for gradient descent methods. Additionally, an augmented Lagrangian method and a class of solenoidal deformation fields were considered to take into account the goal of volume preservation. Lastly, numerical examples based on the gradient descent and the volume preservation methods are presented.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
A mass-preserving two-step Lagrange-Galerkin scheme for convection-diffusion problems
Authors:
Kouta Futai,
Niklas Kolbe,
Hirofumi Notsu,
Tasuku Suzuki
Abstract:
A mass-preserving two-step Lagrange-Galerkin scheme of second order in time for convection-diffusion problems is presented, and convergence with optimal error estimates is proved in the framework of $L^2$-theory. The introduced scheme maintains the advantages of the Lagrange-Galerkin method, i.e., CFL-free robustness for convection-dominated problems and a symmetric and positive coefficient matrix…
▽ More
A mass-preserving two-step Lagrange-Galerkin scheme of second order in time for convection-diffusion problems is presented, and convergence with optimal error estimates is proved in the framework of $L^2$-theory. The introduced scheme maintains the advantages of the Lagrange-Galerkin method, i.e., CFL-free robustness for convection-dominated problems and a symmetric and positive coefficient matrix resulting from the discretization. In addition, the scheme conserves the mass on the discrete level if the involved integrals are computed exactly. Unconditional stability and error estimates of second order in time are proved by employing two new key lemmas on the truncation error of the material derivative in conservative form and on a discrete Gronwall inequality for multistep methods. The mass-preserving property is achieved by the Jacobian multiplication technique introduced by Rui and Tabata in 2010, and the accuracy of second order in time is obtained based on the idea of the multistep Galerkin method along characteristics originally introduced by Ewing and Russel in 1981. For the first time step, the mass-preserving scheme of first order in time by Rui and Tabata in 2010 is employed, which is efficient and does not cause any loss of convergence order in the $\ell^\infty(L^2)$- and $\ell^2(H^1_0)$-norms. For the time increment $Δt$, the mesh size $h$ and a conforming finite element space of polynomial degree $k$, the convergence order is of $O(Δt^2 + h^k)$ in the $\ell^\infty(L^2)\cap \ell^2(H^1_0)$-norm and of $O(Δt^2 + h^{k+1})$ in the $\ell^\infty(L^2)$-norm if the duality argument can be employed. Error estimates of $O(Δt^{3/2}+h^k)$ in discrete versions of the $L^\infty(H^1_0)$- and $H^1(L^2)$-norm are additionally proved. Numerical results confirm the theoretical convergence orders in one, two and three dimensions.
△ Less
Submitted 21 February, 2022; v1 submitted 21 July, 2021;
originally announced July 2021.
-
Second-order finite difference approximations of the upper-convected time derivative
Authors:
Debora O. Medeiros,
Hirofumi Notsu,
Cassio M. Oishi
Abstract:
In this work, new finite difference schemes are presented for dealing with the upper-convected time derivative in the context of the generalized Lie derivative. The upper-convected time derivative, which is usually encountered in the constitutive equation of the popular viscoelastic models, is reformulated in order to obtain approximations of second-order in time for solving a simplified constitut…
▽ More
In this work, new finite difference schemes are presented for dealing with the upper-convected time derivative in the context of the generalized Lie derivative. The upper-convected time derivative, which is usually encountered in the constitutive equation of the popular viscoelastic models, is reformulated in order to obtain approximations of second-order in time for solving a simplified constitutive equation in one and two dimensions. The theoretical analysis of the truncation errors of the methods takes into account the linear and quadratic interpolation operators based on a Lagrangian framework. Numerical experiments illustrating the theoretical results for the model equation defined in one and two dimensions are included. Finally, the finite difference approximations of second-order in time are also applied for solving a two-dimensional Oldroyd-B constitutive equation subjected to a prescribed velocity field at different Weissenberg numbers.
△ Less
Submitted 5 June, 2021;
originally announced June 2021.
-
A Shape Optimization Problem Constrained with the Stokes Equations to Address Maximization of Vortices
Authors:
John Sebastian H. Simon,
Hirofumi Notsu
Abstract:
We study an optimization problem that aims to determine the shape of an obstacle that is submerged in a fluid governed by the Stokes equations. The mentioned flow takes place in a channel, which motivated the imposition of a Poiseuille-like input function on one end and a do-nothing boundary condition on the other. The maximization of the vorticity is addressed by the $L^2$-norm of the curl and th…
▽ More
We study an optimization problem that aims to determine the shape of an obstacle that is submerged in a fluid governed by the Stokes equations. The mentioned flow takes place in a channel, which motivated the imposition of a Poiseuille-like input function on one end and a do-nothing boundary condition on the other. The maximization of the vorticity is addressed by the $L^2$-norm of the curl and the {\it det-grad} measure of the fluid. We impose a Tikhonov regularization in the form of a perimeter functional and a volume constraint to address the possibility of topological change. Having been able to establish the existence of an optimal shape, the first order necessary condition was formulated by utilizing the so-called rearrangement method. Finally, numerical examples are presented by utilizing a finite element method on the governing states, and a gradient descent method for the deformation of the domain. On the said gradient descent method, we use two approaches to address the volume constraint: one is by utilizing the augmented Lagrangian method; and the other one is by utilizing a class of divergence-free deformation fields.
△ Less
Submitted 12 August, 2021; v1 submitted 19 April, 2021;
originally announced April 2021.
-
Computing with vortices: Bridging fluid dynamics and its information-processing capability
Authors:
Ken Goto,
Kohei Nakajima,
Hirofumi Notsu
Abstract:
Herein, the Karman vortex system is considered to be a large recurrent neural network, and the computational capability is numerically evaluated by emulating nonlinear dynamical systems and the memory capacity. Therefore, the Reynolds number dependence of the Karman vortex system computational performance is revealed and the optimal computational performance is achieved near the critical Reynolds…
▽ More
Herein, the Karman vortex system is considered to be a large recurrent neural network, and the computational capability is numerically evaluated by emulating nonlinear dynamical systems and the memory capacity. Therefore, the Reynolds number dependence of the Karman vortex system computational performance is revealed and the optimal computational performance is achieved near the critical Reynolds number at the onset of Karman vortex shedding, which is associated with a Hopf bifurcation. Our finding advances the understanding of the relationship between the physical properties of fluid dynamics and its computational capability as well as provides an alternative to the widely believed viewpoint that the information processing capability becomes optimal at the edge of chaos.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
Chaos in nanomagnet via feedback current
Authors:
Tomohiro Taniguchi,
Nozomi Akashi,
Hirofumi Notsu,
Masato Kimura,
Hiroshi Tsukahara,
Kohei Nakajima
Abstract:
Nonlinear magnetization dynamics excited by spin-transfer effect with feedback current is studied both numerically and analytically. The numerical simulation of the Landau-Lifshitz-Gilbert equation indicates the positive Lyapunov exponent for a certain range of the feedback rate, which identifies the existence of chaos in a nanostructured ferromagnet. Transient behavior from chaotic to steady osci…
▽ More
Nonlinear magnetization dynamics excited by spin-transfer effect with feedback current is studied both numerically and analytically. The numerical simulation of the Landau-Lifshitz-Gilbert equation indicates the positive Lyapunov exponent for a certain range of the feedback rate, which identifies the existence of chaos in a nanostructured ferromagnet. Transient behavior from chaotic to steady oscillation is also observed in another range of the feedback parameter. An analytical theory is also developed, which indicates the appearance of multiple attractors in a phase space due to the feedback current. An instantaneous imbalance between the spin-transfer torque and dam** torque causes a transition between the attractors, and results in the complex dynamics.
△ Less
Submitted 22 November, 2019; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Stability estimates and a Lagrange-Galerkin scheme for a Navier-Stokes type model of flow in non-homogeneous porous media
Authors:
Imam Wijaya,
Hirofumi Notsu
Abstract:
The purposes of this work are to study the $L^{2}$-stability of a Navier-Stokes type model for non-stationary flow in porous media proposed by Hsu and Cheng in 1989 and to develop a Lagrange-Galerkin scheme with the Adams-Bashforth method to solve that model numerically.The stability estimate is obtained thanks to the presence of a nonlinear drag force term in the model which corresponds to the Fo…
▽ More
The purposes of this work are to study the $L^{2}$-stability of a Navier-Stokes type model for non-stationary flow in porous media proposed by Hsu and Cheng in 1989 and to develop a Lagrange-Galerkin scheme with the Adams-Bashforth method to solve that model numerically.The stability estimate is obtained thanks to the presence of a nonlinear drag force term in the model which corresponds to the Forchheimer term. We derive the Lagrange-Galerkin scheme by extending the idea of the method of characteristics to overcome the difficulty which comes from the non-homogeneous porosity. Numerical experiments are conducted to investigate the experimental order of convergence of the scheme. For both simple and complex designs of porosities, our numerical simulations exhibit natural flow profiles which well describe the flow in non-homogeneous porous media.
△ Less
Submitted 27 January, 2019;
originally announced January 2019.
-
Theoretical and numerical studies for energy estimates of the shallow water equations with a transmission boundary condition
Authors:
Md. Masum Murshed,
Kouta Futai,
Masato Kimura,
Hirofumi Notsu
Abstract:
Energy estimates of the shallow water equations (SWEs) with a transmission boundary condition are studied theoretically and numerically. In the theoretical part, using a suitable energy, we begin with deriving an equality which implies an energy estimate of the SWEs with the Dirichlet and the slip boundary conditions. For the SWEs with a transmission boundary condition, an inequality for the energ…
▽ More
Energy estimates of the shallow water equations (SWEs) with a transmission boundary condition are studied theoretically and numerically. In the theoretical part, using a suitable energy, we begin with deriving an equality which implies an energy estimate of the SWEs with the Dirichlet and the slip boundary conditions. For the SWEs with a transmission boundary condition, an inequality for the energy estimate is proved under some assumptions to be satisfied in practical computation. Hence, it is recognized that the transmission boundary condition is reasonable in the sense that the inequality holds true. In the numerical part, based on the theoretical results, the energy estimate of the SWEs with a transmission boundary condition is confirmed numerically by a finite difference method (FDM). The choice of a positive constant c0 used in the transmission boundary condition is investigated additionally. Furthermore, we present numerical results by a Lagrange-Galerkin scheme, which are similar to those by the FDM. From the numerical results, it is found that the transmission boundary condition works well numerically.
△ Less
Submitted 17 January, 2019;
originally announced January 2019.
-
Analysis of a projection method for the Stokes problem using an $\varepsilon$-Stokes approach
Authors:
Masato Kimura,
Kazunori Matsui,
Adrian Muntean,
Hirofumi Notsu
Abstract:
We generalize pressure boundary conditions of an $\varepsilon$-Stokes problem. Our $\varepsilon$-Stokes problem connects the classical Stokes problem and the corresponding pressure-Poisson equation using one parameter $\varepsilon>0$. For the Dirichlet boundary condition, it is proven in K. Matsui and A. Muntean (2018) that the solution for the $\varepsilon$-Stokes problem converges to the one for…
▽ More
We generalize pressure boundary conditions of an $\varepsilon$-Stokes problem. Our $\varepsilon$-Stokes problem connects the classical Stokes problem and the corresponding pressure-Poisson equation using one parameter $\varepsilon>0$. For the Dirichlet boundary condition, it is proven in K. Matsui and A. Muntean (2018) that the solution for the $\varepsilon$-Stokes problem converges to the one for the Stokes problem as $\varepsilon$ tends to 0, and to the one for the pressure-Poisson problem as $\varepsilon$ tends to $\infty$. Here, we extend these results to the Neumann and mixed boundary conditions. We also establish error estimates in suitable norms between the solutions to the $\varepsilon$-Stokes problem, the pressure-Poisson problem and the Stokes problem, respectively. Several numerical examples are provided to show that several such error estimates are optimal in $\varepsilon$. Our error estimates are improved if one uses the Neumann boundary conditions. In addition, we show that the solution to the $\varepsilon$-Stokes problem has a nice asymptotic structure.
△ Less
Submitted 26 December, 2018;
originally announced December 2018.
-
The gradient flow structure of an extended Maxwell viscoelastic model and a structure-preserving finite element scheme
Authors:
Masato Kimura,
Hirofumi Notsu,
Yoshimi Tanaka,
Hiroki Yamamoto
Abstract:
An extended Maxwell viscoelastic model with a relaxation parameter is studied from mathematical and numerical points of view. It is shown that the model has a gradient flow property with respect to a viscoelastic energy. Based on the gradient flow structure, a structure-preserving time-discrete model is proposed and existence of a unique solution is proved. Moreover, a structure-preserving P1/P0 f…
▽ More
An extended Maxwell viscoelastic model with a relaxation parameter is studied from mathematical and numerical points of view. It is shown that the model has a gradient flow property with respect to a viscoelastic energy. Based on the gradient flow structure, a structure-preserving time-discrete model is proposed and existence of a unique solution is proved. Moreover, a structure-preserving P1/P0 finite element scheme is presented and its stability in the sense of energy is shown by using its discrete gradient flow structure. As typical viscoelastic phenomena, two-dimensional numerical examples by the proposed scheme for a creep deformation and a stress relaxation are shown and the effects of the relaxation parameter are investigated.
△ Less
Submitted 12 July, 2018; v1 submitted 15 February, 2018;
originally announced February 2018.
-
Numerical analysis of the Oseen-type Peterlin viscoelastic model by the stabilized Lagrange-Galerkin method, Part I: A nonlinear scheme
Authors:
Mária Lukáčová-Medvid'ová,
Hana Mizerová,
Hirofumi Notsu,
Masahisa Tabata
Abstract:
We present a nonlinear stabilized Lagrange-Galerkin scheme for the Oseen-type Peterlin viscoelastic model. Our scheme is a combination of the method of characteristics and Brezzi-Pitkäranta's stabilization method for the conforming linear elements, which yields an efficient computation with a small number of degrees of freedom. We prove error estimates with the optimal convergence order without an…
▽ More
We present a nonlinear stabilized Lagrange-Galerkin scheme for the Oseen-type Peterlin viscoelastic model. Our scheme is a combination of the method of characteristics and Brezzi-Pitkäranta's stabilization method for the conforming linear elements, which yields an efficient computation with a small number of degrees of freedom. We prove error estimates with the optimal convergence order without any relation between the time increment and the mesh size. The result is valid for both the diffusive and non-diffusive models for the conformation tensor in two space dimensions. We introduce an additional term that yields a suitable structural property and allows us to obtain required energy estimate. The theoretical convergence orders are confirmed by numerical experiments. In a forthcoming paper, Part II, a linear scheme is proposed and the corresponding error estimates are proved in two and three space dimensions for the diffusive model.
△ Less
Submitted 6 December, 2016; v1 submitted 3 March, 2016;
originally announced March 2016.
-
Numerical analysis of the Oseen-type Peterlin viscoelastic model by the stabilized Lagrange-Galerkin method, Part II: A linear scheme
Authors:
Mária Lukáčová-Medvid'ová,
Hana Mizerová,
Hirofumi Notsu,
Masahisa Tabata
Abstract:
This is the second part of our error analysis of the stabilized Lagrange-Galerkin scheme applied to the Oseen-type Peterlin viscoelastic model. Our scheme is a combination of the method of characteristics and Brezzi-Pitkäranta's stabilization method for the conforming linear elements, which leads to an efficient computation with a small number of degrees of freedom especially in three space dimens…
▽ More
This is the second part of our error analysis of the stabilized Lagrange-Galerkin scheme applied to the Oseen-type Peterlin viscoelastic model. Our scheme is a combination of the method of characteristics and Brezzi-Pitkäranta's stabilization method for the conforming linear elements, which leads to an efficient computation with a small number of degrees of freedom especially in three space dimensions. In this paper, Part II, we apply a semi-implicit time discretization which yields the linear scheme. We concentrate on the diffusive viscoelastic model, i.e. in the constitutive equation for time evolution of the conformation tensor a diffusive effect is included. Under mild stability conditions we obtain error estimates with the optimal convergence order for the velocity, pressure and conformation tensor in two and three space dimensions. The theoretical convergence orders are confirmed by numerical experiments.
△ Less
Submitted 1 February, 2017; v1 submitted 3 March, 2016;
originally announced March 2016.
-
Error estimates of stable and stabilized Lagrange-Galerkin schemes for natural convection problems
Authors:
Hirofumi Notsu,
Masahisa Tabata
Abstract:
Optimal error estimates of stable and stabilized Lagrange-Galerkin (LG) schemes for natural convection problems are proved under a mild condition on time increment and mesh size. The schemes maintain the common advantages of the LG method, i.e., robustness for convection-dominated problems and symmetry of the coefficient matrix of the system of linear equations. We simply consider typical two sets…
▽ More
Optimal error estimates of stable and stabilized Lagrange-Galerkin (LG) schemes for natural convection problems are proved under a mild condition on time increment and mesh size. The schemes maintain the common advantages of the LG method, i.e., robustness for convection-dominated problems and symmetry of the coefficient matrix of the system of linear equations. We simply consider typical two sets of finite elements for the velocity, pressure and temperature, P2/P1/P2 and P1/P1/P1, which are employed by the stable and stabilized LG schemes, respectively. The stabilized LG scheme has an additional advantage, a small number of degrees of freedom especially for three-dimensional problems. The proof of the optimal error estimates is done by extending the arguments of the proofs of error estimates of stable and stabilized LG schemes for the Navier-Stokes equations in previous literature.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
Error estimates of a stabilized Lagrange-Galerkin scheme for the Navier-Stokes equations
Authors:
Hirofumi Notsu,
Masahisa Tabata
Abstract:
Error estimates with optimal convergence orders are proved for a stabilized Lagrange-Galerkin scheme for the Navier-Stokes equations. The scheme is a combination of Lagrange-Galerkin method and Brezzi-Pitkaranta's stabilization method. It maintains the advantages of both methods; (i) It is robust for convection-dominated problems and the system of linear equations to be solved is symmetric. (ii) S…
▽ More
Error estimates with optimal convergence orders are proved for a stabilized Lagrange-Galerkin scheme for the Navier-Stokes equations. The scheme is a combination of Lagrange-Galerkin method and Brezzi-Pitkaranta's stabilization method. It maintains the advantages of both methods; (i) It is robust for convection-dominated problems and the system of linear equations to be solved is symmetric. (ii) Since the P1 finite element is employed for both velocity and pressure, the number of degrees of freedom is much smaller than that of other typical elements for the equations, e.g., P2/P1. Therefore, the scheme is efficient especially for three-dimensional problems. The theoretical convergence orders are recognized numerically by two- and three-dimensional computations.
△ Less
Submitted 25 May, 2015;
originally announced May 2015.
-
A local analysis of the axi-symmetric Navier-Stokes flow near a saddle point and no-slip flat boundary
Authors:
Pen-Yuan Hsu,
Hirofumi Notsu,
Tsuyoshi Yoneda
Abstract:
As one of the violent flow, tornadoes occur in many place of the world. In order to reduce human losses and material damage caused by tornadoes, there are many research methods. One of the effective methods is numerical simulations such as the work in a recent article Ishihara et al. (2011). The swirling structure is significant both in mathematical analysis and the numerical simulations of tornad…
▽ More
As one of the violent flow, tornadoes occur in many place of the world. In order to reduce human losses and material damage caused by tornadoes, there are many research methods. One of the effective methods is numerical simulations such as the work in a recent article Ishihara et al. (2011). The swirling structure is significant both in mathematical analysis and the numerical simulations of tornado. In this paper, we try to clarify the swirling structure. More precisely, we do numerical computations on axi-symmetric Navier-Stokes flows with no-slip flat boundary. We compare a hyperbolic flow with swirl and one without swirl and observe that the following phenomenons occur only in the swirl case:
The distance between the point providing the maximum velocity magnitude |v| and the z-axis is drastically changing around some time (which we call it turning point). An "increasing velocity phenomenon" occurs near the boundary and the maximum value of |v| is obtained near the axis of symmetry and the boundary when time is close to the turning point.
△ Less
Submitted 4 October, 2015; v1 submitted 13 May, 2015;
originally announced May 2015.
-
Exponential decay phenomenon of the principal eigenvalue of an elliptic operator with a large drift term of gradient type
Authors:
Shuichi Jimbo,
Masato Kimura,
Hirofumi Notsu
Abstract:
We study an asymptotic behaviour of the principal eigenvalue for an elliptic operator with large advection which is given by a gradient of a potential function. It is shown that the principal eigenvalue decays exponentially under the velocity potential well condition as the parameter tends to infinity.
We study an asymptotic behaviour of the principal eigenvalue for an elliptic operator with large advection which is given by a gradient of a potential function. It is shown that the principal eigenvalue decays exponentially under the velocity potential well condition as the parameter tends to infinity.
△ Less
Submitted 18 February, 2008; v1 submitted 8 February, 2008;
originally announced February 2008.