Source author record

Roland Glowinski

Roland Glowinski appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2022arXiv

An Operator-Splitting Method for the Gaussian Curvature Regularization Model with Applications to Surface Smoothing and Imaging

Gaussian curvature is an important geometric property of surfaces, which has been used broadly in mathematical modeling. Due to the full nonlinearity of the Gaussian curvature, efficient numerical methods for models based on it are uncommon in literature. In this article, we propose an operator-splitting method for a general Gaussian curvature model. In our method, we decouple the full nonlinearity of Gaussian curvature from differential operators by introducing two matrix- and vector-valued functions. The optimization problem is then converted into the search for the steady state solution of a time dependent PDE system. The above PDE system is well-suited to time discretization by operator splitting, the sub-problems encountered at each fractional step having either a closed form solution or being solvable by efficient algorithms. The proposed method is not sensitive to the choice of parameters, its efficiency and performances being demonstrated via systematic experiments on surface smoothing and image denoising.

preprint2022arXiv

Discrete Dynamical System Approaches for Boolean Polynomial Optimization

In this article, we discuss the numerical solution of Boolean polynomial programs by algorithms borrowing from numerical methods for differential equations, namely the Houbolt scheme, the Lie scheme, and a Runge-Kutta scheme. We first introduce a quartic penalty functional (of Ginzburg-Landau type) to approximate the Boolean program by a continuous one and prove some convergence results as the penalty parameter $\varepsilon$ converges to $0$. We prove also that, under reasonable assumptions, the distance between local minimizers of the penalized problem and the set $\{\pm1\}^n$ is of order $O(\sqrt{n}\varepsilon)$. Next, we introduce algorithms for the numerical solution of the penalized problem, these algorithms relying on the Houbolt, Lie and Runge-Kutta schemes, classical methods for the numerical solution of ordinary or partial differential equations. We performed numerical experiments to investigate the impact of various parameters on the convergence of the algorithms. We have tested our ODE approaches and compared with the classical nonlinear optimization solver IPOPT and a quadratic binary formulation approach (QB-G) as well as an exhaustive method using parallel computing techniques. The numerical results on various datasets (including small and large-scale randomly generated synthetic datasets of general Boolean polynomial optimization problems, and a large-scale heterogeneous MQLib benchmark dataset of Max-Cut and Quadratic Unconstrained Binary Optimization (QUBO) problems) show good performances for our ODE approaches. As a result, our ODE algorithms often converge faster than the other compared methods to better integer solutions of the Boolean program.

preprint2021arXiv

A Color Elastica Model for Vector-Valued Image Regularization

Models related to the Euler's elastica energy have proven to be useful for many applications including image processing. Extending elastica models to color images and multi-channel data is a challenging task, as stable and consistent numerical solvers for these geometric models often involve high order derivatives. Like the single channel Euler's elastica model and the total variation (TV) models, geometric measures that involve high order derivatives could help when considering image formation models that minimize elastic properties. In the past, the Polyakov action from high energy physics has been successfully applied to color image processing. Here, we introduce an addition to the Polyakov action for color images that minimizes the color manifold curvature. The color image curvature is computed by applying of the Laplace-Beltrami operator to the color image channels. When reduced to gray-scale images, while selecting appropriate scaling between space and color, the proposed model minimizes the Euler's elastica operating on the image level sets. Finding a minimizer for the proposed nonlinear geometric model is a challenge we address in this paper. Specifically, we present an operator-splitting method to minimize the proposed functional. The non-linearity is decoupled by introducing three vector-valued and matrix-valued variables. The problem is then converted into solving for the steady state of an associated initial-value problem. The initial-value problem is time-split into three fractional steps, such that each sub-problem has a closed form solution, or can be solved by fast algorithms. The efficiency and robustness of the proposed method are demonstrated by systematic numerical experiments.

preprint2021arXiv

Bilinear Optimal Control of an Advection-reaction-diffusion System

