Showing 1–50 of 70 results for author: Fu, G

Efficient Computation of Mean field Control based Barycenters from Reaction-Diffusion Systems

Authors: Arjun Vijaywargiya, Guosheng Fu, Stanley Osher, Wuchen Li

Abstract: We develop a class of barycenter problems based on mean field control problems in three dimensions with associated reactive-diffusion systems of unnormalized multi-species densities. This problem is the generalization of the Wasserstein barycenter problem for single probability density functions. The primary objective is to present a comprehensive framework for efficiently computing the proposed v… ▽ More We develop a class of barycenter problems based on mean field control problems in three dimensions with associated reactive-diffusion systems of unnormalized multi-species densities. This problem is the generalization of the Wasserstein barycenter problem for single probability density functions. The primary objective is to present a comprehensive framework for efficiently computing the proposed variational problem: generalized Benamou-Brenier formulas with multiple input density vectors as boundary conditions. Our approach involves the utilization of high-order finite element discretizations of the spacetime domain to achieve improved accuracy. The discrete optimization problem is then solved using the primal-dual hybrid gradient (PDHG) algorithm, a first-order optimization method for effectively addressing a wide range of constrained optimization problems. The efficacy and robustness of our proposed framework are illustrated through several numerical examples in three dimensions, such as the computation of the barycenter of multi-density systems consisting of Gaussian distributions and reactive-diffusive multi-density systems involving 3D voxel densities. Additional examples highlighting computations on 2D embedded surfaces are also provided. △ Less

Submitted 1 April, 2024; originally announced April 2024.

A Mean-Field Game of Market Entry: Portfolio Liquidation with Trading Constraints

Authors: Guanxing Fu, Paul P. Hager, Ulrich Horst

Abstract: We consider both $N$-player and mean-field games of optimal portfolio liquidation in which the players are not allowed to change the direction of trading. Players with an initially short position of stocks are only allowed to buy while players with an initially long position are only allowed to sell the stock. Under suitable conditions on the model parameters we show that the games are equivalent… ▽ More We consider both $N$-player and mean-field games of optimal portfolio liquidation in which the players are not allowed to change the direction of trading. Players with an initially short position of stocks are only allowed to buy while players with an initially long position are only allowed to sell the stock. Under suitable conditions on the model parameters we show that the games are equivalent to games of timing where the players need to determine the optimal times of market entry and exit. We identify the equilibrium entry and exit times and prove that equilibrium mean-trading rates can be characterized in terms of the solutions to a highly non-linear higher-order integral equation with endogenous terminal condition. We prove the existence of a unique solution to the integral equation from which we obtain the existence of a unique equilibrium both in the mean-field and the $N$-player game. △ Less

Submitted 15 March, 2024; originally announced March 2024.

MSC Class: 93E20; 91B70; 60H30

Mean field control of droplet dynamics with high order finite element computations

Authors: Guosheng Fu, Hangjie Ji, Will Pazner, Wuchen Li

Abstract: Liquid droplet dynamics are widely used in biological and engineering applications, which contain complex interfacial instabilities and pattern formulation such as droplet merging, splitting, and transport. This paper studies a class of mean field control formulation towards these droplet dynamics. They are used to control and maintain the manipulation of droplets in applications. We first formula… ▽ More Liquid droplet dynamics are widely used in biological and engineering applications, which contain complex interfacial instabilities and pattern formulation such as droplet merging, splitting, and transport. This paper studies a class of mean field control formulation towards these droplet dynamics. They are used to control and maintain the manipulation of droplets in applications. We first formulate the droplet dynamics as gradient flows of free energies in modified optimal transport metrics with nonlinear mobilities. We then design an optimal control problem for these gradient flows. We lastly apply the primal-dual hybrid gradient algorithm with high-order finite element methods to simulate the proposed mean field control problems. Numerical examples, including droplet formation, bead-up/spreading, transport, and merging/splitting on a two-dimensional spatial domain, demonstrate the effectiveness of the proposed mean field control mechanism. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 26 pages, 13 figures

Learning from Aggregate responses: Instance Level versus Bag Level Loss Functions

Authors: Adel Javanmard, Lin Chen, Vahab Mirrokni, Ashwinkumar Badanidiyuru, Gang Fu

Abstract: Due to the rise of privacy concerns, in many practical applications the training data is aggregated before being shared with the learner, in order to protect privacy of users' sensitive responses. In an aggregate learning framework, the dataset is grouped into bags of samples, where each bag is available only with an aggregate response, providing a summary of individuals' responses in that bag. In… ▽ More Due to the rise of privacy concerns, in many practical applications the training data is aggregated before being shared with the learner, in order to protect privacy of users' sensitive responses. In an aggregate learning framework, the dataset is grouped into bags of samples, where each bag is available only with an aggregate response, providing a summary of individuals' responses in that bag. In this paper, we study two natural loss functions for learning from aggregate responses: bag-level loss and the instance-level loss. In the former, the model is learnt by minimizing a loss between aggregate responses and aggregate model predictions, while in the latter the model aims to fit individual predictions to the aggregate responses. In this work, we show that the instance-level loss can be perceived as a regularized form of the bag-level loss. This observation lets us compare the two approaches with respect to bias and variance of the resulting estimators, and introduce a novel interpolating estimator which combines the two approaches. For linear regression tasks, we provide a precise characterization of the risk of the interpolating estimator in an asymptotic regime where the size of the training set grows in proportion to the features dimension. Our analysis allows us to theoretically understand the effect of different factors, such as bag size on the model prediction risk. In addition, we propose a mechanism for differentially private learning from aggregate responses and derive the optimal bag size in terms of prediction risk-privacy trade-off. We also carry out thorough experiments to corroborate our theory and show the efficacy of the interpolating estimator. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: To appear in the Twelfth International Conference on Learning Representations (ICLR 2024)

Generalized optimal transport and mean field control problems for reaction-diffusion systems with high-order finite element computation

Authors: Guosheng Fu, Stanley Osher, Will Pazner, Wuchen Li

Abstract: We design and compute a class of optimal control problems for reaction-diffusion systems. They form mean field control problems related to multi-density reaction-diffusion systems. To solve proposed optimal control problems numerically, we first apply high-order finite element methods to discretize the space-time domain and then solve the optimal control problem using augmented Lagrangian methods… ▽ More We design and compute a class of optimal control problems for reaction-diffusion systems. They form mean field control problems related to multi-density reaction-diffusion systems. To solve proposed optimal control problems numerically, we first apply high-order finite element methods to discretize the space-time domain and then solve the optimal control problem using augmented Lagrangian methods (ALG2). Numerical examples, including generalized optimal transport and mean field control problems between Gaussian distributions and image densities, demonstrate the effectiveness of the proposed modeling and computational methods for mean field control problems involving reaction-diffusion equations/systems. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 40 pages, 12 figures

Two Finite Element Approaches For The Porous Medium Equation That Are Positivity Preserving And Energy Stable

Authors: Arjun Vijaywargiya, Guosheng Fu

Abstract: In this work, we present the construction of two distinct finite element approaches to solve the Porous Medium Equation (PME). In the first approach, we transform the PME to a log-density variable formulation and construct a continuous Galerkin method. In the second approach, we introduce additional potential and velocity variables to rewrite the PME into a system of equations, for which we constr… ▽ More In this work, we present the construction of two distinct finite element approaches to solve the Porous Medium Equation (PME). In the first approach, we transform the PME to a log-density variable formulation and construct a continuous Galerkin method. In the second approach, we introduce additional potential and velocity variables to rewrite the PME into a system of equations, for which we construct a mixed finite element method. Both approaches are first-order accurate, mass conserving, and proved to be unconditionally energy stable for their respective energies. The mixed approach is shown to preserve positivity under a CFL condition, while a much stronger property of unconditional bound preservation is proved for the log-density approach. A novel feature of our schemes is that they can handle compactly supported initial data without the need for any perturbation techniques. Furthermore, the log-density method can handle unstructured grids in any number of dimensions, while the mixed method can handle unstructured grids in two dimensions. We present results from several numerical experiments to demonstrate these properties. △ Less

Submitted 24 March, 2023; originally announced March 2023.

Comments: 17 pages, 6 figures

