We consider several modified versions of the Positivstellensatz for global analytic functions that involve infinite sums of squares and/or positive semidefinite analytic functions. We obtain a general local-global criterion which localizes the obstruction to have such a global result. This criterion allows us to get completely satisfactory results for analytic curves, normal analytic surfaces and real coherent analytic sets whose connected components are all compact.

No abstract uploaded!

First-order methods have been popularly used for solving large-scale problems. However, many existing works only consider unconstrained problems or those with simple constraint. In this paper, we develop two first-order methods for constrained convex programs, for which the constraint set is represented by affine equations and smooth nonlinear inequalities. Both methods are based on the classic augmented Lagrangian function. They update the multipliers in the same way as the augmented Lagrangian method (ALM) but employ different primal variable updates. The first method, at each iteration, performs a single proximal gradient step to the primal variable, and the second method is a block update version of the first one.

In this note we show that if a projective manifold admits a Khler metric with negative holomorphic sectional curvature then the canonical bundle of the manifold is ample. This confirms a conjecture of the second author.

A time-dependent HermiteGalerkin spectral method (THGSM) is investigated in this paper for the nonlinear convectiondiffusion equations in the unbounded domains. The time-dependent scaling factor and translating factor are introduced in the definition of the generalized Hermite functions (GHF). As a consequence, the THGSM based on these GHF has many advantages, not only in theoretical proofs, but also in numerical implementations. The stability and spectral convergence of our proposed method have been established in this paper. The Kortewegde VriesBurgers (KdVB) equation and its special cases, including the heat equation and the Burgers equation, as the examples, have been numerically solved by our method. The numerical results are presented, and it surpasses the existing methods in accuracy. Our theoretical proof of the spectral convergence has been supported by the numerical results.