Primal-dual algorithms for total variation based image restoration under Poisson noise Dedicated to Professor Lin Qun on the Occasion of his 80th Birthday

We consider the problem of restoring images corrupted by Poisson noise. Under the framework of maximum a posteriori estimator, the problem can be converted into a minimization problem where the objective function is composed of a Kullback-Leibler(KL)-divergence term for the Poisson noise and a total variation(TV) regularization term. Due to the logarithm function in the KL-divergence term, the non-differentiability of TV term and the positivity constraint on the images, it is not easy to design stable and efficiency algorithm for the problem. Recently, many researchers proposed to solve the problem by alternating direction method of multipliers(ADMM). Since the approach introduces some auxiliary variables and requires the solution of some linear systems, the iterative procedure can be complicated. Here we formulate the problem as two new constrained minimax problems and solve them by Chambolle-Pock's first order primal-dual approach. The convergence of our approach is guaranteed by their theory. Comparing with ADMM approaches, our approach requires about half of the auxiliary variables and is matrix-inversion free. Numerical results show that our proposed algorithms are efficient and outperform the ADMM approach.     

Generalized Riemann problem for Euler system Dedicated to Professor LI TaTsien on the Occasion of His 80th Birthday

This article is a survey on the progress in the study of the generalized Riemann problems for MD Euler system. A new result on generalized Riemann problems for Euler systems containing all three main nonlinear waves(shock, rarefaction wave and contact discontinuity) is also introduced.     

On surfaces immersed in Euclidean space R~4 Dedicated to Professor Yang Lo on the Occasion of his 70th Birthday

Let M be a closed oriented surface immersed in R4 . Associated it one has the generalized Gauss map from M into the Grassmann manifold G 4,2 . This note will be concerned with the geometry of the generalized Gauss map by using the moving frame theory and the quaternion interpretation of Plcker coordinates. As one of consequences,we get the celebrated theorem of Chern and Spanier,Hoffman and Osserman,who proved it by quite different methods. At last,we give an explicit construction of a series of immersions of S2 in R4 with any given normal Euler number.     

RC-positivity and rigidity of harmonic maps into Riemannian manifolds Dedicated to Professor Lo Yang on the Occasion of His 80th Birthday

In this paper,we show that every harmonic map from a compact K?hler manifold with uniformly RC-positive curvature to a Riemannian manifold with non-positive complex sectional curvature is constant.In particular,there is no non-constant harmonic map from a compact Koahler manifold with positive holomorphic sectional curvature to a Riemannian manifold with non-positive complex sectional curvature.     

Semi-classical analysis on H-type groups Dedicated to Professor Jean-Yves Chemin on the Occasion of His 60th Birthday

In this paper, we develop semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we define the semi-classical measures of bounded families of square integrable functions which consist of a pair formed by a measure defined on the product of the group and its unitary dual, and by a field of trace class positive operators acting on the Hilbert spaces of the representations. We illustrate the theory by analyzing examples, which show in particular that this semi-classical analysis takes into account the finite-dimensional representations of the group, even though they are negligible with respect to the Plancherel measure.     

A two-level method for sparse time-frequency representation of multiscale data Dedicated to Professor LI TaTsien on the Occasion of His 80th Birthday

Based on the recently developed data-driven time-frequency analysis(Hou and Shi, 2013), we propose a two-level method to look for the sparse time-frequency decomposition of multiscale data. In the two-level method, we first run a local algorithm to get a good approximation of the instantaneous frequency. We then pass this instantaneous frequency to the global algorithm to get an accurate global intrinsic mode function(IMF)and instantaneous frequency. The two-level method alleviates the difficulty of the mode mixing to some extent.We also present a method to reduce the end effects.     

Mehler's formula and functional calculus Dedicated to Professor Jean-Yves Chemin on the Occasion of His 60th Birthday

We show that Mehler's formula can be used to handle several formulas involving the quantization of singular Hamiltonians. In particular, we diagonalize in the Hermite basis the Weyl quantization of the characteristic function of several domains of the phase space.     

Exponential convergence of the deep neural network approximation for analytic functions Dedicated to Professor Ta Tsien Li on the Occasion of His 80th Birthday

We prove that for analytic functions in low dimension, the convergence rate of the deep neural network approximation is exponential.     

On the Bifurcations and Multiple Endemic States of a Single Strain HIV Model Dedicated to Professor Toshikazu Sunada on the Occasion of his 60th Birthday

The dynamics of a single strain HIV model is studied.The basic reproduction number R_0 used as a bifurcation parameter shows that the system undergoes transcritical and saddle-node bifurcations.The usual threshold unit value of R_0 does not completely determine the eradication of the disease in an HIV infected person.In particular,a sub-threshold value R_C is established which determines the system's number of endemic states:multiple if R_c Ro 1,only one if R_C = R_0 = 1,and none if R_0 R_C 1.     

ON APPROXIMATION PROPERTIES OF NON-CONVOLUTION TYPE NONLINEAR INTEGRAL OPERATORS-Dedicated to Professor Paul L. Butzer on his 80th Birthday