High order spatial discretization for variational time implicit schemes: Wasserstein gradient flows and reaction-diffusion systems

Authors: Guosheng Fu, Stanley Osher, Wuchen Li

Abstract: We design and compute first-order implicit-in-time variational schemes with high-order spatial discretization for initial value gradient flows in generalized optimal transport metric spaces. We first review some examples of gradient flows in generalized optimal transport spaces from the Onsager principle. We then use a one-step time relaxation optimization problem for time-implicit schemes, namely… ▽ More We design and compute first-order implicit-in-time variational schemes with high-order spatial discretization for initial value gradient flows in generalized optimal transport metric spaces. We first review some examples of gradient flows in generalized optimal transport spaces from the Onsager principle. We then use a one-step time relaxation optimization problem for time-implicit schemes, namely generalized Jordan-Kinderlehrer-Otto schemes. Their minimizing systems satisfy implicit-in-time schemes for initial value gradient flows with first-order time accuracy. We adopt the first-order optimization scheme ALG2 (Augmented Lagrangian method) and high-order finite element methods in spatial discretization to compute the one-step optimization problem. This allows us to derive the implicit-in-time update of initial value gradient flows iteratively. We remark that the iteration in ALG2 has a simple-to-implement point-wise update based on optimal transport and Onsager's activation functions. The proposed method is unconditionally stable for convex cases. Numerical examples are presented to demonstrate the effectiveness of the methods in two-dimensional PDEs, including Wasserstein gradient flows, Fisher--Kolmogorov-Petrovskii-Piskunov equation, and two and four species reversible reaction-diffusion systems. △ Less

Submitted 15 March, 2023; originally announced March 2023.

$hp$-Multigrid preconditioner for a divergence-conforming HDG scheme for the incompressible flow problems

Authors: Guosheng Fu, Wenzheng Kuang

Abstract: In this study, we present an $hp$-multigrid preconditioner for a divergence-conforming HDG scheme for the generalized Stokes and the Navier-Stokes equations using an augmented Lagrangian formulation. Our method relies on conforming simplicial meshes in two- and three-dimensions. The $hp$-multigrid algorithm is a multiplicative auxiliary space preconditioner that employs the lowest-order space as t… ▽ More In this study, we present an $hp$-multigrid preconditioner for a divergence-conforming HDG scheme for the generalized Stokes and the Navier-Stokes equations using an augmented Lagrangian formulation. Our method relies on conforming simplicial meshes in two- and three-dimensions. The $hp$-multigrid algorithm is a multiplicative auxiliary space preconditioner that employs the lowest-order space as the auxiliary space, and we developed a geometric multigrid method as the auxiliary space solver. For the generalized Stokes problem, the crucial ingredient of the geometric multigrid method is the equivalence between the condensed lowest-order divergence-conforming HDG scheme and a Crouzeix-Raviart discretization with a pressure-robust treatment as introduced in Linke and Merdon (Comput. Methods Appl. Mech. Engrg., 311 (2016)), which allows for the direct application of geometric multigrid theory on the Crouzeix-Raviart discretization. The numerical experiments demonstrate the robustness of the proposed $hp$-multigrid preconditioner with respect to mesh size and augmented Lagrangian parameter, with iteration counts insensitivity to polynomial order increase. Inspired by the works by Benzi & Olshanskii (SIAM J. Sci. Comput., 28(6) (2006)) and Farrell et al. (SIAM J. Sci. Comput., 41(5) (2019)), we further test the proposed preconditioner on the divergence-conforming HDG scheme for the Navier-Stokes equations. Numerical experiments show a mild increase in the iteration counts of the preconditioned GMRes solver with the rise in Reynolds number up to $10^3$. △ Less

Submitted 12 March, 2023; originally announced March 2023.

Comments: 31 pages

MSC Class: 65N30; 65N12; 65N55; 76D07

Mean-Field Liquidation Games with Market Drop-out

Authors: Guanxing Fu, Paul P. Hager, Ulrich Horst

Abstract: We consider a novel class of portfolio liquidation games with market drop-out ("absorption"). More precisely, we consider mean-field and finite player liquidation games where a player drops out of the market when her position hits zero. In particular round-trips are not admissible. This can be viewed as a no statistical arbitrage condition. In a model with only sellers we prove that the absorption… ▽ More We consider a novel class of portfolio liquidation games with market drop-out ("absorption"). More precisely, we consider mean-field and finite player liquidation games where a player drops out of the market when her position hits zero. In particular round-trips are not admissible. This can be viewed as a no statistical arbitrage condition. In a model with only sellers we prove that the absorption condition is equivalent to a short selling constraint. We prove that equilibria (both in the mean-field and the finite player game) are given as solutions to a non-linear higher-order integral equation with endogenous terminal condition. We prove the existence of a unique solution to the integral equation from which we obtain the existence of a unique equilibrium in the MFG and the existence of a unique equilibrium in the $N$-player game. We establish the convergence of the equilibria in the finite player games to the obtained mean-field equilibrium and illustrate the impact of the drop-out constraint on equilibrium trading rates. △ Less

Submitted 7 September, 2023; v1 submitted 10 March, 2023; originally announced March 2023.

MSC Class: 93E20; 91B70; 60H30

High-order variational Lagrangian schemes for compressible fluids

Authors: Guosheng Fu, Chun Liu

Abstract: We present high-order variational Lagrangian finite element methods for compressible fluids using a discrete energetic variational approach. Our spatial discretization is mass/momentum/energy conserving and entropy stable. Fully implicit time step** is used for the temporal discretization, which allows for a much larger time step size for stability compared to explicit methods, especially for lo… ▽ More We present high-order variational Lagrangian finite element methods for compressible fluids using a discrete energetic variational approach. Our spatial discretization is mass/momentum/energy conserving and entropy stable. Fully implicit time step** is used for the temporal discretization, which allows for a much larger time step size for stability compared to explicit methods, especially for low-Mach number flows and/or on highly distorted meshes. Ample numerical results are presented to showcase the good performance of our proposed scheme. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Comments: 24 pages

Approximately Optimal Core Shapes for Tensor Decompositions

Authors: Mehrdad Ghadiri, Matthew Fahrbach, Gang Fu, Vahab Mirrokni

Abstract: This work studies the combinatorial optimization problem of finding an optimal core tensor shape, also called multilinear rank, for a size-constrained Tucker decomposition. We give an algorithm with provable approximation guarantees for its reconstruction error via connections to higher-order singular values. Specifically, we introduce a novel Tucker packing problem, which we prove is NP-hard, and… ▽ More This work studies the combinatorial optimization problem of finding an optimal core tensor shape, also called multilinear rank, for a size-constrained Tucker decomposition. We give an algorithm with provable approximation guarantees for its reconstruction error via connections to higher-order singular values. Specifically, we introduce a novel Tucker packing problem, which we prove is NP-hard, and give a polynomial-time approximation scheme based on a reduction to the 2-dimensional knapsack problem with a matroid constraint. We also generalize our techniques to tree tensor network decompositions. We implement our algorithm using an integer programming solver, and show that its solution quality is competitive with (and sometimes better than) the greedy algorithm that uses the true Tucker decomposition loss at each step, while also running up to 1000x faster. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Comments: 18 pages, 4 figures

Journal ref: Proceedings of the 40th International Conference on Machine Learning (ICML 2023) 11237-11254

High order computation of optimal transport, mean field planning, and mean field games

Authors: Guosheng Fu, Siting Liu, Stanley Osher, Wuchen Li