We consider the bilinear optimal control of an advection-reaction-diffusion system, where the control arises as the velocity field in the advection term. Such a problem is generally challenging from both theoretical analysis and algorithmic design perspectives mainly because the state variable depends nonlinearly on the control variable and an additional divergence-free constraint on the control is coupled together with the state equation. Mathematically, the proof of the existence of optimal solutions is delicate, and up to now, only some results are known for a few special cases where additional restrictions are imposed on the space dimension and the regularity of the control. We prove the existence of optimal controls and derive the first-order optimality conditions in general settings without any extra assumption. Computationally, the well-known conjugate gradient (CG) method can be applied conceptually. However, due to the additional divergence-free constraint on the control variable and the nonlinear relation between the state and control variables, it is challenging to compute the gradient and the optimal stepsize at each CG iteration, and thus nontrivial to implement the CG method. To address these issues, we advocate a fast inner preconditioned CG method to ensure the divergence-free constraint and an efficient inexactness strategy to determine an appropriate stepsize. An easily implementable nested CG method is thus proposed for solving such a complicated problem. For the numerical discretization, we combine finite difference methods for the time discretization and finite element methods for the space discretization. Efficiency of the proposed nested CG method is promisingly validated by the results of some preliminary numerical experiments.

preprint2021arXiv

Overlapping Domain Decomposition Methods for Ptychographic Imaging

In ptychography experiments, redundant scanning is usually required to guarantee the stable recovery, such that a huge amount of frames are generated, and thus it poses a great demand of parallel computing in order to solve this large-scale inverse problem. In this paper, we propose the overlapping Domain Decomposition Methods(DDMs) to solve the nonconvex optimization problem in ptychographic imaging. They decouple the problem defined on the whole domain into subproblems only defined on the subdomains with synchronizing information in the overlapping regions of these subdomains,thus leading to highly parallel algorithms with good load balance. More specifically, for the nonblind recovery (with known probe in advance), by enforcing the continuity of the overlapping regions for the image (sample), the nonlinear optimization model is established based on a novel smooth-truncated amplitude-Gaussian metric (ST-AGM). Such metric allows for fast calculation of the proximal mapping with closed form, and meanwhile provides the possibility for the convergence guarantee of the first-order nonconvex optimization algorithm due to its Lipschitz smoothness. Then the Alternating Direction Method of Multipliers (ADMM) is utilized to generate an efficient Overlapping Domain Decomposition based Ptychography algorithm(OD2P) for the two-subdomain domain decomposition (DD), where all subproblems can be computed with close-form solutions.Due to the Lipschitz continuity for the gradient of the objective function with ST-AGM, the convergence of the proposed OD2P is derived under mild conditions. Moreover, it is extended to more general case including multiple-subdomain DD and blind recovery. Numerical experiments are further conducted to show the performance of proposed algorithms, demonstrating good convergence speed and robustness to the noise.

preprint2020arXiv

On the Numerical Solution of Nonlinear Eigenvalue Problems for the Monge-Ampère Operator

In this article, we report the results we obtained when investigating the numerical solution of some nonlinear eigenvalue problems for the Monge-Ampère operator $v\rightarrow \det \mathbf{D}^2 v$. The methodology we employ relies on the following ingredients: (i) A divergence formulation of the eigenvalue problems under consideration. (ii) The time discretization by operator-splitting of an initial value problem (a kind of gradient flow) associated with each eigenvalue problem. (iii) A finite element approximation relying on spaces of continuous piecewise affine functions. To validate the above methodology, we applied it to the solution of problems with known exact solutions: The results we obtained suggest convergence to the exact solution when the space discretization step $h\rightarrow 0$. We considered also test problems with no known exact solutions.

preprint2018arXiv

A New Operator Splitting Method for Euler's Elastica Model

Euler's elastica model has a wide range of applications in Image Processing and Computer Vision. However, the non-convexity, the non-smoothness and the nonlinearity of the associated energy functional make its minimization a challenging task, further complicated by the presence of high order derivatives in the model. In this article we propose a new operator-splitting algorithm to minimize the Euler elastica functional. This algorithm is obtained by applying an operator-splitting based time discretization scheme to an initial value problem (dynamical flow) associated with the optimality system (a system of multivalued equations). The sub-problems associated with the three fractional steps of the splitting scheme have either closed form solutions or can be handled by fast dedicated solvers. Compared with earlier approaches relying on ADMM (Alternating Direction Method of Multipliers), the new method has, essentially, only the time discretization step as free parameter to choose, resulting in a very robust and stable algorithm. The simplicity of the sub-problems and its modularity make this algorithm quite efficient. Applications to the numerical solution of smoothing test problems demonstrate the efficiency and robustness of the proposed methodology.

preprint2016arXiv

A numerical study of the transition to oscillatory flow in 3D lid-driven cubic cavity flows