In the present paper we state some approximation theorems concerning point- wise convergence and its rate for a class of non-convolution type nonlinear integral opera- tors of the form：Tλ（f;x）=B∫AKλ（t,x,f（t））dr,x∈〈a,b〉λλA.In particular, we obtain the pointwise convergence and its rate at some characteristic points x0 off as （x,λ） → （x0, λ0） in LI 〈A,B 〉, where 〈 a,b 〉 and 〈A,B 〉 are is an arbitrary intervals in R, A is a non-empty set of indices with a topology and X0 an accumulation point of A in this topology. The results of the present paper generalize several ones obtained previously in the papers [191-[23]     

Partial Differential Equations and Continuum Mechanics: a Collection of Papers Dedicated to Professor Philippe G. Ciarlet on the Occasion of His 80th Birthday

Acta Mathematicae Applicatae Sinica, English Series -     

Variational minimizing parabolic and hyperbolic orbits for the restricted 3-body problems Dedicated to my Teacher Professor Yang Wannian on the Occasion of his 75th Birthday

Using variational minimizing methods,we prove the existence of the odd symmetric parabolic or hyperbolic orbit for the restricted 3-body problems with weak forces.     

Behaviour of the Stokes operators under domain perturbation Dedicated to Professor Jean-Yves Chemin on the Occasion of His 60th Birthday

Depending on the geometry of the domain, one can define—at least—three different Stokes operators with Dirichlet boundary conditions. We describe how the resolvents of these Stokes operators converge with respect to a converging sequence of domains.     

Presenting Powers Of Augmentation Ideals and Pfister Forms Dedicated to Professor Daniel Quillen on his Sixtieth Birthday

The article proposes a solution to the fundamental question of finding all additive relations among n-fold Pfister classes in the Witt ring and provides evidence for the solution by presenting the nth power of the augmentation ideal of an integral group ring of a group of exponent 2. The proposed solution generalizes Milnor's conjecture for quadratic forms, whose proof has been announced by V. Voevodsky.     

Dedicated to S.K. Godunov on the Occasion of His 90th Birthday

Computational Mathematics and Mathematical Physics -     

Supersonic flow onto solid wedges,multidimensional shock waves and free boundary problems Dedicated to Professor LI Ta Tsien on the Occasion of His 80th Birthday

When an upstream steady uniform supersonic flow impinges onto a symmetric straight-sided wedge,governed by the Euler equations,there are two possible steady oblique shock configurations if the wedge angle is less than the detachment angle—the steady weak shock with supersonic or subsonic downstream flow(determined by the wedge angle that is less than or greater than the sonic angle)and the steady strong shock with subsonic downstream flow,both of which satisfy the entropy condition.The fundamental issue—whether one or both of the steady weak and strong shocks are physically admissible solutions—has been vigorously debated over the past eight decades.In this paper,we survey some recent developments on the stability analysis of the steady shock solutions in both the steady and dynamic regimes.For the static stability,we first show how the stability problem can be formulated as an initial-boundary value type problem and then reformulate it into a free boundary problem when the perturbation of both the upstream steady supersonic flow and the wedge boundary are suitably regular and small,and we finally present some recent results on the static stability of the steady supersonic and transonic shocks.For the dynamic stability for potential flow,we first show how the stability problem can be formulated as an initial-boundary value problem and then use the self-similarity of the problem to reduce it into a boundary value problem and further reformulate it into a free boundary problem,and we finally survey some recent developments in solving this free boundary problem for the existence of the PrandtlMeyer configurations that tend to the steady weak supersonic or transonic oblique shock solutions as time goes to infinity.Some further developments and mathematical challenges in this direction are also discussed.     

数论及其应用 献给陈省身先生九十大寿

众所周知 ,数论是数学中最古老最纯粹最优美的一个学科 .不过鲜为人知的还是 ,数论同时也是一门应用性极强的应用数学学科 .著名国际数学大师陈省身教授早在 1 992年精辟地指出 :“数学中我愿意把数论看作应用数学”,“我想数学中有两个很重要的数学部门 ,一个是数论 ,另一个是理论物理”.在本文中 ,我们将先扼要介绍一下数论中的一些基本概念、几个主要难题 ,紧接着我们要介绍数论 (尤其是数论中的难题 )在现代密码学 (包括网络与信息安全 )与计算机科学 (尤其是快速并行计算 )中的应用     

Periodic Cyclic Homology as Sheaf Cohomology Dedicated to Daniel Quillen on his 60th Birthday

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham cohomology. We prove that, for the noncommutative infinitesimal topology of an associative algebra over a field of characteristic zero, the cohomology of the structure sheaf modulo commutators is periodic cyclic cohomology. We also compute the noncommutative infinitesimal cohomology of other sheaves. For example, we show that infinitesimal hypercohomology with coefficients in K-theory gives the fiber of the Jones–Goodwillie character which goes from K-theory to negative cyclic homology.