Abstract: Mean-field games (MFGs) have shown strong modeling capabilities for large systems in various fields, driving growth in computational methods for mean-field game problems. However, high order methods have not been thoroughly investigated. In this work, we explore applying general high-order numerical schemes with finite element methods in the space-time domain for computing the optimal transport (O… ▽ More Mean-field games (MFGs) have shown strong modeling capabilities for large systems in various fields, driving growth in computational methods for mean-field game problems. However, high order methods have not been thoroughly investigated. In this work, we explore applying general high-order numerical schemes with finite element methods in the space-time domain for computing the optimal transport (OT), mean-field planning (MFP), and MFG problems. We conduct several experiments to validate the convergence rate of the high order method numerically. Those numerical experiments also demonstrate the efficiency and effectiveness of our approach. △ Less

Submitted 5 February, 2023; originally announced February 2023.

MSC Class: 65M60

The Weyl tube theorem for Kähler manifolds

Authors: Andreas Bernig, Joseph H. G. Fu, Gil Solanes, Thomas Wannerer

Abstract: As sharpened in terms of Alesker's theory of valuations on manifolds, a classic theorem of Weyl asserts that the coefficients of the tube polynomial of an isometrically embedded riemannian manifold $M \hookrightarrow \mathbb R^n$ constitute a canonical finite dimensional subalgebra $\mathcal {L K}(M)$ of the algebra $\mathcal{V} (M)$ of all smooth valuations on $M$, isomorphic to the algebra of va… ▽ More As sharpened in terms of Alesker's theory of valuations on manifolds, a classic theorem of Weyl asserts that the coefficients of the tube polynomial of an isometrically embedded riemannian manifold $M \hookrightarrow \mathbb R^n$ constitute a canonical finite dimensional subalgebra $\mathcal {L K}(M)$ of the algebra $\mathcal{V} (M)$ of all smooth valuations on $M$, isomorphic to the algebra of valuations on Euclidean space that are invariant under rigid motions. We construct an analogous, larger, canonical subalgebra $\mathcal{KLK}(M)\subset \mathcal{V}(M)$ for Kähler manifolds $M$: i) if $\dim M = n $, then $\mathcal{KLK}(M)\simeq \mathrm{Val}^{\mathrm{U}(n)}$, the algebra of valuations on $\mathbb{C}^n$ invariant under the holomorphic isometry group, and ii) if $M\hookrightarrow \tilde M$ is a Kähler embedding, then the restriction map $\mathcal{V}(\tilde M) \to \mathcal{V}(M)$ induces a surjection $\mathcal{KLK}(\tilde M)\to \mathcal{KLK}(M)$. This answers a question posed by Alesker in 2010 and gives a structural explanation for some previously known, but mysterious phenomena in hermitian integral geometry. △ Less

Submitted 13 October, 2022; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: 61 pages; minor changes

MSC Class: 32Q15; 53A07; 53A55; 53C65

A hybridizable discontinuous Galerkin method on unfitted meshes for single-phase Darcy flow in fractured porous media

Authors: Guosheng Fu, Yang Yang

Abstract: We present a novel hybridizable discontinuous Galerkin (HDG) method on unfitted meshes for single-phase Darcy flow in a fractured porous media. In particular we apply the HDG methodology to the recently introduced reinterpreted discrete fracture model (RDFM) [Xu & Yang, 2021 submitted] that use Dirac-$δ$ functions to model both conductive and blocking fractures. Due to the use of Dirac-$δ$ functio… ▽ More We present a novel hybridizable discontinuous Galerkin (HDG) method on unfitted meshes for single-phase Darcy flow in a fractured porous media. In particular we apply the HDG methodology to the recently introduced reinterpreted discrete fracture model (RDFM) [Xu & Yang, 2021 submitted] that use Dirac-$δ$ functions to model both conductive and blocking fractures. Due to the use of Dirac-$δ$ function approach for the fractures, our numerical scheme naturally allows for unfitted meshes with respect to the fractures, which is the major novelty of the proposed scheme. Moreover, the scheme is locally mass conservative and is relatively easy to implement comparing with existing work on the subject. In particular, our scheme is a simple modification of an existing regular Darcy flow HDG solver by adding the following two components: (i) locate the co-dimension one fractures in the background mesh and adding the appropriate surface integrals associated with these fractures into the stiffness matrix, (ii) adjust the penalty parameters on cells cut through conductive and blocking fractures (fractured cells). Despite the simplicity of the proposed scheme, it performs extremely well for various benchmark test cases in both two- and three-dimensions. This is the first time that a truly unfitted finite element scheme been applied to complex fractured porous media flow problems in 3D with both blocking and conductive fractures without any restrictions on the meshes. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Optimal geometric multigrid preconditioners for HDG-P0 schemes for the reaction-diffusion equation and the generalized Stokes equations

Authors: Guosheng Fu, Wenzheng Kuang

Abstract: We present the lowest-order hybridizable discontinuous Galerkin schemes with numerical integration (quadrature), denoted as HDG-P0, for the reaction-diffusion equation and the generalized Stokes equations on conforming simplicial meshes in two- and three-dimensions. Here by lowest order, we mean that the (hybrid) finite element space for the global HDG facet degrees of freedom (DOFs) is the space… ▽ More We present the lowest-order hybridizable discontinuous Galerkin schemes with numerical integration (quadrature), denoted as HDG-P0, for the reaction-diffusion equation and the generalized Stokes equations on conforming simplicial meshes in two- and three-dimensions. Here by lowest order, we mean that the (hybrid) finite element space for the global HDG facet degrees of freedom (DOFs) is the space of piecewise constants on the mesh skeleton. A discontinuous piecewise linear space is used for the approximation of the local primal unknowns. We give the optimal a priori error analysis of the proposed {\sf HDG-P0} schemes, which hasn't appeared in the literature yet for HDG discretizations as far as numerical integration is concerned. Moreover, we propose optimal geometric multigrid preconditioners for the statically condensed HDG-P0 linear systems on conforming simplicial meshes. In both cases, we first establish the equivalence of the statically condensed HDG system with a (slightly modified) nonconforming Crouzeix-Raviart (CR) discretization, where the global (piecewise-constant) HDG finite element space on the mesh skeleton has a natural one-to-one correspondence to the nonconforming CR (piecewise-linear) finite element space that live on the whole mesh. This equivalence then allows us to use the well-established nonconforming geometry multigrid theory to precondition the condensed HDG system. Numerical results in two- and three-dimensions are presented to verify our theoretical findings. △ Less

Submitted 1 January, 2023; v1 submitted 30 August, 2022; originally announced August 2022.

Comments: 35 pages

MSC Class: 65N30; 65N12; 76S05; 76D07

A Mean-Field Control Problem of Optimal Portfolio Liquidation with Semimartingale Strategies

Authors: Guanxing Fu, Ulrich Horst, Xiaonyu Xia

Abstract: We consider a mean-field control problem with càdlàg semimartingale strategies arising in portfolio liquidation models with transient market impact and self-exciting order flow. We show that the value function depends on the state process only through its law, and that it is of linear-quadratic form and that its coefficients satisfy a coupled system of non-standard Riccati-type equations. The Ricc… ▽ More We consider a mean-field control problem with càdlàg semimartingale strategies arising in portfolio liquidation models with transient market impact and self-exciting order flow. We show that the value function depends on the state process only through its law, and that it is of linear-quadratic form and that its coefficients satisfy a coupled system of non-standard Riccati-type equations. The Riccati equations are obtained heuristically by passing to the continuous-time limit from a sequence of discrete-time models. A sophisticated transformation shows that the system can be brought into standard Riccati form from which we deduce the existence of a global solution. Our analysis shows that the optimal strategy jumps only at the beginning and the end of the trading period. △ Less

Submitted 26 September, 2023; v1 submitted 1 July, 2022; originally announced July 2022.

Comments: 34 pages

MSC Class: 93E20; 91B70; 60H30

A high-order velocity-based discontinuous Galerkin scheme for the shallow water equations: local conservation, entropy stability, well-balanced property, and positivity preservation

Authors: Guosheng Fu