In this article, three dimensional (3D) lid-driven cubic cavity flows have been studied numerically for various values of Reynolds number ($Re$). The numerical solution of the Navier-Stokes equations modeling incompressible viscous fluid flow in a cubic cavity is obtained via a methodology combining a first order accurate operator-splitting, $L^2$-projection Stokes solver, a wave-like equation treatment of the advection and finite element methods. The numerical results obtained for Re$=$400, 1000, and 3200 show a good agreement with available numerical and experimental results in literature. Simulation results predict that the critical Re$_{cr}$ for the transition from steady flow to oscillatory (a Hopf bifurcation) is somewhere in [1870, 1875] for the mesh size $h=1/96$. Via studying the flow field distortion of fluid flow at Re before and after Re$_{cr}$, the occurrence of the first pair of Taylor-Görtler-like vortices is connected to the flow field distortion at the transition from steady flow to oscillatory flow in 3D lid-driven cubic cavity flows for Re $< 2000$.

preprint2016arXiv

Dynamics of particle sedimentation in viscoelastic fluids: A numerical study on particle chain in two-dimensional narrow channel

In this article we present a numerical method for simulating the sedimentation of circular particles in two-dimensional channel filled with a viscoelastic fluid of FENE-CR type, which is generalized from a domain/distributed Lagrange multiplier method with a factorization approach for Oldroyd-B fluids developed in [J. Non-Newtonian Fluid Mech. 156 (2009) 95]. Numerical results suggest that the polymer extension limit L for the FENE-CR fluid has no effect on the final formation of vertical chain for the cases of two disks and three disks in two-dimensional narrow channel, at least for the values of L considered in this article; but the intermediate dynamics of particle interaction before having a vertical chain can be different for the smaller values of L when increasing the relaxation time. For the cases of six particles sedimenting in FENE-CR type viscoelastic fluid, the formation of chain of 4 to 6 disks does depend on the polymer extension limit L. For the smaller values of L, FENE-CR type viscoelastic fluid can not bring them together like the case of these particles settling in a vertical chain formation in Oldroyd-B fluid; but two separated chains of three disks are formed. Similar results for the case of ten disks are also obtained. The numerical results of several more particle cases suggest that for smaller values of L, the length of the vertical chain is shorter and the size of cluster is smaller.

preprint2015arXiv

Option Pricing Accuracy for Estimated Heston Models

We consider assets for which price $X_t$ and squared volatility $Y_t$ are jointly driven by Heston joint stochastic differential equations (SDEs). When the parameters of these SDEs are estimated from $N$ sub-sampled data $(X_{nT}, Y_{nT})$, estimation errors do impact the classical option pricing PDEs. We estimate these option pricing errors by combining numerical evaluation of estimation errors for Heston SDEs parameters with the computation of option price partial derivatives with respect to these SDEs parameters. This is achieved by solving six parabolic PDEs with adequate boundary conditions. To implement this approach, we also develop an estimator $\hat λ$ for the market price of volatility risk, and we study the sensitivity of option pricing to estimation errors affecting $\hat λ$. We illustrate this approach by fitting Heston SDEs to 252 daily joint observations of the S\&P 500 index and of its approximate volatility VIX, and by numerical applications to European options written on the S\&P 500 index.

preprint2014arXiv

The dynamics of inextensible capsules in shear flow under the effect of the nature state

The effect of the nature state on the motion of an inextensible capsule in simple shear flow has been studied in this paper. Besides the viscosity ratio of the internal fluid and external fluid of the capsule, the nature state effect also plays a role for having the transition between two well known motions, tumbling and tank-treading (TT) with the long axis oscillating about a fixed inclination angle (a swinging mode), when varying the shear rate. The intermittent region between tumbling and TT with a swinging mode of the capsule with a biconcave rest shape has been obtained in a narrow range of the capillary number. In such region, the dynamics of the capsule is a mixture of tumbling and TT with a swinging mode; when having the tumbling motion, the membrane tank-tread backward and forward within a small range. As the capillary number is very close to and below the threshold for the pure TT with a swinging mode, the capsule tumbles once after several TT periods in each cycle. The number of TT periods in one cycle decreases with respect to the decreasing of the capillary number, until the capsule has one tumble and one TT period alternatively and such alternating motion exists over a range of the capillary number; and then the capsule performs more tumbling between two consecutive TT periods when reducing the capillary number further, and finally shows pure tumbling. The critical value of the swelling ratio for having the intermittent region has been estimated.

