In this paper, we consider a class of optimization problems of minimizing a (at least) twice continuously dierentiable function (probably nonconvex) f(x) : Rn ! R over a product of multiple balls/spheres constraints. Upon rescaling the balls/spheres, we cast without loss of generality such class of minimization problems in the following form: (BCOP) 8>< >: min x2Rn f(x) s:t: ci(x) := kx[i]k2 􀀀 1 = 0; i 2 E; ci(x) := kx[i]k2 􀀀 1  0; i 2 I; where E = f1; 2; : : : ;m1g, I = fm1 + 1;m1 + 2; : : : ;mg, x[i] 2 Rpi , x = (xT [1]; xT [2]; : : : ; xT [m])T , n = Pm i=1 pi, and k
k stands for the `2 vector norm. Here, we introduce the notation x[i] 2 Rpi to represent the ith subvector of x 2 Rn and formulate the product of multiple ball/sphere constraints as a set of equality and inequality constraints. To simplify subsequent presentation, we call the above programming the ball/sphere constrained optimization problem (BCOP). We emphasize that this problem does not allow overlap among the variables x[i] and therefore the constraints are separable. However, these variables x[i] may be linked together through the objective function f(x).

This paper presents entropy symmetrization and high-order accurate entropy stable schemes for the relativistic magnetohydrodynamic (RMHD) equations. It is shown that the conservative RMHD equations are not symmetrizable and do not admit a thermodynamic entropy pair. To address this issue, a symmetrizable RMHD system, equipped with a convex thermodynamic entropy pair, is first proposed by adding a source term into the equations, providing an analogue to the nonrelativistic Godunov--Powell system. Arbitrarily high-order accurate entropy stable finite difference schemes are developed on Cartesian meshes based on the symmetrizable RMHD system. The crucial ingredients of these schemes include (i) affordable explicit entropy conservative fluxes which are technically derived through carefully selected parameter variables, (ii) a special high-order discretization of the source term in the symmetrizable RMHD system, and (iii) suitable high-order dissipative operators based on essentially nonoscillatory reconstruction to ensure the entropy stability. Several numerical tests demonstrate the accuracy and robustness of the proposed entropy stable schemes.

Most biochemical processes involve macromolecules in solution. The corresponding electrostatics is of central importance for understanding their structures and functions. An accurate and efficient numerical scheme is introduced to evaluate the corresponding electrostatic potential and force by solving the governing Poisson-Boltzmann equation. This paper focuses on the following issues: (i) the point charge singularity problem, (ii) the dielectric discontinuity problem across a molecular surface, and (iii) the infinite domain problem. Green's function associated with the point charges plus a harmonic function is introduced as the zeroth order approximation to the solution to solve the point charge singularity problem. A jump condition capturing finite difference scheme is adopted to solve the discontinuity problem across molecule surfaces, where a body-fitting grid is used. The infinite domain problem is solved by mapping the outer infinite domain into a finite domain. The corresponding stiffness matrix is symmetric and positive definite, therefore, fast algorithm such as preconditioned conjugate gradient method can be applied for inner iteration. Finally, the resulting scheme is second order accurate for both the potential and its gradient.

We propose a class of simple and efficient numerical scheme for incompressible fluid equations with coordinate symmetry. By introducing a generalized vorticity-stream formulation, the divergence free constraints are automatically satisfied. In addition, with explicit treatment of the nonlinear terms and local vorticity boundary condition, the Navier–Stokes (MHD, respectively) equation essentially decouples into 2 (4, respectively) scalar equation and thus the scheme is very efficient. Moreover, with proper discretization of the nonlinear terms, the scheme preserves both energy and helicity identities numerically. This is achieved by recasting the nonlinear terms (convection, vorticity stretching, geometric source, Lorentz force and electro-motive force) in terms of Jacobians. This conservative property is valid even in the presence of the pole singularity for axisymmetric flows. The exact conservation of energy and helicity has effectively eliminated excessive numerical viscosity. Numerical examples have demonstrated both accuracy and efficiency of the scheme. Finally, local mesh refinement near the boundary can also be easily incorporated into the scheme without extra cost.

We study semi-Lagrangian discontinuous Galerkin (SLDG) and Runge-Kutta discontinuous Galerkin (RKDG) schemes for some front propagation problems in the presence of an obstacle term, modeled by a nonlinear Hamilton-Jacobi equation of the form $\min(u_t + c u_x, u - g(x))=0$, in one space dimension. New convergence results and error bounds are obtained for Lipschitz regular data. These ``low regularity" assumptions are the natural ones for the solutions of the studied equations. Numerical tests are given to illustrate the behavior of our schemes.