Abstract: We present a novel class of locally conservative, entropy stable and well-balanced discontinuous Galerkin (DG) methods for the nonlinear shallow water equation with a non-flat bottom topography. The major novelty of our work is the use of velocity field as an independent solution unknown in the DG scheme, which is closely related to the entropy variable approach to entropy stable schemes for sys… ▽ More We present a novel class of locally conservative, entropy stable and well-balanced discontinuous Galerkin (DG) methods for the nonlinear shallow water equation with a non-flat bottom topography. The major novelty of our work is the use of velocity field as an independent solution unknown in the DG scheme, which is closely related to the entropy variable approach to entropy stable schemes for system of conservation laws proposed by Tadmor [22] back in 1986, where recall that velocity is part of the entropy variable for the shallow water equations. Due to the use of velocity as an independent solution unknown, no specific numerical quadrature rules are needed to achieve entropy stability of our scheme on general unstructured meshes in two dimensions. The proposed DG semi-discretization is then carefully combined with the classical explicit strong stability preserving Runge-Kutta (SSP-RK) time integrators [13] to yield a locally conservative, well-balanced, and positivity preserving fully discrete scheme. Here the positivity preservation property is enforced with the help of a simple scaling limiter. In the fully discrete scheme, we re-introduce discharge as an auxiliary unknown variable. In doing so, standard slope limiting procedures can be applied on the conservative variables (water height and discharge) without violating the local conservation property. Here we apply a characteristic-wise TVB limiter [5] on the conservative variables using the Fu-Shu troubled cell indicator [10] in each inner stage of the Runge-Kutta time step** to suppress numerical oscillations. △ Less

Submitted 31 January, 2022; originally announced January 2022.

Comments: 25 pages, 8 figures

A hybrid-mixed finite element method for single-phase Darcy flow in fractured porous media

Authors: Guosheng Fu, Yang Yang

Abstract: We present a hybrid-mixed finite element method for a novel hybrid-dimensional model of single-phase Darcy flow in a fractured porous media. In this model, the fracture is treated as an $(d-1)$-dimensional interface within the $d$-dimensional fractured porous domain, for $d=2, 3$. Two classes of fracture are distinguished based on the permeability magnitude ratio between the fracture and its sur… ▽ More We present a hybrid-mixed finite element method for a novel hybrid-dimensional model of single-phase Darcy flow in a fractured porous media. In this model, the fracture is treated as an $(d-1)$-dimensional interface within the $d$-dimensional fractured porous domain, for $d=2, 3$. Two classes of fracture are distinguished based on the permeability magnitude ratio between the fracture and its surrounding medium: when the permeability in the fracture is (significantly) larger than in its surrounding medium, it is considered as a {\it conductive} fracture; when the permeability in the fracture is (significantly) smaller than in its surrounding medium, it is considered as a {\it blocking} fracture. The conductive fractures are treated using the classical hybrid-dimensional approach of the interface model where pressure is assumed to be continuous across the fracture interfaces, while the blocking fractures are treated using the recent Dirac-$δ$ function approach where normal component of Darcy velocity is assumed to be continuous across the interface. Due to the use of Dirac-$δ$ function approach for the blocking fractures, our numerical scheme allows for nonconforming meshes with respect to the blocking fractures. This is the major novelty of our model and numerical discretization. Moreover, our numerical scheme produces locally conservative velocity approximations and leads to a symmetric positive definite linear system involving pressure degrees of freedom on the mesh skeleton only. The performance of the proposed method is demonstrated by various benchmark test cases in both two- and three-dimensions. Numerical results indicate that the proposed scheme is highly competitive with existing methods in the literature. △ Less

Submitted 12 November, 2021; originally announced November 2021.

High-order space-time finite element methods for the Poisson-Nernst-Planck equations: Positivity and unconditional energy stability

Authors: Guosheng Fu, Zhiliang Xu

Abstract: We present a novel class of high-order space-time finite element schemes for the Poisson-Nernst-Planck (PNP) equations. We prove that our schemes are mass conservative, positivity preserving, and unconditionally energy stable for any order of approximation. To the best of our knowledge, this is the first class of (arbitrarily) high-order accurate schemes for the PNP equations that simultaneously a… ▽ More We present a novel class of high-order space-time finite element schemes for the Poisson-Nernst-Planck (PNP) equations. We prove that our schemes are mass conservative, positivity preserving, and unconditionally energy stable for any order of approximation. To the best of our knowledge, this is the first class of (arbitrarily) high-order accurate schemes for the PNP equations that simultaneously achieve all these three properties. This is accomplished via (1) using finite elements to directly approximate the so-called entropy variable instead of the density variable, and (2) using a discontinuous Galerkin (DG) discretization in time. The entropy variable formulation, which was originally developed by Metti et al. [17] under the name of a log-density formulation, guarantees both positivity of densities and a continuous-in-time energy stability result. The DG in time discretization further ensures an unconditional energy stability in the fully discrete level for any approximation order, where the lowest order case is exactly the backward Euler discretization and in this case we recover the method of Metti et al. [17]. △ Less

Submitted 3 May, 2021; originally announced May 2021.

Comments: 15 pages

Uniform block-diagonal preconditioners for divergence-conforming HDG Methods for the generalized Stokes equations and the linear elasticity equations

Authors: Guosheng Fu, Wenzheng Kuang

Abstract: We propose a uniform block-diagonal preconditioner for condensed $H$(div)-conforming HDG schemes for parameter-dependent saddle point problems, including the generalized Stokes equations and the linear elasticity equations. An optimal preconditioner is obtained for the stiffness matrix on the global velocity/displacement space via the auxiliary space preconditioning (ASP) technique \cite{Xu96}. A… ▽ More We propose a uniform block-diagonal preconditioner for condensed $H$(div)-conforming HDG schemes for parameter-dependent saddle point problems, including the generalized Stokes equations and the linear elasticity equations. An optimal preconditioner is obtained for the stiffness matrix on the global velocity/displacement space via the auxiliary space preconditioning (ASP) technique \cite{Xu96}. A spectrally equivalent approximation to the Schur complement on the element-wise constant pressure space is also constructed, and an explicit computable exact inverse is obtained via the Woodbury matrix identity. Finally, the numerical results verify the robustness of our proposed preconditioner with respect to model parameters and mesh size. △ Less

Submitted 21 April, 2022; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: 20 pages

MSC Class: 65N30; 65N12; 76S05; 76D07

Arbitrary Lagrangian-Eulerian hybridizable discontinuous Galerkin methods for fluid-structure interaction

Authors: Guosheng Fu

Abstract: We present a novel (high-order) hybridizable discontinuous Galerkin (HDG) scheme for the fluid-structure interaction (FSI) problem. The (moving domain) incompressible Navier-Stokes equations are discretized using a divergence-free HDG scheme within the arbitrary Lagrangian-Euler (ALE) framework. The nonlinear elasticity equations are discretized using a novel HDG scheme with an H(curl)-conforming… ▽ More We present a novel (high-order) hybridizable discontinuous Galerkin (HDG) scheme for the fluid-structure interaction (FSI) problem. The (moving domain) incompressible Navier-Stokes equations are discretized using a divergence-free HDG scheme within the arbitrary Lagrangian-Euler (ALE) framework. The nonlinear elasticity equations are discretized using a novel HDG scheme with an H(curl)-conforming velocity/displacement approximation. We further use a combination of the Nitsche's method (for the tangential component) and the mortar method (for the normal component) to enforce the interface conditions on the fluid/structure interface. A second-order backward difference formula (BDF2) is use for the temporal discretization. Numerical results on the classical benchmark problem by Turek and Hron show a good performance of our proposed method. △ Less

Submitted 28 March, 2021; originally announced March 2021.

Comments: 20 pages, 4 figures

A FOM/ROM Hybrid Approach for Accelerating Numerical Simulations

Authors: Lihong Feng, Guosheng Fu, Zhu Wang

Abstract: The basis generation in reduced order modeling usually requires multiple high-fidelity large-scale simulations that could take a huge computational cost. In order to accelerate these numerical simulations, we introduce a FOM/ROM hybrid approach in this paper. It is developed based on an a posteriori error estimation for the output approximation of the dynamical system. By controlling the estimated… ▽ More The basis generation in reduced order modeling usually requires multiple high-fidelity large-scale simulations that could take a huge computational cost. In order to accelerate these numerical simulations, we introduce a FOM/ROM hybrid approach in this paper. It is developed based on an a posteriori error estimation for the output approximation of the dynamical system. By controlling the estimated error, the method dynamically switches between the full-order model and the reduced-oder model generated on the fly. Therefore, it reduces the computational cost of a high-fidelity simulation while achieving a prescribed accuracy level. Numerical tests on the non-parametric and parametric PDEs illustrate the efficacy of the proposed approach. △ Less

Submitted 15 March, 2021; originally announced March 2021.

Comments: 17 pages, 10 figures

A monolithic divergence-conforming HDG scheme for a linear fluid-structure interaction model

