-
Second-Order Linear Relaxation Schemes for Time-Fractional Phase-Field Models
Authors:
Hui Yu,
Zhaoyang Wang,
Ping Lin
Abstract:
This work uses a linear relaxation method to develop efficient numerical schemes for the time-fractional Allen-Cahn and Cahn-Hilliard equations. The L1+-CN formula is used to discretize the fractional derivative, and an auxiliary variable is introduced to approximate the nonlinear term by solving an algebraic equation rather than a differential equation as in the invariant energy quadratization (I…
▽ More
This work uses a linear relaxation method to develop efficient numerical schemes for the time-fractional Allen-Cahn and Cahn-Hilliard equations. The L1+-CN formula is used to discretize the fractional derivative, and an auxiliary variable is introduced to approximate the nonlinear term by solving an algebraic equation rather than a differential equation as in the invariant energy quadratization (IEQ) and scalar auxiliary variable (SAV) approaches. The proposed semi-discrete scheme is linear, second-order accurate in time, and the inconsistency between the auxiliary and the original variables does not deteriorate over time. Furthermore, we prove that the scheme is unconditionally energy stable. Numerical results demonstrate the effectiveness of the proposed scheme.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
Scheduling problems of aircraft on a same runway and dual runways
Authors:
Peng Lin,
Haopeng Yang,
Gui Gui,
Mengxiang Zeng,
Weihua Gui
Abstract:
In this paper, the scheduling problems of landing and takeoff aircraft on a same runway and on dual runways are addressed. In contrast to the approaches based on mixed-integer optimization models in existing works, our approach focuses on the minimum separation times between aircraft by introducing some necessary assumptions and new concepts including relevance, breakpoint aircraft, path and class…
▽ More
In this paper, the scheduling problems of landing and takeoff aircraft on a same runway and on dual runways are addressed. In contrast to the approaches based on mixed-integer optimization models in existing works, our approach focuses on the minimum separation times between aircraft by introducing some necessary assumptions and new concepts including relevance, breakpoint aircraft, path and class-monotonically-decreasing sequence. Four scheduling problems are discussed including landing scheduling problem, takeoff scheduling problem, and mixed landing and takeoff scheduling problems on a same runway and on dual runways with the consideration of conversions between different aircraft sequences in typical scenarios. Two real-time optimal algorithms are proposed for the four scheduling problems by fully exploiting the combinations of different classes of aircraft, and necessary definitions, lemmas and theorems are presented for the optimal convergence of the algorithms. Numerical examples are presented to show the effectiveness of the proposed algorithms. In particular, when 100 aircraft are considered, by using the algorithm in this paper, the optimal solution can be obtained in less than 5 seconds, while by using the CPLEX software to solve the mix-integer optimization model, the optimal solution cannot be obtained within 1 hour.
△ Less
Submitted 4 June, 2025; v1 submitted 27 March, 2025;
originally announced March 2025.
-
A thermodynamically consistent phase-field model for mass transport with interfacial reaction and deformation
Authors:
Zhaoyang Wang,
Huaxiong Huang,
Ping Lin,
Shixin Xu
Abstract:
In this paper, a thermodynamically consistent phase-field model is proposed to describe the mass transport and reaction processes of multiple species in a fluid. A key feature of this model is that reactions between different species occur only at the interface, and may induce deformation of the interface. For the governing equations derived based on the energy variational method, we propose a str…
▽ More
In this paper, a thermodynamically consistent phase-field model is proposed to describe the mass transport and reaction processes of multiple species in a fluid. A key feature of this model is that reactions between different species occur only at the interface, and may induce deformation of the interface. For the governing equations derived based on the energy variational method, we propose a structure-preserving numerical scheme that satisfies the mass conservation and energy dissipation laws at the discrete level. Furthermore, we carry out a rigorous error analysis of the time-discrete scheme for a simplified case. A series of numerical experiments are conducted to validate the effectiveness of the model as well as the accuracy and stability of the scheme. In particular, we simulate microvessels with straight and bifurcated structures to illustrate the risk of microaneurysm formation.
△ Less
Submitted 20 March, 2025;
originally announced March 2025.
-
Feature Selection Approaches for Newborn Birthweight Prediction in Multiple Linear Regression Models
Authors:
Esther Liu,
Pei Xi Lin,
Qianqi Wang,
Karina Chen Feng
Abstract:
This project is based on the dataset "exposome_NA.RData", which contains a subcohort of 1301 mother-child pairs who were enrolled into the HELIX study during pregnancy. Several health outcomes were measured on the child at birth or at age 6-11 years, taking environmental exposures of interest and other covariates into account. This report outlines the process of obtaining the best MLR model with o…
▽ More
This project is based on the dataset "exposome_NA.RData", which contains a subcohort of 1301 mother-child pairs who were enrolled into the HELIX study during pregnancy. Several health outcomes were measured on the child at birth or at age 6-11 years, taking environmental exposures of interest and other covariates into account. This report outlines the process of obtaining the best MLR model with optimal predictive power. We first obtain three candidate models we obtained from the forward selection, backward elimination and stepwise selection, and select the optimal model using various comparison schemes including AIC, Adjusted R^2 and cross-validation for 8000 repetitions. The report ended with some additional findings revealed by the selected model, along with restrictions on the method we use in the model selection process.
△ Less
Submitted 17 November, 2024;
originally announced November 2024.
-
Homogenization principle and numerical analysis for fractional stochastic differential equations with different scales
Authors:
Zhaoyang Wang,
Ping Lin
Abstract:
This work is concerned with fractional stochastic differential equations with different scales. We establish the existence and uniqueness of solutions for Caputo fractional stochastic differential systems under the non-Lipschitz condition. Based on the idea of temporal homogenization, we prove that the homogenization principle (averaging principle) holds in the sense of mean square ($L^2$ norm) co…
▽ More
This work is concerned with fractional stochastic differential equations with different scales. We establish the existence and uniqueness of solutions for Caputo fractional stochastic differential systems under the non-Lipschitz condition. Based on the idea of temporal homogenization, we prove that the homogenization principle (averaging principle) holds in the sense of mean square ($L^2$ norm) convergence under a novel homogenization assumption. Furthermore, an Euler-Maruyama scheme for the non-autonomous system is constructed and its numerical error is analyzed. Finally, two numerical examples are presented to verify the theoretical results. Different from the existing literature, we demonstrate the computational advantages of the homogenized autonomous system from a numerical perspective.
△ Less
Submitted 23 September, 2024;
originally announced September 2024.
-
Shapes of infinite conformally balanced trees
Authors:
Oleg Ivrii,
Peter Lin,
Steffen Rohde,
Emanuel Sygal
Abstract:
Numerical experiments by Werness, Lee and the third author suggested that dessin d'enfants associated to large trivalent trees approximate the developed deltoid introduced by Lee, Lyubich, Makarov and Mukherjee. In this paper, we confirm this conjecture. As a side product of our techniques, we give a new proof of a theorem of Bishop which says that ``true trees are dense.'' We also exhibit a seque…
▽ More
Numerical experiments by Werness, Lee and the third author suggested that dessin d'enfants associated to large trivalent trees approximate the developed deltoid introduced by Lee, Lyubich, Makarov and Mukherjee. In this paper, we confirm this conjecture. As a side product of our techniques, we give a new proof of a theorem of Bishop which says that ``true trees are dense.'' We also exhibit a sequence of trees whose conformally natural shapes converge to the cauliflower, the Julia set of $z\mapsto z^2+1/4$.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Error analysis of an effective numerical scheme for a temporal multiscale plaque growth problem
Authors:
Zhaoyang Wang,
Ping Lin
Abstract:
In this work, we propose a simple numerical scheme based on a fast front-tracking approach for solving a fluid-structure interaction (FSI) problem of plaque growth in blood vessels. A rigorous error analysis is carried out for the temporal semi-discrete scheme to show that it is first-order accurate for all macro time step $ΔT$, micro time step $Δt$ and scale parameter $ε$. A numerical example is…
▽ More
In this work, we propose a simple numerical scheme based on a fast front-tracking approach for solving a fluid-structure interaction (FSI) problem of plaque growth in blood vessels. A rigorous error analysis is carried out for the temporal semi-discrete scheme to show that it is first-order accurate for all macro time step $ΔT$, micro time step $Δt$ and scale parameter $ε$. A numerical example is presented to verify the theoretical results and demonstrate the excellent performance of the proposed multiscale algorithm.
△ Less
Submitted 20 July, 2023; v1 submitted 16 June, 2023;
originally announced June 2023.
-
New Characterizations and Efficient Local Search for General Integer Linear Programming
Authors:
Peng Lin,
Shaowei Cai,
Mengchuan Zou,
Jinkun Lin
Abstract:
Integer linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes new characterizations of ILP with the concept of boundary solutions. Motivated by the new characterizations, we develop a new local search algorithm Local-ILP, which is efficient for solving general ILP validated on a la…
▽ More
Integer linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes new characterizations of ILP with the concept of boundary solutions. Motivated by the new characterizations, we develop a new local search algorithm Local-ILP, which is efficient for solving general ILP validated on a large heterogeneous problem dataset. We propose a new local search framework that switches between three modes, namely Search, Improve, and Restore modes. Two new operators are proposed, namely the tight move and the lift move operators, which are associated with appropriate scoring functions. Different modes apply different operators to realize different search strategies and the algorithm switches between three modes according to the current search state. Putting these together, we develop a local search ILP solver called Local-ILP. Experiments conducted on the MIPLIB dataset show the effectiveness of our algorithm in solving large-scale hard ILP problems. In the aspect of finding a good feasible solution quickly, Local-ILP is competitive and complementary to the state-of-the-art commercial solver Gurobi and significantly outperforms the state-of-the-art non-commercial solver SCIP. Moreover, our algorithm establishes new records for 6 MIPLIB open instances. The theoretical analysis of our algorithm is also presented, which shows our algorithm could avoid visiting unnecessary regions.
△ Less
Submitted 1 March, 2024; v1 submitted 29 April, 2023;
originally announced May 2023.
-
A fast front-tracking approach and its analysis for a temporal multiscale flow problem with a fractional-order boundary growth
Authors:
Zhaoyang Wang,
Ping Lin,
Lei Zhang
Abstract:
This paper is concerned with a blood flow problem coupled with a slow plaque growth at the artery wall. In the model, the micro (fast) system is the Navier-Stokes equation with a periodically applied force and the macro (slow) system is a fractional reaction equation, which is used to describe the plaque growth with memory effect. We construct an auxiliary temporal periodic problem and an effectiv…
▽ More
This paper is concerned with a blood flow problem coupled with a slow plaque growth at the artery wall. In the model, the micro (fast) system is the Navier-Stokes equation with a periodically applied force and the macro (slow) system is a fractional reaction equation, which is used to describe the plaque growth with memory effect. We construct an auxiliary temporal periodic problem and an effective time-average equation to approximate the original problem and analyze the approximation error of the corresponding linearized PDE (Stokes) system, where the simple front-tracking technique is used to update the slow moving boundary. An effective multiscale method is then designed based on the approximate problem and the front tracking framework. We also present a temporal finite difference scheme with a spatial continuous finite element method and analyze its temporal discrete error. Furthermore, a fast iterative procedure is designed to find the initial value of the temporal periodic problem and its convergence is analyzed as well. Our designed front-tracking framework and the iterative procedure for solving the temporal periodic problem make it easy to implement the multiscale method on existing PDE solving software. The numerical method is implemented by a combination of the finite element platform COMSOL Multiphysics and the mainstream software MATLAB, which significantly reduce the programming effort and easily handle the fluid-structure interaction, especially moving boundaries with more complex geometries. We present some numerical examples of ODEs and 2-D Navier-Stokes system to demonstrate the effectiveness of the multiscale method. Finally, we have a numerical experiment on the plaque growth problem and discuss the physical implication of the fractional order parameter.
△ Less
Submitted 20 October, 2022; v1 submitted 19 September, 2022;
originally announced September 2022.
-
Linear codes associated with the Desarguesian ovoids in $Q^+(7,q)$
Authors:
Tao Feng,
Michael Kiermaier,
Peixian Lin,
Kai-Uwe Schmidt
Abstract:
The Desarguesian ovoids in the orthogonal polar space $Q^+(7,q)$ with $q$ even have first been introduced by Kantor by examining the $8$-dimensional absolutely irreducible modular representations of $\text{PGL}(2,q^3)$. We investigate this module for all prime power values of $q$. The shortest $\text{PGL}(2,q^3)$-orbit $O$ gives the Desarguesian ovoid in $Q^+(7,q)$ for even $q$ and it is known to…
▽ More
The Desarguesian ovoids in the orthogonal polar space $Q^+(7,q)$ with $q$ even have first been introduced by Kantor by examining the $8$-dimensional absolutely irreducible modular representations of $\text{PGL}(2,q^3)$. We investigate this module for all prime power values of $q$. The shortest $\text{PGL}(2,q^3)$-orbit $O$ gives the Desarguesian ovoid in $Q^+(7,q)$ for even $q$ and it is known to give a complete partial ovoid of the symplectic polar space $W(7,q)$ for odd~$q$. We determine the hyperplane sections of $O$. As a corollary, we obtain the parameters $[q^3+1,8,q^3-q^2-q]_q$ and the weight distribution of the associated $\mathbb{F}_q$-linear code $C_O$ and the parameters $[q^3+1,q^3-7,5]_q$ of the dual code $C_O^\perp$ for $q \ge 4$. We also show that both codes $C_O$ and $C_O^\perp$ are length-optimal for all prime power values of $q$.
△ Less
Submitted 26 August, 2022;
originally announced August 2022.
-
Thermodynamically Consistent Diffuse Interface Model for Cell Adhesion and Aggregation
Authors:
Lingyue Shen,
Ping Lin,
Zhiliang Xu,
Shixin Xu
Abstract:
A thermodynamically consistent phase-field model is introduced for simulating multicellular deformation, and aggregation under flow conditions. In particular, a Lennard-Jones type potential is proposed under the phase-field framework for cell-cell, cell-wall interactions. A second-order accurate in both space and time $C^0$ finite element method is proposed to solve the model governing equations.…
▽ More
A thermodynamically consistent phase-field model is introduced for simulating multicellular deformation, and aggregation under flow conditions. In particular, a Lennard-Jones type potential is proposed under the phase-field framework for cell-cell, cell-wall interactions. A second-order accurate in both space and time $C^0$ finite element method is proposed to solve the model governing equations. Various numerical tests confirm the convergence, energy stability, and nonlinear mechanical properties of cells of the proposed scheme. Vesicles with different adhesion are also used to explain the pathological risk for patients with sickle cell disease.
△ Less
Submitted 15 May, 2022;
originally announced May 2022.
-
A temporal multiscale method and its analysis for a system of fractional differential equations
Authors:
Zhaoyang Wang,
Ping Lin
Abstract:
In this paper, a nonlinear system of fractional ordinary differential equations with multiple scales in time is investigated. We are interested in the effective long-term computation of the solution. The main challenge is how to obtain the solution of the coupled problem at a lower computational cost. We analysize a multiscale method for the nonlinear system where the fast system has a periodic ap…
▽ More
In this paper, a nonlinear system of fractional ordinary differential equations with multiple scales in time is investigated. We are interested in the effective long-term computation of the solution. The main challenge is how to obtain the solution of the coupled problem at a lower computational cost. We analysize a multiscale method for the nonlinear system where the fast system has a periodic applied force and the slow equation contains fractional derivatives as a simplication of the atherosclerosis with a plaque growth. A local periodic equation is derived to approximate the original system and the error estimates are given. Then a finite difference method is designed to approximate the original and the approximate problems. We construct four examples, including three with exact solutions and one following the original problem setting, to test the accuracy and computational efficiency of the proposed method. It is observed that, the computational time is very much reduced and the multiscale method performs very well in comparison to fully resolved simulation for the case of small time scale separation. The larger the time scale separation is, the more effective the multiscale method is.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Causal State Feedback Representation for Linear Quadratic Optimal Control Problems of Singular Volterra Integral Equations
Authors:
Shuo Han,
Ping Lin,
Jiongmin Yong
Abstract:
This paper is concerned with a linear quadratic optimal control for a class of singular Volterra integral equations. Under proper convexity conditions, optimal control uniquely exists, and it could be characterized via Frechet derivative of the quadratic functional in a Hilbert space or via maximum principle type necessary conditions. However, these (equivalent) characterizations have a shortcomin…
▽ More
This paper is concerned with a linear quadratic optimal control for a class of singular Volterra integral equations. Under proper convexity conditions, optimal control uniquely exists, and it could be characterized via Frechet derivative of the quadratic functional in a Hilbert space or via maximum principle type necessary conditions. However, these (equivalent) characterizations have a shortcoming that the current value of the optimal control depends on the future values of the optimal state. Practically, this is not feasible. The main purpose of this paper is to obtain a causal state feedback representation of the optimal control.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Feedback controllability for blowup points of heat equation
Authors:
Ping Lin,
Hatem Zaag
Abstract:
This paper concerns a controllability problem for blowup points on heat equation. It can be described as follows: In the absence of control, the solution to the linear heat system globally exists in a bounded domain $Ω$. While, for a given time $T>0$ and a point $a$ in this domain, we find a feedback control, which is acted on an internal subset $ω$ of this domain, such that the corresponding solu…
▽ More
This paper concerns a controllability problem for blowup points on heat equation. It can be described as follows: In the absence of control, the solution to the linear heat system globally exists in a bounded domain $Ω$. While, for a given time $T>0$ and a point $a$ in this domain, we find a feedback control, which is acted on an internal subset $ω$ of this domain, such that the corresponding solution to this system blows up at time $T$ and holds unique point $a$. We show that $a\in ω$ can be the unique blowup point of the corresponding solution with a certain feedback control, and for any feedback control, $a\in Ω\setminus \overlineω$ could not be the unique blowup point.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Planar and Toroidal Morphs Made Easier
Authors:
Jeff Erickson,
Patrick Lin
Abstract:
We present simpler algorithms for two closely related morphing problems, both based on the barycentric interpolation paradigm introduced by Floater and Gotsman, which is in turn based on Floater's asymmetric extension of Tutte's classical spring-embedding theorem. First, we give a much simpler algorithm to construct piecewise-linear morphs between planar straight-line graphs. Specifically, given i…
▽ More
We present simpler algorithms for two closely related morphing problems, both based on the barycentric interpolation paradigm introduced by Floater and Gotsman, which is in turn based on Floater's asymmetric extension of Tutte's classical spring-embedding theorem. First, we give a much simpler algorithm to construct piecewise-linear morphs between planar straight-line graphs. Specifically, given isomorphic straight-line drawings $Γ_0$ and $Γ_1$ of the same 3-connected planar graph $G$, with the same convex outer face, we construct a morph from $Γ_0$ to $Γ_1$ that consists of $O(n)$ unidirectional morphing steps, in $O(n^{1+ω/2})$ time. Our algorithm entirely avoids the classical edge-collapsing strategy dating back to Cairns; instead, in each morphing step, we interpolate the pair of weights associated with a single edge. Second, we describe a natural extension of barycentric interpolation to geodesic graphs on the flat torus. Barycentric interpolation cannot be applied directly in this setting, because the linear systems defining intermediate vertex positions are not necessarily solvable. We describe a simple scaling strategy that circumvents this issue. Computing the appropriate scaling requires $O(n^{ω/2})$ time, after which we can can compute the drawing at any point in the morph in $O(n^{ω/2})$ time. Our algorithm is considerably simpler than the recent algorithm of Chambers et al. (arXiv:2007.07927) and produces more natural morphs. Our techniques also yield a simple proof of a conjecture of Connelly et al. for geodesic torus triangulations.
△ Less
Submitted 14 September, 2021; v1 submitted 26 June, 2021;
originally announced June 2021.
-
Automatic Recognition of Landmarks on Digital Dental Models
Authors:
Brénainn Woodsend,
Eirini Koufoudaki,
Peter A. Mossey,
Ping Lin
Abstract:
Fundamental to improving Dental and Orthodontic treatments is the ability to quantitatively assess and cross-compare their outcomes. Such assessments require calculating distances and angles from 3D coordinates of dental landmarks. The costly and repetitive task of hand-labelling dental models impedes studies requiring large sample size to penetrate statistical noise. We have developed techniques…
▽ More
Fundamental to improving Dental and Orthodontic treatments is the ability to quantitatively assess and cross-compare their outcomes. Such assessments require calculating distances and angles from 3D coordinates of dental landmarks. The costly and repetitive task of hand-labelling dental models impedes studies requiring large sample size to penetrate statistical noise. We have developed techniques and software implementing these techniques to map out automatically, 3D dental scans. This process is divided into consecutive steps - determining a model's orientation, separating and identifying the individual tooth and finding landmarks on each tooth - described in this paper. Examples to demonstrate techniques and the software and discussions on remaining issues are provided as well. The software is originally designed to automate Modified Huddard Bodemham (MHB) landmarking for assessing cleft lip/palate patients. Currently only MHB landmarks are supported, but is extendable to any predetermined landmarks. This software, coupled with intra-oral scanning innovation, should supersede the arduous and error prone plaster model and caliper approach to Dental research and provide a stepping-stone towards automation of routine clinical assessments such as "index of orthodontic treatment need" (IOTN).
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
An Energy Stable C0 Finite Element Scheme for A Phase-Field Model of Vesicle Motion and Deformation
Authors:
Lingyue Shen,
Zhiliang Xu,
Ping Lin,
Huaxiong Huang,
Shixin Xu
Abstract:
A thermodynamically consistent phase-field model is introduced for simulating motion and shape transformation of vesicles under flow conditions. In particular, a general slip boundary condition is used to describe the interaction between vesicles and the wall of the fluid domain. A second-order accurate in both space and time C0 finite element method is proposed to solve the model governing equati…
▽ More
A thermodynamically consistent phase-field model is introduced for simulating motion and shape transformation of vesicles under flow conditions. In particular, a general slip boundary condition is used to describe the interaction between vesicles and the wall of the fluid domain. A second-order accurate in both space and time C0 finite element method is proposed to solve the model governing equations. Various numerical tests confirm the convergence, energy stability, and conservation of mass and surface area of cells of the proposed scheme. Vesicles with different mechanical properties are also used to explain the pathological risk for patients with sickle cell disease.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
A Note on Toroidal Maxwell-Cremona Correspondences
Authors:
Patrick Lin
Abstract:
We explore toroidal analogues of the Maxwell-Cremona correspondence. Erickson and Lin [arXiv:2003.10057] showed the following correspondence for geodesic torus graphs $G$: a positive equilibrium stress for $G$, an orthogonal embedding of its dual graph $G^*$, and vertex weights such that $G$ is the intrinsic weighted Delaunay graph of its vertices. We extend their results to equilibrium stresses t…
▽ More
We explore toroidal analogues of the Maxwell-Cremona correspondence. Erickson and Lin [arXiv:2003.10057] showed the following correspondence for geodesic torus graphs $G$: a positive equilibrium stress for $G$, an orthogonal embedding of its dual graph $G^*$, and vertex weights such that $G$ is the intrinsic weighted Delaunay graph of its vertices. We extend their results to equilibrium stresses that are not necessarily positive, which correspond to orthogonal drawings of $G^*$ that are not necessarily embeddings. We also give a correspondence between equilibrium stresses and parallel drawings of the dual.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
A Toroidal Maxwell-Cremona-Delaunay Correspondence
Authors:
Jeff Erickson,
Patrick Lin
Abstract:
We consider three classes of geodesic embeddings of graphs on Euclidean flat tori: (1) A toroidal graph embedding $Γ$ is positive equilibrium if it is possible to place positive weights on the edges, such that the weighted edge vectors incident to each vertex of $Γ$ sum to zero. (2) A toroidal graph embedding $Γ$ is reciprocal if there is a geodesic embedding $Γ^*$ of its dual on the same flat tor…
▽ More
We consider three classes of geodesic embeddings of graphs on Euclidean flat tori: (1) A toroidal graph embedding $Γ$ is positive equilibrium if it is possible to place positive weights on the edges, such that the weighted edge vectors incident to each vertex of $Γ$ sum to zero. (2) A toroidal graph embedding $Γ$ is reciprocal if there is a geodesic embedding $Γ^*$ of its dual on the same flat torus, where each edge of $Γ$ is orthogonal to the corresponding dual edge in $Γ^*$. (3) A toroidal graph embedding $Γ$ is coherent if it is possible to assign weights to the vertices, so that $Γ$ is the (intrinsic) weighted Delaunay graph of its vertices. The classical Maxwell-Cremona correspondence and the well-known correspondence between convex hulls and weighted Delaunay triangulations imply that the analogous concepts for planar graph embeddings (with convex outer faces) are equivalent. Indeed, all three conditions are equivalent to $Γ$ being the projection of the 1-skeleton of the lower convex hull of points in $\mathbb{R}^3$. However, this three-way equivalence does not extend directly to geodesic graph embeddings on flat tori. On any flat torus, reciprocal and coherent embeddings are equivalent, and every reciprocal embedding is in positive equilibrium, but not every positive equilibrium embedding is reciprocal. We establish a weaker correspondence: Every positive equilibrium embedding on any flat torus is affinely equivalent to a reciprocal/coherent embedding on some flat torus.
△ Less
Submitted 5 February, 2022; v1 submitted 22 March, 2020;
originally announced March 2020.
-
Distributed velocity-constrained consensus of discrete-time multi-agent systems with nonconvex constraints, switching topologies, and delays
Authors:
Peng Lin,
Wei Ren,
Huijun Gao
Abstract:
In this paper, a distributed velocity-constrained consensus problem is studied for discrete-time multi-agent systems, where each agent's velocity is constrained to lie in a nonconvex set. A distributed constrained control algorithm is proposed to enable all agents to converge to a common point using only local information. {The gains of the algorithm for all agents need not to be the same or prede…
▽ More
In this paper, a distributed velocity-constrained consensus problem is studied for discrete-time multi-agent systems, where each agent's velocity is constrained to lie in a nonconvex set. A distributed constrained control algorithm is proposed to enable all agents to converge to a common point using only local information. {The gains of the algorithm for all agents need not to be the same or predesigned and can be adjusted by each agent itself based on its own and neighbors' information.}
It is shown that the algorithm is robust to arbitrarily bounded communication delays and arbitrarily switching communication graphs provided that the union of the graphs has directed spanning trees among each certain time interval. The analysis approach is based on multiple novel model transformations, proper control parameter selections, boundedness analysis of state-dependent stochastic matrices, exploitation of the convexity of stochastic matrices, and the joint connectivity of the communication graphs. Numerical examples are included to illustrate the theoretical results.
△ Less
Submitted 3 March, 2020;
originally announced March 2020.
-
An energy stable $C^0$ finite element scheme for a quasi-incompressible phase-field model of moving contact line with variable density
Authors:
Lingyue Shen,
Huaxiong Huang,
Ping Lin,
Zilong Song,
Shixin Xu
Abstract:
In this paper, we focus on modeling and simulation of two-phase flow with moving contact lines and variable density. A thermodynamically consistent phase-field model with General Navier Boundary Condition is developed based on the concept of quasi-incompressibility and the energy variational method. Then a mass conserving and energy stable C0 finite element scheme is developed to solve the PDE sys…
▽ More
In this paper, we focus on modeling and simulation of two-phase flow with moving contact lines and variable density. A thermodynamically consistent phase-field model with General Navier Boundary Condition is developed based on the concept of quasi-incompressibility and the energy variational method. Then a mass conserving and energy stable C0 finite element scheme is developed to solve the PDE system. Various numerical simulation results show that the proposed schemes are mass conservative, energy stable and the 2nd order for P1 element and 3rd order for P2 element convergence rate in the sense of L2 norm.
△ Less
Submitted 14 August, 2019; v1 submitted 9 August, 2019;
originally announced August 2019.
-
Distributed optimization with nonconvex velocity constraints, nonuniform position constraints and nonuniform stepsizes
Authors:
Peng Lin,
Wei Ren,
Chunhua Yang,
Weihua Gui
Abstract:
This note is devoted to the distributed optimization problem of multi-agent systems with nonconvex velocity constraints, nonuniform position constraints and nonuniform stepsizes. Two distributed constrained algorithms with nonconvex velocity constraints and nonuniform stepsizes are proposed in the absence and the presence of nonuniform position constraints by introducing a switching mechanism to g…
▽ More
This note is devoted to the distributed optimization problem of multi-agent systems with nonconvex velocity constraints, nonuniform position constraints and nonuniform stepsizes. Two distributed constrained algorithms with nonconvex velocity constraints and nonuniform stepsizes are proposed in the absence and the presence of nonuniform position constraints by introducing a switching mechanism to guarantee all agents' position states to remain in a bounded region. The algorithm gains need not to be predesigned and can be selected by each agent using its own and neighbours' information. By a model transformation, the original nonlinear time-varying system is converted into a linear time-varying one with a nonlinear error term. Based on the properties of stochastic matrices, it is shown that the optimization problem can be solved as long as the communication topologies are jointly strongly connected and balanced. Numerical examples are given to show the obtained theoretical results.
△ Less
Submitted 28 February, 2020; v1 submitted 13 June, 2019;
originally announced June 2019.
-
Output feedback stabilization for heat equations with sampled-data controls
Authors:
Hanbing Liu,
Pin Lin,
Gengsheng Wang
Abstract:
In this paper, we build up an output feedback law to stabilize a sampled-data controlled heat equation (with a potential) in a bounded domain $Ω$. The feedback law abides the following rules: First, we divide equally the time interval $[0,+\infty)$ into infinitely many disjoint time periods, and divide each time period into three disjoint subintervals. Second, for each time period, we observe a so…
▽ More
In this paper, we build up an output feedback law to stabilize a sampled-data controlled heat equation (with a potential) in a bounded domain $Ω$. The feedback law abides the following rules: First, we divide equally the time interval $[0,+\infty)$ into infinitely many disjoint time periods, and divide each time period into three disjoint subintervals. Second, for each time period, we observe a solution over an open subset of $Ω$ in the first subinterval, take sample from outputs at one time point of the first subinterval, add a time-invariant output feedback control over another open subset of $Ω$ in the second subinterval; let the equation evolve free in the last subinterval. Thus, the corresponding feedback control is of sampled-data. Our feedback law has the following advantages: the sampling period (which is the length of the above time period) can be arbitrarily taken; the feedback law has an explicit expression in terms of the sampling period; the behaviors of the norm of the feedback law, when the sampling period goes to zero or infinity, are clear. The construction of the feedback law is based on two kinds of approximate null-controllability for heat equations. One has time-invariant controls, while another has impulse controls. The studies of the aforementioned controllability with time-invariant controls need a new observability inequality for heat equations built up in the current work.
△ Less
Submitted 19 October, 2018; v1 submitted 3 July, 2018;
originally announced July 2018.
-
A Posteriori Error Estimate and Adaptive Mesh Refinement Algorithm for Atomistic/Continuum Coupling with Finite Range Interactions in Two Dimensions
Authors:
Mingjie Liao,
Ping Lin,
Lei Zhang
Abstract:
In this paper, we develop the residual based a posteriori error estimates and the corresponding adaptive mesh refinement algorithm for atomistic/continuum (a/c) coupling with finite range interactions in two dimensions. We have systematically derived a new explicitly computable stress tensor formula for finite range interactions. In particular, we use the geometric reconstruction based consistent…
▽ More
In this paper, we develop the residual based a posteriori error estimates and the corresponding adaptive mesh refinement algorithm for atomistic/continuum (a/c) coupling with finite range interactions in two dimensions. We have systematically derived a new explicitly computable stress tensor formula for finite range interactions. In particular, we use the geometric reconstruction based consistent atomistic/continuum (GRAC) coupling scheme, which is optimal if the continuum model is discretized by $P^1$ finite elements. The numerical results of the adaptive mesh refinement algorithm is consistent with the optimal a priori error estimates.
△ Less
Submitted 28 June, 2018;
originally announced June 2018.
-
A consistency study of coarse-grained dynamical chains through a nonlinear wave equation of mixed type
Authors:
Mingjie Liao,
Ping Lin
Abstract:
A dynamical atomistic chain to simulate mechanical properties of a one-dimensional material with zero temperature may be modelled by the molecular dynamics (MD) model. Because the number of particles (atoms) is huge for a MD model, in practice one often takes a much smaller number of particles to formulate a coarse-grained approximation. We shall mainly consider the consistency of the coarse-grain…
▽ More
A dynamical atomistic chain to simulate mechanical properties of a one-dimensional material with zero temperature may be modelled by the molecular dynamics (MD) model. Because the number of particles (atoms) is huge for a MD model, in practice one often takes a much smaller number of particles to formulate a coarse-grained approximation. We shall mainly consider the consistency of the coarse-grained model with respect to the grain (mesh) size to provide a justification to the goodness of such an approximation. In order to reduce the characteristic oscillations with very different frequencies in such a model, we either add a viscous term to the coarse-grained MD model or apply a space average to the coarse-grained MD solutions for the consistency study. The coarse-grained solution is also compared with the solution of the (macroscopic) continuum model (a nonlinear wave equation of mixed type) to show how well the coarse-grained model can approximate the macroscopic behavior of the material. We also briefly study the instability of the dynamical atomistic chain and the solution of the Riemann problem of the continuum model which may be related to the defect of the atomistic chain under a large deformation in certain locations.
△ Less
Submitted 21 February, 2019; v1 submitted 28 June, 2018;
originally announced June 2018.
-
Multiple solutions and their asymptotics for laminar flows through a porous channel with different permeabilities
Authors:
Hongxia Guo,
Changfeng Gui,
Ping Lin,
Mingfeng Zhao
Abstract:
The existence and multiplicity of similarity solutions for the steady, incompressible and fully developed laminar flows in a uniformly porous channel with two permeable walls are investigated. We shall focus on the so-called asymmetric case where the upper wall is with an amount of flow injection and the lower wall with a different amount of suction. We show that there exist three solutions design…
▽ More
The existence and multiplicity of similarity solutions for the steady, incompressible and fully developed laminar flows in a uniformly porous channel with two permeable walls are investigated. We shall focus on the so-called asymmetric case where the upper wall is with an amount of flow injection and the lower wall with a different amount of suction. We show that there exist three solutions designated as type $I$, type $II$ and type $III$ for the asymmetric case. The numerical results suggest that a unique solution exists for the Reynolds number $0\leq R<14.10$ and two additional solutions appear for $R>14.10$. The corresponding asymptotic solution for each of the multiple solutions is constructed by the method of boundary layer correction or matched asymptotic expansion for the most difficult high Reynolds number case. Asymptotic solutions are all verified by their corresponding numerical solutions.
△ Less
Submitted 16 April, 2018;
originally announced April 2018.
-
Controlled Singular Volterra Integral Equations and Pontryagin Maximum Principle
Authors:
Ping Lin,
Jiongmin Yong
Abstract:
This paper is concerned with a class of controlled singular Volterra integral equations, which could be used to describe problems involving memories. The well-known fractional order ordinary differential equations of the Riemann--Liouville or Caputo types are strictly special cases of the equations studied in this paper. Well-posedness and some regularity results in proper spaces are established f…
▽ More
This paper is concerned with a class of controlled singular Volterra integral equations, which could be used to describe problems involving memories. The well-known fractional order ordinary differential equations of the Riemann--Liouville or Caputo types are strictly special cases of the equations studied in this paper. Well-posedness and some regularity results in proper spaces are established for such kind of questions. For the associated optimal control problem, by using a Liapounoff's type theorem and the spike variation technique, we establish a Pontryagin's type maximum principle for optimal controls. Different from the existing literature, our method enables us to deal with the problem without assuming regularity conditions on the controls, the convexity condition on the control domain, and some additional unnecessary conditions on the nonlinear terms of the integral equation and the cost functional.
△ Less
Submitted 16 December, 2017;
originally announced December 2017.
-
Distributed Continuous-Time and Discrete-Time Optimization With Nonuniform Unbounded Convex Constraint Sets and Nonuniform Stepsizes
Authors:
Peng Lin,
Wei Ren,
Chunhua Yang,
Weihua Gui
Abstract:
This paper is devoted to distributed continuous-time and discrete-time optimization problems with nonuniform convex constraint sets and nonuniform stepsizes for general differentiable convex objective functions. The communication graphs are not required to be strongly connected at any time, the gradients of the local objective functions are not required to be bounded when their independent variabl…
▽ More
This paper is devoted to distributed continuous-time and discrete-time optimization problems with nonuniform convex constraint sets and nonuniform stepsizes for general differentiable convex objective functions. The communication graphs are not required to be strongly connected at any time, the gradients of the local objective functions are not required to be bounded when their independent variables tend to infinity, and the constraint sets are not required to be bounded. For continuous-time multi-agent systems, a distributed continuous algorithm is first introduced where the stepsizes and the convex constraint sets are both nonuniform. It is shown that all agents reach a consensus while minimizing the team objective function even when the constraint sets are unbounded. After that, the obtained results are extended to discrete-time multi-agent systems and then the case where each agent remains in a corresponding convex constraint set is studied. To ensure all agents to remain in a bounded region, a switching mechanism is introduced in the algorithms. It is shown that the distributed optimization problems can be solved, even though the discretization of the algorithms might deviate the convergence of the agents from the minimum of the objective functions. Finally, numerical examples are included to show the obtained theoretical results.
△ Less
Submitted 1 March, 2020; v1 submitted 26 March, 2017;
originally announced March 2017.
-
Distributed Adaptive Gradient Optimization Algorithm
Authors:
Peng Lin,
Wei Ren
Abstract:
In this paper, a distributed optimization problem with general differentiable convex objective functions is studied for single-integrator and double-integrator multi-agent systems. Two distributed adaptive optimization algorithm is introduced which uses the relative information to construct the gain of the interaction term. The analysis is performed based on the Lyapunov functions, the analysis of…
▽ More
In this paper, a distributed optimization problem with general differentiable convex objective functions is studied for single-integrator and double-integrator multi-agent systems. Two distributed adaptive optimization algorithm is introduced which uses the relative information to construct the gain of the interaction term. The analysis is performed based on the Lyapunov functions, the analysis of the system solution and the convexity of the local objective functions. It is shown that if the gradients of the convex objective functions are continuous, the team convex objective function can be minimized as time evolves for both single-integrator and double-integrator multi-agent systems. Numerical examples are included to show the obtained theoretical results.
△ Less
Submitted 26 March, 2017;
originally announced March 2017.
-
Mass Conservative and Energy Stable Finite Difference Methods for the Quasi-incompressible Navier-Stokes-Cahn-Hilliard system: Primitive Variable and Projection-Type Schemes
Authors:
Zhenlin Guo,
Ping Lin,
Steven Wise,
John Lowengrub
Abstract:
In this paper we describe two fully mass conservative, energy stable, finite difference methods on a staggered grid for the quasi-incompressible Navier-Stokes-Cahn-Hilliard (q-NSCH) system governing a binary incompressible fluid flow with variable density and viscosity. Both methods, namely the primitive method (finite difference method in the primitive variable formulation) and the projection met…
▽ More
In this paper we describe two fully mass conservative, energy stable, finite difference methods on a staggered grid for the quasi-incompressible Navier-Stokes-Cahn-Hilliard (q-NSCH) system governing a binary incompressible fluid flow with variable density and viscosity. Both methods, namely the primitive method (finite difference method in the primitive variable formulation) and the projection method (finite difference method in a projection-type formulation), are so designed that the mass of the binary fluid is preserved, and the energy of the system equations is always non-increasing in time at the fully discrete level. We also present an efficient, practical nonlinear multigrid method - comprised of a standard FAS method for the Cahn-Hilliard equation, and a method based on the Vanka-type smoothing strategy for the Navier-Stokes equation - for solving these equations. We test the scheme in the context of Capillary Waves, rising droplets and Rayleigh-Taylor instability. Quantitative comparisons are made with existing analytical solutions or previous numerical results that validate the accuracy of our numerical schemes. Moreover, in all cases, mass of the single component and the binary fluid was conserved up to 10 to -8 and energy decreases in time.
△ Less
Submitted 12 August, 2017; v1 submitted 20 March, 2017;
originally announced March 2017.
-
A Posteriori Error Estimation and Adaptive Algorithm for the Atomistic/Continuum Coupling in 2D
Authors:
Hao Wang,
Mingjie Liao,
Ping Lin,
Lei Zhang
Abstract:
Atomistic/continuum coupling methods aim to achieve optimal balance between accuracy and efficiency. Adaptivity is the key for the efficient implementation of such methods. In this paper, we carry out a rigorous a posteriori analysis of the residual, the stability constant, and the error bound, for a consistent atomistic/continuum coupling method in 2D. We design and implement the corresponding ad…
▽ More
Atomistic/continuum coupling methods aim to achieve optimal balance between accuracy and efficiency. Adaptivity is the key for the efficient implementation of such methods. In this paper, we carry out a rigorous a posteriori analysis of the residual, the stability constant, and the error bound, for a consistent atomistic/continuum coupling method in 2D. We design and implement the corresponding adaptive mesh refinement algorithm, and the convergence rate with respect to degrees of freedom is optimal compare with a priori error estimates.
△ Less
Submitted 13 June, 2018; v1 submitted 8 February, 2017;
originally announced February 2017.
-
A multiscale mathematical model of tumour invasive growth
Authors:
Lu Peng,
Dumitru Trucu,
Ping Lin,
Alastair Thompson,
Mark A. J. Chaplain
Abstract:
Known as one of the hallmarks of cancer [30], cancer cell invasion of human body tissue is a complicated spatio-temporal multiscale process which enables a localised solid tumour to transform into a systemic, metastatic and fatal disease. This process explores and takes advantage of the reciprocal relation that solid tumours establish with the extracellular matrix (ECM) components and other multip…
▽ More
Known as one of the hallmarks of cancer [30], cancer cell invasion of human body tissue is a complicated spatio-temporal multiscale process which enables a localised solid tumour to transform into a systemic, metastatic and fatal disease. This process explores and takes advantage of the reciprocal relation that solid tumours establish with the extracellular matrix (ECM) components and other multiple distinct cell types from the surrounding microenvironment. Through the secretion of various proteolytic enzymes such as matrix metalloproteinases (MMP) or the urokinase plasminogen activator (uPA), the cancer cell population alters the configuration of the surrounding ECM composition and overcomes the physical barriers to ultimately achieve local cancer spread into the surrounding tissue. The active interplay between the tissue-scale tumour dynamics and the molecular mechanics of the involved proteolytic enzymes at the cell-scale underlines the biologically multiscale character of invasion, and raises the challenge of modelling this process with an appropriate multiscale approach. In this paper, we present a new two-scale moving boundary model of cancer invasion that explores the tissue scale tumour dynamics in conjunction with the molecular dynamics of the urokinase plasminogen activation system. Building on the multiscale moving boundary method proposed in [58], the modelling that we propose here allows us to study the changes in tissue scale tumour morphology caused by the cell-scale uPA micro-dynamics occurring along the invasive edge of the tumour. Our computational simulation results demonstrate a range of heterogeneous dynamics which are qualitatively similar to the invasive growth patterns observed in a number of different types of cancer, such as the tumour infiltrative growth patterns discussed in [33].
△ Less
Submitted 24 March, 2016;
originally announced March 2016.
-
Pricing Two-asset Options under Exponential Lévy Model Using a Finite Element Method
Authors:
Xun Li,
Ping Lin,
Xue-Cheng Tai,
Jinghui Zhou
Abstract:
This article presents a finite element method (FEM) for a partial integro-differential equation (PIDE) to price two-asset options with underlying price processes modeled by an exponential Levy process. We provide a variational formulation in a weighted Sobolev space, and establish existence and uniqueness of the FEM-based solution. Then we discuss the localization of the infinite domain problem to…
▽ More
This article presents a finite element method (FEM) for a partial integro-differential equation (PIDE) to price two-asset options with underlying price processes modeled by an exponential Levy process. We provide a variational formulation in a weighted Sobolev space, and establish existence and uniqueness of the FEM-based solution. Then we discuss the localization of the infinite domain problem to a finite domain and analyze its error. We tackle the localized problem by an explicit-implicit time-discretization of the PIDE, where the space-discretization is done through a standard continuous finite element method. Error estimates are given for the fully discretized localized problem where two assets are assumed to have uncorrelated jumps. Numerical experiments for the polynomial option and a few other two-asset options shed light on good performance of our proposed method.
△ Less
Submitted 16 November, 2015;
originally announced November 2015.
-
Discrete Stochastic Submodular Maximization: Adaptive vs. Non-Adaptive vs. Offline
Authors:
Lisa Hellerstein,
Devorah Kletenik,
Patrick Lin
Abstract:
We consider the problem of stochastic monotone submodular function maximization, subject to constraints. We give results on adaptivity gaps, and on the gap between the optimal offline and online solutions. We present a procedure that transforms a decision tree (adaptive algorithm) into a non-adaptive chain. We prove that this chain achieves at least $τ$ times the utility of the decision tree, over…
▽ More
We consider the problem of stochastic monotone submodular function maximization, subject to constraints. We give results on adaptivity gaps, and on the gap between the optimal offline and online solutions. We present a procedure that transforms a decision tree (adaptive algorithm) into a non-adaptive chain. We prove that this chain achieves at least $τ$ times the utility of the decision tree, over a product distribution and binary state space, where $τ = \min_{i,j} \Pr[x_i=j]$. This proves an adaptivity gap of $1/τ$ (which is $2$ in the case of a uniform distribution) for the problem of stochastic monotone submodular maximization subject to state-independent constraints. For a cardinality constraint, we prove that a simple adaptive greedy algorithm achieves an approximation factor of $(1-1/e^τ)$ with respect to the optimal offline solution; previously, it has been proven that the algorithm achieves an approximation factor of $(1-1/e)$ with respect to the optimal adaptive online solution. Finally, we show that there exists a non-adaptive solution for the stochastic max coverage problem that is within a factor $(1-1/e)$ of the optimal adaptive solution and within a factor of $τ(1-1/e)$ of the optimal offline solution.
△ Less
Submitted 24 April, 2015; v1 submitted 8 April, 2015;
originally announced April 2015.
-
A numerical method for the quasi-incompressible Cahn-Hilliard-Navier-Stokes equations for variable density flows with a discrete energy law
Authors:
Zhenlin Guo,
Ping Lin,
John S. Lowengrub
Abstract:
In this paper, we investigate numerically a diffuse interface model for the Navier-Stokes equation with fluid-fluid interface when the fluids have different densities \cite{Lowengrub1998}. Under minor reformulation of the system, we show that there is a continuous energy law underlying the system, assuming that all variables have reasonable regularities. It is shown in the literature that an energ…
▽ More
In this paper, we investigate numerically a diffuse interface model for the Navier-Stokes equation with fluid-fluid interface when the fluids have different densities \cite{Lowengrub1998}. Under minor reformulation of the system, we show that there is a continuous energy law underlying the system, assuming that all variables have reasonable regularities. It is shown in the literature that an energy law preserving method will perform better for multiphase problems. Thus for the reformulated system, we design a $C^0$ finite element method and a special temporal scheme where the energy law is preserved at the discrete level. Such a discrete energy law (almost the same as the continuous energy law) for this variable density two-phase flow model has never been established before with $C^0$ finite element. A Newton's method is introduced to linearise the highly non-linear system of our discretization scheme. Some numerical experiments are carried out using the adaptive mesh to investigate the scenario of coalescing and rising drops with differing density ratio. The snapshots for the evolution of the interface together with the adaptive mesh at different times are presented to show that the evolution, including the break-up/pinch-off of the drop, can be handled smoothly by our numerical scheme. The discrete energy functional for the system is examined to show that the energy law at the discrete level is preserved by our scheme.
△ Less
Submitted 19 February, 2014; v1 submitted 6 February, 2014;
originally announced February 2014.
-
A priori and a posteriori $W^{1,\infty}$ error analysis of a QC method for complex lattices
Authors:
Assyr Abdulle,
Ping Lin,
Alexander V. Shapeev
Abstract:
In this paper we prove a priori and a posteriori error estimates for a multiscale numerical method for computing equilibria of multilattices under an external force. The error estimates are derived in a $W^{1,\infty}$ norm in one space dimension. One of the features of our analysis is that we establish an equivalent way of formulating the coarse-grained problem which greatly simplifies derivation…
▽ More
In this paper we prove a priori and a posteriori error estimates for a multiscale numerical method for computing equilibria of multilattices under an external force. The error estimates are derived in a $W^{1,\infty}$ norm in one space dimension. One of the features of our analysis is that we establish an equivalent way of formulating the coarse-grained problem which greatly simplifies derivation of the error bounds (both, a priori and a posteriori). We illustrate our error estimates with numerical experiments.
△ Less
Submitted 7 October, 2012;
originally announced October 2012.
-
Quenching Time Optimal Control for Some Ordinary Differential Equations
Authors:
Ping Lin
Abstract:
This paper concerns some time optimal control problems of three different ordinary differential equations in $\mathbb{R}^2$. Corresponding to certain initial data and controls, the solutions of the systems quench at finite time. The goal to control the systems is to minimize the quenching time. To our best knowledge, the study on quenching time optimal control problems has not been touched upon. T…
▽ More
This paper concerns some time optimal control problems of three different ordinary differential equations in $\mathbb{R}^2$. Corresponding to certain initial data and controls, the solutions of the systems quench at finite time. The goal to control the systems is to minimize the quenching time. To our best knowledge, the study on quenching time optimal control problems has not been touched upon. The purpose of this study is to obtain the existence and the Pontryagin maximum principles of optimal controls. We hope that our methods could hint people to study the same problems with more general vector fields in $\mathbb{R}^d$ with $d\in \mathbb{N}$. We also wish that our results could be extended to the same issue for parabolic equations.
△ Less
Submitted 4 September, 2012;
originally announced September 2012.
-
The Riesz transform for homogeneous Schrödinger operators on metric cones
Authors:
Andrew Hassell,
Peijie Lin
Abstract:
We consider Schroedinger operators on metric cones whose cross section is a closed Riemannian manifold $(Y, h)$ of dimension $d-1 \geq 2$. Thus the metric on the cone $M = (0, \infty)_r \times Y$ is $dr^2 + r^2 h$. Let $Δ$ be the Friedrichs Laplacian on $M$ and $V_0$ be a smooth function on $Y$, such that $Δ_Y + V_0 + (d-2)^2/4$ is a strictly positive operator on $L^2(Y)$, with lowest eigenvalue…
▽ More
We consider Schroedinger operators on metric cones whose cross section is a closed Riemannian manifold $(Y, h)$ of dimension $d-1 \geq 2$. Thus the metric on the cone $M = (0, \infty)_r \times Y$ is $dr^2 + r^2 h$. Let $Δ$ be the Friedrichs Laplacian on $M$ and $V_0$ be a smooth function on $Y$, such that $Δ_Y + V_0 + (d-2)^2/4$ is a strictly positive operator on $L^2(Y)$, with lowest eigenvalue $μ^2_0 $ and second lowest eigenvalue $μ^2_1$, with $μ_0, μ_1 > 0$. The operator we consider is $H = Δ+ V_0/r^2$, a Schrödinger operator with inverse square potential on $M$; notice that $H$ is homogeneous of degree -2.
We study the Riesz transform $T = \nabla H^{-1/2}$ and determine the precise range of $p$ for which $T$ is bounded on $L^p(M)$. This is achieved by making a precise analysis of the operator $(H + 1)^{-1}$ and determining the complete asymptotics of its integral kernel. We prove that if $V$ is not identically zero, then the range of $p$ for $L^p$ boundedness is
$$ d/ \Big(min(1+d/2+μ_0, d \Big) < p < d / \Big(max(d/2-μ_0, 0) \Big),$$
while if $V$ is identically zero, then the range is
$$ 1 < p < d / \Big(max(d/2-μ_1, 0 \Big).$$
The result in the case $V$ identically zero was first obtained in a paper by H.-Q. Li.
△ Less
Submitted 14 June, 2012;
originally announced June 2012.
-
Numerical Methods for Multilattices
Authors:
Assyr Abdulle,
Ping Lin,
Alexander V. Shapeev
Abstract:
Among the efficient numerical methods based on atomistic models, the quasicontinuum (QC) method has attracted growing interest in recent years. The QC method was first developed for crystalline materials with Bravais lattice and was later extended to multilattices (Tadmor et al, 1999). Another existing numerical approach to modeling multilattices is homogenization. In the present paper we review t…
▽ More
Among the efficient numerical methods based on atomistic models, the quasicontinuum (QC) method has attracted growing interest in recent years. The QC method was first developed for crystalline materials with Bravais lattice and was later extended to multilattices (Tadmor et al, 1999). Another existing numerical approach to modeling multilattices is homogenization. In the present paper we review the existing numerical methods for multilattices and propose another concurrent macro-to-micro method in the numerical homogenization framework. We give a unified mathematical formulation of the new and the existing methods and show their equivalence. We then consider extensions of the proposed method to time-dependent problems and to random materials.
△ Less
Submitted 10 September, 2012; v1 submitted 18 July, 2011;
originally announced July 2011.
-
Non-Friedrichs Self-adjoint extensions of the Laplacian in R^d
Authors:
Paul Lin
Abstract:
This is an expository paper about self-adjoint extensions of the Laplacian on R^d, initially defined on functions supported away from a point. Let L be the Laplacian with domain smooth functions with compact support away from the origin. We determine all the self-adjoint extensions of L by calculating the deficiency subspaces of the closure of L. In the case d=3, the self-adjoint extensions are pa…
▽ More
This is an expository paper about self-adjoint extensions of the Laplacian on R^d, initially defined on functions supported away from a point. Let L be the Laplacian with domain smooth functions with compact support away from the origin. We determine all the self-adjoint extensions of L by calculating the deficiency subspaces of the closure of L. In the case d=3, the self-adjoint extensions are parametrized by a circle, or equivalently by the real line plus a point at infinity. We show that the non-Friedrichs extensions have either a single eigenvalue or a single resonance. This is of some interest since self-adjoint Schrödinger operators $Δ+V$ on R^d either have no resonance (if $V\equiv 0$) or infinitely many (if $V\not\equiv 0$). For these non-Friedrichs self-adjoint extensions, the kernel of the resolvent is calculated explicitly. Finally we use this knowledge to study a wave equation involving these non-Friedrichs extensions, and explicitly determine the wave kernel.
△ Less
Submitted 15 April, 2011; v1 submitted 31 March, 2011;
originally announced March 2011.
-
On the approximate fixed point property in abstract spaces
Authors:
Cleon S. Barroso,
Ondřej F. K. Kalenda,
Pei-Kee Lin
Abstract:
Let $X$ be a Hausdorff topological vector space, $X^*$ its topological dual and $Z$ a subset of $X^*$. In this paper, we establish some results concerning the $σ(X,Z)$-approximate fixed point property for bounded, closed convex subsets $C$ of $X$. Three major situations are studied. First when $Z$ is separable in the strong topology. Second when $X$ is a metrizable locally convex space and…
▽ More
Let $X$ be a Hausdorff topological vector space, $X^*$ its topological dual and $Z$ a subset of $X^*$. In this paper, we establish some results concerning the $σ(X,Z)$-approximate fixed point property for bounded, closed convex subsets $C$ of $X$. Three major situations are studied. First when $Z$ is separable in the strong topology. Second when $X$ is a metrizable locally convex space and $Z=X^*$, and third when $X$ is not necessarily metrizable but admits a metrizable locally convex topology compatible with the duality. Our approach focuses on establishing the Fréchet-Urysohn property for certain sets with regarding the $σ(X,Z)$-topology. The support tools include the Brouwer's fixed point theorem and an analogous version of the classical Rosenthal's $\ell_1$-theorem for $\ell_1$-sequences in metrizable case. The results are novel and generalize previous work obtained by the authors in Banach spaces.
△ Less
Submitted 18 April, 2011; v1 submitted 27 January, 2011;
originally announced January 2011.
-
Homogenization-based Analysis of Quasicontinuum Method for Complex Crystals
Authors:
Assyr Abdulle,
Ping Lin,
Alexander V. Shapeev
Abstract:
Among the efficient numerical methods based on atomistic models, the quasicontinuum (QC) method, introduced by Tadmor, Ortiz, and Phillips (1996), has attracted growing interest in recent years. Originally, the QC method was developed for materials with simple crystalline lattice (simple crystals) and later was extended to complex lattice (Tadmor et al, 1999). In the present paper we formulate the…
▽ More
Among the efficient numerical methods based on atomistic models, the quasicontinuum (QC) method, introduced by Tadmor, Ortiz, and Phillips (1996), has attracted growing interest in recent years. Originally, the QC method was developed for materials with simple crystalline lattice (simple crystals) and later was extended to complex lattice (Tadmor et al, 1999). In the present paper we formulate the QC method for complex lattices in a homogenization framework and perform analysis of such a method in a 1D setting. We also present numerical examples showing that the convergence results are valid in a more general setting.
△ Less
Submitted 2 June, 2010;
originally announced June 2010.
-
Energy-based ghost force removing techniques for the quasicontinuum method
Authors:
Ping Lin,
Alexander V. Shapeev
Abstract:
This paper studies numerical methods for accurate treatment of the interface between the local and the nonlocal region in a QC approximation of atomistic materials. Only the energy-based methods are considered. Particularly, a quasicontinuum projection (QCP) method based on the idea of finite elements is shown to be accurate and efficient for this problem. We analyse the QCP method and study its…
▽ More
This paper studies numerical methods for accurate treatment of the interface between the local and the nonlocal region in a QC approximation of atomistic materials. Only the energy-based methods are considered. Particularly, a quasicontinuum projection (QCP) method based on the idea of finite elements is shown to be accurate and efficient for this problem. We analyse the QCP method and study its relation to the existing methods, such as the quasinonlocal quasicontinuum method and the geometrically consistent reconstruction-based method. The analysis and the results of numerical tests confirm that the projection-based QC method successfully removes the ghost force with the same computational cost as the other methods. In all computed examples the error of QCP is either the same or lower as the error of the other methods. The performance of these methods in treating interfaces of elements in the local region is also examined.
△ Less
Submitted 29 September, 2009;
originally announced September 2009.
-
Analysis of binary spatial data by quasi-likelihood estimating equations
Authors:
Pei-Sheng Lin,
Murray K. Clayton
Abstract:
The goal of this paper is to describe the application of quasi-likelihood estimating equations for spatially correlated binary data. In this paper, a logistic function is used to model the marginal probability of binary responses in terms of parameters of interest. With mild assumptions on the correlations, the Leonov-Shiryaev formula combined with a comparison of characteristic functions can be…
▽ More
The goal of this paper is to describe the application of quasi-likelihood estimating equations for spatially correlated binary data. In this paper, a logistic function is used to model the marginal probability of binary responses in terms of parameters of interest. With mild assumptions on the correlations, the Leonov-Shiryaev formula combined with a comparison of characteristic functions can be used to establish asymptotic normality for linear combinations of the binary responses. The consistency and asymptotic normality for quasi-likelihood estimates can then be derived. By modeling spatial correlation with a variogram, we apply these asymptotic results to test independence of two spatially correlated binary outcomes and illustrate the concepts with a well-known example based on data from Lansing Woods. The comparison of generalized estimating equations and the proposed approach is also discussed.
△ Less
Submitted 27 May, 2005;
originally announced May 2005.
-
The ring grooming problem
Authors:
Timothy Y. Chow,
Philip J. Lin
Abstract:
The problem of minimizing the number of bidirectional SONET rings required to support a given traffic demand has been studied by several researchers. Here we study the related ``ring grooming problem'' of minimizing the number of add/drop locations instead of the number of rings; in a number of situations this is a better approximation to the true equipment cost. Our main result is a new lower b…
▽ More
The problem of minimizing the number of bidirectional SONET rings required to support a given traffic demand has been studied by several researchers. Here we study the related ``ring grooming problem'' of minimizing the number of add/drop locations instead of the number of rings; in a number of situations this is a better approximation to the true equipment cost. Our main result is a new lower bound for the case of uniform traffic. This allows us to prove that a certain simple algorithm for uniform traffic is in fact a constant-factor approximation algorithm, and it also demonstrates that known lower bounds for the general problem--in particular, the linear programming relaxation--are not within a constant factor of the optimum. We also show that our results for uniform traffic extend readily to the more practically important case of quasi-uniform traffic. Finally, we show that if the number of nodes on the ring is fixed, then ring grooming is solvable in polynomial time; however, whether ring grooming is fixed-parameter tractable is still an open question.
△ Less
Submitted 29 December, 2003; v1 submitted 10 January, 2001;
originally announced January 2001.
-
On the extension of 2- polynomials
Authors:
P. K. Lin
Abstract:
Let $X$ be a three dimensional real Banach space. Benítez and Otero \cite {BeO} showed that if the unit ball of $X$ is is an intersection of two ellipsoids, then every 2-polynomial defined in a linear subspace of $X$ can be extended to $X$ preserving the norm. In this article, we extend this result to any finite dimensional Banach space.
Let $X$ be a three dimensional real Banach space. Benítez and Otero \cite {BeO} showed that if the unit ball of $X$ is is an intersection of two ellipsoids, then every 2-polynomial defined in a linear subspace of $X$ can be extended to $X$ preserving the norm. In this article, we extend this result to any finite dimensional Banach space.
△ Less
Submitted 10 January, 1995;
originally announced January 1995.
-
Extremal properties of contraction semigroups on $c_o$
Authors:
P. K. Lin
Abstract:
For any complex Banach space $X$, let $J$ denote the duality mapping of $X$. For any unit vector $x$ in $X$ and any ($C_0$) contraction semigroup $(T_t)_{t>0}$ on $X$, Baillon and Guerre-Delabriere proved that if $X$ is a smooth reflexive Banach space and if there is $x^* \in J(x)$ such that $|\langle T(t) \, x,J(x)\rangle| \to 1 $ as $t \to \infty$, then there is a unit vector $y\in X$ which is…
▽ More
For any complex Banach space $X$, let $J$ denote the duality mapping of $X$. For any unit vector $x$ in $X$ and any ($C_0$) contraction semigroup $(T_t)_{t>0}$ on $X$, Baillon and Guerre-Delabriere proved that if $X$ is a smooth reflexive Banach space and if there is $x^* \in J(x)$ such that $|\langle T(t) \, x,J(x)\rangle| \to 1 $ as $t \to \infty$, then there is a unit vector $y\in X$ which is an eigenvector of the generator $A$ of $(T_t)_{t>0}$ associated with a purely imaginary eigenvalue. They asked whether this result is still true if $X$ is replaced by $c_o$. In this article, we show the answer is negative.
△ Less
Submitted 19 December, 1994;
originally announced December 1994.
-
A remark on contraction semigroups on Banach spaces
Authors:
P. K. Lin
Abstract:
Let $X$ be a complex Banach space and let $J:X \to X^*$ be a duality section on $X$ (i.e. $\langle x,J(x)\rangle=\|J(x)\|\|x\|=\|J(x)\|^2=\|x\|^2$). For any unit vector $x$ and any ($C_0$) contraction semigroup $T=\{e^{tA}:t \geq 0\}$, Goldstein proved that if $X$ is a Hilbert space and if $|\langle T(t) x,J(x)\rangle| \to 1 $ as $t \to \infty$, then $x$ is an eigenvector of $A$ corresponding to…
▽ More
Let $X$ be a complex Banach space and let $J:X \to X^*$ be a duality section on $X$ (i.e. $\langle x,J(x)\rangle=\|J(x)\|\|x\|=\|J(x)\|^2=\|x\|^2$). For any unit vector $x$ and any ($C_0$) contraction semigroup $T=\{e^{tA}:t \geq 0\}$, Goldstein proved that if $X$ is a Hilbert space and if $|\langle T(t) x,J(x)\rangle| \to 1 $ as $t \to \infty$, then $x$ is an eigenvector of $A$ corresponding to a purely imaginary eigenvalue. In this article, we prove the similar result holds if $X$ is a strictly convex complex Banach space.
△ Less
Submitted 6 June, 1994;
originally announced June 1994.
-
Unrestricted products of contractions in Banach spaces
Authors:
P. K. Lin
Abstract:
Let $X$ be a reflexive Banach space such that for any $x \ne 0$ the set $$ \{x^* \in X^*: \text {$\|x^*\|=1$ and $x^*(x)=\|x\|$}\} $$ is compact. We prove that any unrestricted product of of a finite number of $(W)$ contractions on $X$ converges weakly.
Let $X$ be a reflexive Banach space such that for any $x \ne 0$ the set $$ \{x^* \in X^*: \text {$\|x^*\|=1$ and $x^*(x)=\|x\|$}\} $$ is compact. We prove that any unrestricted product of of a finite number of $(W)$ contractions on $X$ converges weakly.
△ Less
Submitted 30 October, 1992;
originally announced October 1992.