preprint2013arXiv

A Modular, Operator Splitting Scheme for Fluid-Structure Interaction Problems with Thick Structures

We present an operator-splitting scheme for fluid-structure interaction (FSI) problems in hemodynamics, where the thickness of the structural wall is comparable to the radius of the cylindrical fluid domain. The equations of linear elasticity are used to model the structure, while the Navier-Stokes equations for an incompressible viscous fluid are used to model the fluid. The operator splitting scheme, based on Lie splitting, separates the elastodynamics structure problem, from a fluid problem in which structure inertia is included to achieve unconditional stability. We prove energy estimates associated with unconditional stability of this modular scheme for the full nonlinear FSI problem defined on a moving domain, without requiring any sub-iterations within time steps. Two numerical examples are presented, showing excellent agreement with the results of monolithic schemes. First-order convergence in time is shown numerically. Modularity, unconditional stability without temporal sub-iterations, and simple implementation are the features that make this operator-splitting scheme particularly appealing for multi-physics problems involving fluid-structure interaction.

preprint2013arXiv

An oscillating motion of a red blood cell and a neutrally buoyant particle in Poiseuille flow in a narrow channel

Two motions of oscillation and vacillating breathing (swing) of a red blood cell have been observed in bounded Poiseuille flows (Phys. Rev. E 85, 16307 (2012)). To understand such motions, we have studied the oscillating motion of a neutrally buoyant rigid particle of the same shape in Poiseuille flow in a narrow channel and obtained that the crucial point is to have the particle interacting with Poiseuille flow with its mass center moving up and down in the channel central region. Since the mass center of the cell migrates toward the channel central region, its oscillating motion of the inclination angle is similar to the aforementioned motion as long as the cell keeps the shape of long body. But as the up-and-down oscillation of the cell mass center damps out, the oscillating motion of the inclination angle also damps out and the cell inclination angle approaches to a fixed angle.

preprint2013arXiv

Circular band formation for incompressible viscous fluid--rigid particle mixtures in a rotating cylinder

In this paper we have investigated a circular band formation of fluid-rigid particle mixtures in a fully filled cylinder horizontally rotating about its cylinder axis by direct numerical simulation. These phenomena are modeled by the Navier-Stokes equations coupled to the Euler-Newton equations describing the rigid solid motion of the non-neutrally particles. The formation of circular bands studied in this paper is not resulted by mutual interaction between the particles and the periodic inertial waves in the cylinder axis direction (as suggested in Phys. Rev. E, 72, 021407 (2005)), but due to the interaction of particles. When a circular band is forming, the part of the band formed by the particles moving downward becomes more compact due to the particle interaction strengthened by the downward acceleration from the gravity. The part of a band formed by the particles moving upward is always loosening up due to the slow down of the particle motion by the counter effect of the gravity. To form a compact circular band (not a loosely one), enough particles are needed to interact among themselves continuously through the entire circular band at a rotating rate so that the upward diffusion of particles can be balanced by the compactness process when these particles moving downward.

preprint2012arXiv

Fluid-structure interaction in blood flow capturing non-zero longitudinal structure displacement

We present a new model and a novel loosely coupled partitioned numerical scheme modeling fluid-structure interaction (FSI) in blood flow allowing non-zero longitudinal displacement. Arterial walls are modeled by a {linearly viscoelastic, cylindrical Koiter shell model capturing both radial and longitudinal displacement}. Fluid flow is modeled by the Navier-Stokes equations for an incompressible, viscous fluid. The two are fully coupled via kinematic and dynamic coupling conditions. Our numerical scheme is based on a new modified Lie operator splitting that decouples the fluid and structure sub-problems in a way that leads to a loosely coupled scheme which is {unconditionally} stable. This was achieved by a clever use of the kinematic coupling condition at the fluid and structure sub-problems, leading to an implicit coupling between the fluid and structure velocities. The proposed scheme is a modification of the recently introduced "kinematically coupled scheme" for which the newly proposed modified Lie splitting significantly increases the accuracy. The performance and accuracy of the scheme were studied on a couple of instructive examples including a comparison with a monolithic scheme. It was shown that the accuracy of our scheme was comparable to that of the monolithic scheme, while our scheme retains all the main advantages of partitioned schemes, such as modularity, simple implementation, and low computational costs.