Authors: Guosheng Fu, Wenzheng Kuang

Abstract: We present a novel monolithic divergence-conforming HDG scheme for a linear fluid-structure interaction (FSI) problem with a thick structure. A pressure-robust optimal energy-norm estimate is obtained for the semidiscrete scheme. When combined with a Crank-Nicolson time discretization, our fully discrete scheme is energy stable and produces an exactly divergence-free fluid velocity approximation.… ▽ More We present a novel monolithic divergence-conforming HDG scheme for a linear fluid-structure interaction (FSI) problem with a thick structure. A pressure-robust optimal energy-norm estimate is obtained for the semidiscrete scheme. When combined with a Crank-Nicolson time discretization, our fully discrete scheme is energy stable and produces an exactly divergence-free fluid velocity approximation. The resulting linear system, which is symmetric and indefinite, is solved using a preconditioned MinRes method with a robust block algebraic multigrid (AMG) preconditioner. △ Less

Submitted 30 November, 2020; originally announced December 2020.

Comments: 26 pages

MSC Class: 65N30; 65N12; 76S05; 76D07

Uniform auxiliary space preconditioning for HDG methods for elliptic operators with a parameter dependent low order term

Authors: Guosheng Fu

Abstract: The auxiliary space preconditioning (ASP) technique is applied to the HDG schemes for three different elliptic problems with a parameter dependent low order term, namely, a symmetric interior penalty HDG scheme for the scalar reaction-diffusion equation, a divergence-conforming HDG scheme for a vectorial reaction-diffusion equation, and a C 0 -continuous interior penalty HDG scheme for the general… ▽ More The auxiliary space preconditioning (ASP) technique is applied to the HDG schemes for three different elliptic problems with a parameter dependent low order term, namely, a symmetric interior penalty HDG scheme for the scalar reaction-diffusion equation, a divergence-conforming HDG scheme for a vectorial reaction-diffusion equation, and a C 0 -continuous interior penalty HDG scheme for the generalized biharmonic equation with a low order term. Uniform preconditioners are obtained for each case and the general ASP theory by J. Xu [21] is used to prove the optimality with respect to the mesh size and uniformity with respect to the low order parameter. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 22 pages

Portfolio Liquidation Games with Self-Exciting Order Flow

Authors: Guanxing Fu, Ulrich Horst, Xiaonyu Xia

Abstract: We analyze novel portfolio liquidation games with self-exciting order flow. Both the N-player game and the mean-field game are considered. We assume that players' trading activities have an impact on the dynamics of future market order arrivals thereby generating an additional transient price impact. Given the strategies of her competitors each player solves a mean-field control problem. We charac… ▽ More We analyze novel portfolio liquidation games with self-exciting order flow. Both the N-player game and the mean-field game are considered. We assume that players' trading activities have an impact on the dynamics of future market order arrivals thereby generating an additional transient price impact. Given the strategies of her competitors each player solves a mean-field control problem. We characterize open-loop Nash equilibria in both games in terms of a novel mean-field FBSDE system with unknown terminal condition. Under a weak interaction condition we prove that the FBSDE systems have unique solutions. Using a novel sufficient maximum principle that does not require convexity of the cost function we finally prove that the solution of the FBSDE systems do indeed provide existence and uniqueness of open-loop Nash equilibria. △ Less

Submitted 11 November, 2020; originally announced November 2020.

Mean Field Exponential Utility Game: A Probabilistic Approach

Authors: Guanxing Fu, Xizhi Su, Chao Zhou

Abstract: We study an $N$-player and a mean field exponential utility game. Each player manages two stocks; one is driven by an individual shock and the other is driven by a common shock. Moreover, each player is concerned not only with her own terminal wealth but also with the relative performance of her competitors. We use the probabilistic approach to study these two games. We show the unique equilibrium… ▽ More We study an $N$-player and a mean field exponential utility game. Each player manages two stocks; one is driven by an individual shock and the other is driven by a common shock. Moreover, each player is concerned not only with her own terminal wealth but also with the relative performance of her competitors. We use the probabilistic approach to study these two games. We show the unique equilibrium of the $N$-player game and the mean field game can be characterized by a novel multi-dimensional FBSDE with quadratic growth and a novel mean-field FBSDEs, respectively. The well-posedness result and the convergence result are established. △ Less

Submitted 16 July, 2020; v1 submitted 13 June, 2020; originally announced June 2020.

Comments: 35 pages; more references are cited and examples are added

POD-(H)DG Method for Incompressible Flow Simulations

Authors: Guosheng Fu, Zhu Wang

Abstract: We present a reduced order method (ROM) based on proper orthogonal decomposition (POD) for the viscous Burgers' equation and the incompressible Navier-Stokes equations discretized using an implicit-explicit hybrid discontinuous Galerkin/discoutinuous Galerkin (IMEX HDG/DG) scheme. A novel closure model, which can be easily computed offline, is introduced. Numerical results are presented to test th… ▽ More We present a reduced order method (ROM) based on proper orthogonal decomposition (POD) for the viscous Burgers' equation and the incompressible Navier-Stokes equations discretized using an implicit-explicit hybrid discontinuous Galerkin/discoutinuous Galerkin (IMEX HDG/DG) scheme. A novel closure model, which can be easily computed offline, is introduced. Numerical results are presented to test the proposed POD model and the closure model. △ Less

Submitted 17 April, 2020; originally announced April 2020.

Comments: 19 pages

A divergence-free HDG scheme for the Cahn-Hilliard phase-field model for two-phase incompressible flow

Authors: Guosheng Fu

Abstract: We construct a divergence-free HDG scheme for the Cahn-Hilliard-Navier-Stokes phase field model. The scheme is robust in the convection-dominated regime, produce a globally divergence-free velocity approximation, and can be efficiently implemented via static condensation. Two numerical benchmark problems, namely the rising bubble problem, and the Rayleigh-Taylor instability problem are used to sho… ▽ More We construct a divergence-free HDG scheme for the Cahn-Hilliard-Navier-Stokes phase field model. The scheme is robust in the convection-dominated regime, produce a globally divergence-free velocity approximation, and can be efficiently implemented via static condensation. Two numerical benchmark problems, namely the rising bubble problem, and the Rayleigh-Taylor instability problem are used to show the good performance of the proposed scheme. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 15 pages

Locking free and gradient robust H(div)-conforming HDG methods for linear elasticity

Authors: Guosheng Fu, Christoph Lehrenfeld, Alexander Linke, Timo Streckenbach

Abstract: Robust discretization methods for (nearly-incompressible) linear elasticity are free of volume-locking and gradient-robust. While volume-locking is a well-known problem that can be dealt with in many different discretization approaches, the concept of gradient-robustness for linear elasticity is new. We discuss both aspects and propose novel Hybrid Discontinuous Galerkin (HDG) methods for linear e… ▽ More Robust discretization methods for (nearly-incompressible) linear elasticity are free of volume-locking and gradient-robust. While volume-locking is a well-known problem that can be dealt with in many different discretization approaches, the concept of gradient-robustness for linear elasticity is new. We discuss both aspects and propose novel Hybrid Discontinuous Galerkin (HDG) methods for linear elasticity. The starting point for these methods is a divergence-conforming discretization. As a consequence of its well-behaved Stokes limit the method is gradient-robust and free of volume-locking. To improve computational efficiency, we additionally consider discretizations with relaxed divergence-conformity and a modification which re-enables gradient-robustness, yielding a robust and quasi-optimal discretization also in the sense of HDG superconvergence. △ Less

Submitted 23 January, 2020; originally announced January 2020.

Arbitrary Lagrangian-Eulerian hybridizable discontinuous Galerkin methods for incompressible flow with moving boundaries and interfaces

Authors: Guosheng Fu

Abstract: We present a class of Arbitrary Lagrangian-Eulerian hybridizable discontinuous Galerkin methods for the incompressible flow with moving boundaries and interfaces including two-phase flow with surface tension. We present a class of Arbitrary Lagrangian-Eulerian hybridizable discontinuous Galerkin methods for the incompressible flow with moving boundaries and interfaces including two-phase flow with surface tension. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Extended Mean Field Games with Singular Controls

