We study analytic properties of harmonic maps from Riemannian polyhedra into CAT(κ) spaces for κ∈{0,1}. Locally, on each top-dimensional face of the domain, this amounts to studying harmonic maps from smooth domains into CAT(κ) spaces. We compute a target variation formula that captures the curvature bound in the target, and use it to prove an Lp Liouville-type theorem for harmonic maps from admissible polyhedra into convex CAT(κ) spaces. Another consequence we derive from the target variation formula is the Eells–Sampson Bochner formula for CAT(1) targets.

No abstract uploaded!

The eigenvalues and eigenspaces of some discrete div- and curl-related operators are investigated. The discrete operators give some good discrete analogues of the continuous counterparts and play an important role in developing finite volume schemes for solving div-curl equations and electromagnetic systems. Knowledge of the eigenvalues and eigenspaces is very useful in the numerical analysis of finite volume methods for electromagetic systems in <i>nonhomogeneous</i> media.

This paper proposes using the neural networks to efficiently solve the second-order cone programs (SOCP). To establish the neural networks, the SOCP is first reformulated as a second-order cone complementarity problem (SOCCP) with the KarushKuhnTucker conditions of the SOCP. The SOCCP functions, which transform the SOCCP into a set of nonlinear equations, are then utilized to design the neural networks. We propose two kinds of neural networks with the different SOCCP functions. The first neural network uses the FischerBurmeister function to achieve an unconstrained minimization with a merit function. We show that the merit function is a Lyapunov function and this neural network is asymptotically stable. The second neural network utilizes the natural residual function with the cone projection function to achieve low computation complexity. It is shown to be Lyapunov stable and converges globally

In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop group representations. Second we prove a family rigidity theorem for spin^ c-manifolds. Several vanishing theorems on both cases are also obtained.