Authors: Guanxing Fu

Abstract: This paper establishes the existence of equilibria result of a class of mean field games with singular controls. The interaction takes place through both states and controls. A relaxed solution approach is used. To circumvent the tightness issue, we prove the existence of equilibria by first considering the corresponding mean field games with continuous controls instead of singular controls and th… ▽ More This paper establishes the existence of equilibria result of a class of mean field games with singular controls. The interaction takes place through both states and controls. A relaxed solution approach is used. To circumvent the tightness issue, we prove the existence of equilibria by first considering the corresponding mean field games with continuous controls instead of singular controls and then taking approximation. △ Less

Submitted 7 May, 2022; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: 25 pages

MSC Class: 93E20; 91B70; 60H30

A Class of Embedded DG Methods for Dirichlet Boundary Control of Convection Diffusion PDEs

Authors: Gang Chen, Guosheng Fu, John Richard Singler, Yangwen Zhang

Abstract: We investigated an hybridizable discontinuous Galerkin (HDG) method for a convection diffusion Dirichlet boundary control problem in our earlier work [SIAM J. Numer. Anal. 56 (2018) 2262-2287] and obtained an optimal convergence rate for the control under some assumptions on the desired state and the domain. In this work, we obtain the same convergence rate for the control using a class of embedde… ▽ More We investigated an hybridizable discontinuous Galerkin (HDG) method for a convection diffusion Dirichlet boundary control problem in our earlier work [SIAM J. Numer. Anal. 56 (2018) 2262-2287] and obtained an optimal convergence rate for the control under some assumptions on the desired state and the domain. In this work, we obtain the same convergence rate for the control using a class of embedded DG methods proposed by Nguyen, Peraire and Cockburn [J. Comput. Phys. vol. 302 (2015), pp. 674-692] for simulating fluid flows. Since the global system for embedded DG methods uses continuous elements, the number of degrees of freedom for the embedded DG methods are smaller than the HDG method, which uses discontinuous elements for the global system. Moreover, we introduce a new simpler numerical analysis technique to handle low regularity solutions of the boundary control problem. We present some numerical experiments to confirm our theoretical results. △ Less

Submitted 23 November, 2018; originally announced November 2018.

Journal ref: J. Sci. Comput. 81 (2019), no. 2, 623-648

An explicit divergence-free DG method for incompressible magnetohydrodynamics

Authors: Guosheng Fu

Abstract: We extend the recently introduced explicit divergence-free DG scheme for incompressible hydrodynamics [arXiv:1808.04669]. to the incompressible magnetohydrodynamics (MHD). A globally divergence-free finite element space is used for both the velocity and the magnetic field. Highlights of the scheme includes global and local conservation properties, high-order accuracy, energy-stability, pressure-ro… ▽ More We extend the recently introduced explicit divergence-free DG scheme for incompressible hydrodynamics [ar** is used, we need two symmetric positive definite (SPD) hybrid-mixed Poisson solvers (one for velocity and one for magnetic field) to advance the solution to the next time level. Since we treat both viscosity in the momentum equation and resistivity in the magnetic induction equation explicitly, the method shall be best suited for inviscid or high-Reynolds number, low resistivity flows so that the CFL constraint is not too restrictive. △ Less

Submitted 23 August, 2018; originally announced August 2018.

Comments: 14 pages, 8 figures. arXiv admin note: text overlap with arXiv:1808.04669

Discrete $H^1$-inequalities for spaces admitting M-decompositions

Authors: Bernardo Cockburn, Guosheng Fu, Weifeng Qiu

Abstract: We find new discrete $H^1$- and Poincaré-Friedrichs inequalities by studying the invertibility of the DG approximation of the flux for local spaces admitting M-decompositions. We then show how to use these inequalities to define and analyze new, superconvergent HDG and mixed methods for which the stabilization function is defined in such a way that the approximations satisfy new $H^1$-stability re… ▽ More We find new discrete $H^1$- and Poincaré-Friedrichs inequalities by studying the invertibility of the DG approximation of the flux for local spaces admitting M-decompositions. We then show how to use these inequalities to define and analyze new, superconvergent HDG and mixed methods for which the stabilization function is defined in such a way that the approximations satisfy new $H^1$-stability results with which their error analysis is greatly simplified. We apply this approach to define a wide class of energy-bounded, superconvergent HDG and mixed methods for the incompressible Navier-Stokes equations defined on unstructured meshes using, in 2D, general polygonal elements and, in 3D, general, flat-faced tetrahedral, prismatic, pyramidal and hexahedral elements. △ Less

Submitted 16 August, 2018; originally announced August 2018.

Comments: 22 pages

An explicit divergence-free DG method for incompressible flow

Authors: Guosheng Fu

Abstract: We present an explicit divergence-free DG method for incompressible flow based on velocity formulation only. A globally divergence-free finite element space is used for the velocity field, and the pressure field is eliminated from the equations by design. The resulting ODE system can be discretized using any explicit time step** methods. We use the third order strong-stability preserving Runge-K… ▽ More We present an explicit divergence-free DG method for incompressible flow based on velocity formulation only. A globally divergence-free finite element space is used for the velocity field, and the pressure field is eliminated from the equations by design. The resulting ODE system can be discretized using any explicit time step** methods. We use the third order strong-stability preserving Runge-Kutta method in our numerical experiments. Our spatial discretization produces the {\it identical} velocity field as the divergence-conforming DG method of [Cockburn et al., JSC 2007(31), pp.61-73] based on a velocity-pressure formulation, when the same DG operators are used for the convective and viscous parts. Due to the global nature of the divergence-free constraint, there exist no local bases for our finite element space. We present a key result on the efficient implementation of the scheme by identifying the equivalence of the (dense) mass matrix inversion of the globally divergence-free finite element space to a standard (hybrid-)mixed Poisson solver. Hence, in each time step, a (hybrid-)mixed Poisson solver is used, which reflects the global nature of the incompressibility condition. Since we treat viscosity explicitly for the Navier-Stokes equation, our method shall be best suited for unsteady high-Reynolds number flows so that the CFL constraint is not too restrictive. △ Less

Submitted 10 November, 2018; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: accepted in CMAME

Exact smooth piecewise polynomial sequences on Alfeld splits

Authors: Guosheng Fu, Johnny Guzman, Michael Neilan

Abstract: We develop exact piecewise polynomial sequences on Alfeld splits in any spatial dimension and any polynomial degree. An Alfeld split of a simplex is obtained by connecting the vertices of an $n$-simplex with its barycenter. We show that, on these triangulations, the kernel of the exterior derivative has enhanced smoothness. Byproducts of this theory include characterizations of discrete divergence… ▽ More We develop exact piecewise polynomial sequences on Alfeld splits in any spatial dimension and any polynomial degree. An Alfeld split of a simplex is obtained by connecting the vertices of an $n$-simplex with its barycenter. We show that, on these triangulations, the kernel of the exterior derivative has enhanced smoothness. Byproducts of this theory include characterizations of discrete divergence-free subspaces for the Stokes problem, commutative projections, and simple formulas for the dimensions of smooth polynomial spaces. △ Less

Submitted 16 July, 2018; originally announced July 2018.

Dispersive behavior of an energy-conserving discontinuous Galerkin method for the one-way wave equation

Authors: Mark Ainsworth, Guosheng Fu

Abstract: The dispersive behavior of the recently proposed energy-conserving discontinuous Galerkin (DG) method by Fu and Shu [10] is analyzed and compared with the classical centered and upwinding DG schemes. It is shown that the new scheme gives a significant improvement over the classical centered and upwinding DG schemes in terms of dispersion error. Numerical results are presented to support the theore… ▽ More The dispersive behavior of the recently proposed energy-conserving discontinuous Galerkin (DG) method by Fu and Shu [10] is analyzed and compared with the classical centered and upwinding DG schemes. It is shown that the new scheme gives a significant improvement over the classical centered and upwinding DG schemes in terms of dispersion error. Numerical results are presented to support the theoretical findings. △ Less

Submitted 11 June, 2018; originally announced June 2018.

Comments: 17 pages, 6 figures

An energy-conserving ultra-weak discontinuous Galerkin method for the generalized Korteweg-De Vries equation

Authors: Guosheng Fu, Chi-Wang Shu

Abstract: We propose an energy-conserving ultra-weak discontinuous Galerkin (DG) method for the generalized Korteweg-De Vries(KdV) equation in one dimension. Optimal a priori error estimate of order $k + 1$ is obtained for the semi-discrete scheme for the KdV equation without convection term on general nonuniform meshes when polynomials of degree $k\ge 2$ is used. We also numerically observed optimal conver… ▽ More We propose an energy-conserving ultra-weak discontinuous Galerkin (DG) method for the generalized Korteweg-De Vries(KdV) equation in one dimension. Optimal a priori error estimate of order $k + 1$ is obtained for the semi-discrete scheme for the KdV equation without convection term on general nonuniform meshes when polynomials of degree $k\ge 2$ is used. We also numerically observed optimal convergence of the method for the KdV equation with linear or nonlinear convection terms. It is numerically observed for the new method to have a superior performance for long-time simulations over existing DG methods. △ Less

Submitted 9 May, 2018; originally announced May 2018.

Comments: 12 pages. arXiv admin note: substantial text overlap with arXiv:1804.10307

Bernstein-Bezier Bases for Tetrahedral Finite Elements

Authors: Mark Ainsworth, Guosheng Fu

Abstract: We present a new set of basis functions for H(curl)-conforming, H(div)-conforming, and L2 -conforming finite elements of arbitrary order on a tetrahedron. The basis functions are expressed in terms of Bernstein polynomials and augment the natural H1 -conforming Bernstein basis. The basis functions respect the differential operators, namely, the gradients of the high-order H1 -conforming Bernstein-… ▽ More We present a new set of basis functions for H(curl)-conforming, H(div)-conforming, and L2 -conforming finite elements of arbitrary order on a tetrahedron. The basis functions are expressed in terms of Bernstein polynomials and augment the natural H1 -conforming Bernstein basis. The basis functions respect the differential operators, namely, the gradients of the high-order H1 -conforming Bernstein-Bezier basis functions form part of the H(curl)-conforming basis, and the curl of the high-order, non-gradients H(curl)-conforming basis functions form part of the H(div)-conforming basis, and the divergence of the high-order, non-curl H(div)-conforming basis functions form part of the L2-conforming basis. Procedures are given for the efficient computation of the mass and stiffness matrices with these basis functions without using quadrature rules for (piece-wise) constant coefficients on affine tetrahedra. Numerical results are presented to illustrate the use of the basis to approximate representative problems. △ Less

Submitted 27 April, 2018; originally announced April 2018.

Comments: 27 pages

A high-order HDG method for the Biot's consolidation model

Authors: Guosheng Fu

Abstract: We propose a novel high-order HDG method for the Biot's consolidation model in poroelasticity. We present optimal error analysis for both the semi-discrete and full-discrete (combined with temporal backward differentiation formula) schemes. Numerical tests are provided to demonstrate the performance of the method. We propose a novel high-order HDG method for the Biot's consolidation model in poroelasticity. We present optimal error analysis for both the semi-discrete and full-discrete (combined with temporal backward differentiation formula) schemes. Numerical tests are provided to demonstrate the performance of the method. △ Less

Submitted 26 April, 2018; originally announced April 2018.

Comments: 18 pages

Optimal energy-conserving discontinuous Galerkin methods for linear symmetric hyperbolic systems

Authors: Guosheng Fu, Chi-Wang Shu

Abstract: We propose energy-conserving discontinuous Galerkin (DG) methods for symmetric linear hyperbolic systems on general unstructured meshes. Optimal a priori error estimates of order $k+1$ are obtained for the semi-discrete scheme in one dimension, and in multi-dimensions on Cartesian meshes when tensor-product polynomials of degree $k$ are used. A high-order energy-conserving Lax-Wendroff time discre… ▽ More We propose energy-conserving discontinuous Galerkin (DG) methods for symmetric linear hyperbolic systems on general unstructured meshes. Optimal a priori error estimates of order $k+1$ are obtained for the semi-discrete scheme in one dimension, and in multi-dimensions on Cartesian meshes when tensor-product polynomials of degree $k$ are used. A high-order energy-conserving Lax-Wendroff time discretization is also presented. Extensive numerical results in one dimension, and two dimensions on both rectangular and triangular meshes are presented to support the theoretical findings and to assess the new methods. One particular method (with the doubling of unknowns) is found to be optimally convergent on triangular meshes for all the examples considered in this paper. The method is also compared with the classical (dissipative) upwinding DG method and (conservative) DG method with a central flux. It is numerically observed for the new method to have a superior performance for long-time simulations. △ Less

Submitted 26 April, 2018; originally announced April 2018.

Comments: 48 pages

A Mean Field Game of Optimal Portfolio Liquidation

Authors: Guanxing Fu, Paulwin Graewe, Ulrich Horst, Alexandre Popier

Abstract: We consider a mean field game (MFG) of optimal portfolio liquidation under asymmetric information. We prove that the solution to the MFG can be characterized in terms of a FBSDE with possibly singular terminal condition on the backward component or, equivalently, in terms of a FBSDE with finite terminal value, yet singular driver. Extending the method of continuation to linear-quadratic FBSDE with… ▽ More We consider a mean field game (MFG) of optimal portfolio liquidation under asymmetric information. We prove that the solution to the MFG can be characterized in terms of a FBSDE with possibly singular terminal condition on the backward component or, equivalently, in terms of a FBSDE with finite terminal value, yet singular driver. Extending the method of continuation to linear-quadratic FBSDE with singular driver we prove that the MFG has a unique solution. Our existence and uniqueness result allows to prove that the MFG with possibly singular terminal condition can be approximated by a sequence of MFGs with finite terminal values. △ Less

Submitted 25 January, 2021; v1 submitted 13 April, 2018; originally announced April 2018.

Riemannian curvature measures

Authors: Joseph H. G. Fu, Thomas Wannerer

Abstract: A famous theorem of Weyl states that if $M$ is a compact submanifold of euclidean space, then the volumes of small tubes about $M$ are given by a polynomial in the radius $r$, with coefficients that are expressible as integrals of certain scalar invariants of the curvature tensor of $M$ with respect to the induced metric. It is natural to interpret this phenomenon in terms of curvature measures an… ▽ More A famous theorem of Weyl states that if $M$ is a compact submanifold of euclidean space, then the volumes of small tubes about $M$ are given by a polynomial in the radius $r$, with coefficients that are expressible as integrals of certain scalar invariants of the curvature tensor of $M$ with respect to the induced metric. It is natural to interpret this phenomenon in terms of curvature measures and smooth valuations, in the sense of Alesker, canonically associated to the Riemannian structure of $M$. This perspective yields a fundamental new structure in Riemannian geometry, in the form of a certain abstract module over the polynomial algebra $\mathbb R[t]$ that reflects the behavior of Alesker multiplication. This module encodes a key piece of the array of kinematic formulas of any Riemannian manifold on which a group of isometries acts transitively on the sphere bundle. We illustrate this principle in precise terms in the case where $M$ is a complex space form. △ Less

Submitted 15 October, 2018; v1 submitted 6 November, 2017; originally announced November 2017.

Comments: Corrected version, to appear in GAFA

MSC Class: 53A55; 53B21; 52A38

Journal ref: Geometric and Functional Analysis 29 (2019), pp. 343 - 381

Fully computable a posteriori error bounds for hybridizable discontinuous Galerkin finite element approximations

Authors: Mark Ainsworth, Guosheng Fu

Abstract: We derive a posteriori error estimates for the hybridizable discontinuous Galerkin (HDG) methods, including both the primal and mixed formulations, for the approximation of a linear second-order elliptic problem on conforming simplicial meshes in two and three dimensions. We obtain fully computable, constant free, a posteriori error bounds on the broken energy seminorm and the HDG energy (semi)n… ▽ More We derive a posteriori error estimates for the hybridizable discontinuous Galerkin (HDG) methods, including both the primal and mixed formulations, for the approximation of a linear second-order elliptic problem on conforming simplicial meshes in two and three dimensions. We obtain fully computable, constant free, a posteriori error bounds on the broken energy seminorm and the HDG energy (semi)norm of the error. The estimators are also shown to provide local lower bounds for the HDG energy (semi)norm of the error up to a constant and a higher-order data oscillation term. For the primal HDG methods and mixed HDG methods with an appropriate choice of stabilization parameter, the estimators are also shown to provide a lower bound for the broken energy seminorm of the error up to a constant and a higher-order data oscillation term. Numerical examples are given illustrating the theoretical results. △ Less

Submitted 19 June, 2017; originally announced June 2017.

A lowest-order composite finite element exact sequence on pyramids

Authors: Mark Ainsworth, Guosheng Fu

Abstract: Composite basis functions for pyramidal elements on the spaces $H^1(Ω)$, $H(\mathrm{curl},Ω)$, $H(\mathrm{div},Ω)$ and $L^2(Ω)$ are presented. In particular, we construct the lowest-order composite pyramidal elements and show that they respect the de Rham diagram, i.e. we have an exact sequence and satisfy the commuting property. Moreover, the finite elements are fully compatible with the standard… ▽ More Composite basis functions for pyramidal elements on the spaces $H^1(Ω)$, $H(\mathrm{curl},Ω)$, $H(\mathrm{div},Ω)$ and $L^2(Ω)$ are presented. In particular, we construct the lowest-order composite pyramidal elements and show that they respect the de Rham diagram, i.e. we have an exact sequence and satisfy the commuting property. Moreover, the finite elements are fully compatible with the standard finite elements for the lowest-order Raviart-Thomas-Nédélec sequence on tetrahedral and hexahedral elements. That is to say, the new elements have the same degrees of freedom on the shared interface with the neighbouring hexahedral or tetrahedra elements, and the basis functions are conforming in the sense that they maintain the required level of continuity (full, tangential component, normal component, ...) across the interface. Furthermore, we study the approximation properties of the spaces as an initial partition consisting of tetrahedra, hexahedra and pyramid elements is successively subdivided and show that the spaces result in the same (optimal) order of approximation in terms of the mesh size $h$ as one would obtain using purely hexahedral or purely tetrahedral partitions. △ Less

Submitted 28 April, 2017; originally announced May 2017.

Comments: 21 pages

Devising superconvergent HDG methods with symmetric approximate stresses for linear elasticity by $M$-decompositions

Authors: Bernardo Cockburn, Guosheng Fu

Abstract: We propose a new tool, which we call $M$-decompositions, for devising superconvergent hybridizable discontinuous Galerkin (HDG) methods and hybridized-mixed methods for linear elasticity with strongly symmetric approximate stresses on unstructured polygonal/polyhedral meshes. We show that for an HDG method, when its local approximation space admits an $M$-decomposition, optimal convergence of th… ▽ More We propose a new tool, which we call $M$-decompositions, for devising superconvergent hybridizable discontinuous Galerkin (HDG) methods and hybridized-mixed methods for linear elasticity with strongly symmetric approximate stresses on unstructured polygonal/polyhedral meshes. We show that for an HDG method, when its local approximation space admits an $M$-decomposition, optimal convergence of the approximate stress and superconvergence of an element-by-element postprocessing of the displacement field are obtained. The resulting methods are locking-free. Moreover, we explicitly construct approximation spaces that admit $M$-decompositions on general polygonal elements. We display numerical results on triangular meshes validating our theoretical findings. △ Less

Submitted 14 April, 2017; originally announced April 2017.

Comments: 45 pages, 2 figures

Dual curvature measures in hermitian integral geometry

Authors: Andreas Bernig, Joseph H. G. Fu, Gil Solanes

Abstract: The local kinematic formulas on complex space forms induce the structure of a commutative algebra on the space $\mathrm{Curv}^{\mathrm{U}(n)*}$ of dual unitarily invariant curvature measures. Building on the recent results from integral geometry in complex space forms, we describe this algebra structure explicitly as a polynomial algebra. This is a short way to encode all local kinematic formulas.… ▽ More The local kinematic formulas on complex space forms induce the structure of a commutative algebra on the space $\mathrm{Curv}^{\mathrm{U}(n)*}$ of dual unitarily invariant curvature measures. Building on the recent results from integral geometry in complex space forms, we describe this algebra structure explicitly as a polynomial algebra. This is a short way to encode all local kinematic formulas. We then characterize the invariant valuations on complex space forms leaving the space of invariant angular curvature measures fixed. △ Less

Submitted 21 June, 2017; v1 submitted 7 February, 2017; originally announced February 2017.

Comments: 15 pages; the proof of Proposition 4.4. was slightly modified

MSC Class: 53C65

Journal ref: INdAM Lecture Notes of the Workshop "Analytic Aspects of Convexity", Rome 11-14 October, 2016

Mean Field Games with Singular Controls

Authors: Guanxing Fu, Ulrich Horst

Abstract: This paper establishes the existence of relaxed solutions to mean field games (MFGs for short) with singular controls. We also prove approximations of solutions results for a particular class of MFGs with singular controls by solutions, respectively control rules, for MFGs with purely regular controls. Our existence and approximation results strongly hinge on the use of the Skorokhod $M_1$ topolog… ▽ More This paper establishes the existence of relaxed solutions to mean field games (MFGs for short) with singular controls. We also prove approximations of solutions results for a particular class of MFGs with singular controls by solutions, respectively control rules, for MFGs with purely regular controls. Our existence and approximation results strongly hinge on the use of the Skorokhod $M_1$ topology on the space of càdlàg functions. △ Less

Submitted 3 August, 2017; v1 submitted 16 December, 2016; originally announced December 2016.

Comments: 33 pages

MSC Class: 93E20; 91B70; 60H30

Parameter-free superconvergent $H(\mathrm{div})$-conforming HDG methods for the Brinkman equations

Authors: Guosheng Fu, Yanyi **, Weifeng Qiu

Abstract: In this paper, we present new parameter-free superconvergent H(div)-conforming HDG methods for the Brinkman equations on both simplicial and rectangular meshes. The methods are based on a velocity gradient-velocity-pressure formulation, which can be considered as a natural extension of the H(div)-conforming HDG method (defined on simplicial meshes) for the Stokes flow [Math. Comp. 83(2014), pp. 15… ▽ More In this paper, we present new parameter-free superconvergent H(div)-conforming HDG methods for the Brinkman equations on both simplicial and rectangular meshes. The methods are based on a velocity gradient-velocity-pressure formulation, which can be considered as a natural extension of the H(div)-conforming HDG method (defined on simplicial meshes) for the Stokes flow [Math. Comp. 83(2014), pp. 1571-1598]. We obtain optimal error estimates in $L^2$-norms for all the variables in both the Stokes-dominated regime (high viscosity/permeability ratio) and Darcy-dominated regime (low viscosity/permeability ratio). We also obtain superconvergent L^2-estimate of one order higher for a suitable projection of the velocity error, which is typical for (hybrid) mixed methods for elliptic problems. Moreover, thanks to H(div)-conformity of the velocity, our velocity error estimates are independent of the pressure regularity. Preliminary numerical results on both triangular and rectangular meshes in two-space dimensions confirm our theoretical predictions. △ Less

Submitted 19 June, 2017; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: 20 pages, 0 figures

A systematic construction of finite element commuting exact sequences

Authors: Bernardo Cockburn, Guosheng Fu

Abstract: We present a systematic construction of finite element exact sequences with a commuting diagram for the de Rham complex in one-, two- and three-space dimensions. We apply the construction in two-space dimensions to rediscover two families of exact sequences for triangles and three for squares, and to uncover one new family of exact sequence for squares and two new families of exact sequences for g… ▽ More We present a systematic construction of finite element exact sequences with a commuting diagram for the de Rham complex in one-, two- and three-space dimensions. We apply the construction in two-space dimensions to rediscover two families of exact sequences for triangles and three for squares, and to uncover one new family of exact sequence for squares and two new families of exact sequences for general polygonal elements. We apply the construction in three-space dimensions to rediscover two families of exact sequences for tetrahedra, three for cubes, and one for prisms; and to uncover four new families of exact sequences for pyramids, three for prisms, and one for cubes. △ Less

Submitted 30 April, 2016; originally announced May 2016.

Comments: 37pages