A Finite Difference Scheme for Blow-Up Solutions of Nonlinear Wave Equations

<正>We consider a finite difference scheme for a nonlinear wave equation,whose solutions may lose their smoothness in finite time,i.e.,blow up in finite time.In order to numerically reproduce blow-up solutions,we propose a rule for a time-stepping, which is a variant of what was successfully used in the case of nonlinear parabolic equations.A numerical blow-up time is defined and is proved to converge,under a certain hypothesis,to the real blow-up time as the grid size tends to zero.     

Implicit Shape Reconstruction of Unorganized Points Using PDE-Based Deformable 3D Manifolds

<正>In this work we consider the problem of shape reconstruction from an unorganized data set which has many important applications in medical imaging,scientific computing,reverse engineering and geometric modelling.The reconstructed surface is obtained by continuously deforming an initial surface following the Partial Differential Equation(PDE)-based diffusion model derived by a minimal volume-like variational formulation.The evolution is driven both by the distance from the data set and by the curvature analytically computed by it.The distance function is computed by implicit local interpolants defined in terms of radial basis functions.Space discretization of the PDE model is obtained by finite co-volume schemes and semi-implicit approach is used in time/scale.The use of a level set method for the numerical computation of the surface reconstruction allows us to handle complex geometry and even changing topology, without the need of user-interaction.Numerical examples demonstrate the ability of the proposed method to produce high quality reconstructions.Moreover,we show the effectiveness of the new approach to solve hole filling problems and Boolean operations between different data sets.     

KAM Theory for Partial Differential Equations

In the last years much progress has been achieved in KAM theory concerning bifurcation of quasi-periodic solutions of Hamiltonian or reversible partial differential equations.We provide an overview of the state of the art in this field.     

Multivariate quasi-tight framelets with high balancing orders derived from any compactly supported refinable vector functions

Generalizing wavelets by adding desired redundancy and flexibility,framelets(i.e.,wavelet frames)are of interest and importance in many applications such as image processing and numerical algorithms.Several key properties of framelets are high vanishing moments for sparse multiscale representation,fast framelet transforms for numerical efficiency,and redundancy for robustness.However,it is a challenging problem to study and construct multivariate nonseparable framelets,mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices.Moreover,all the known multivariate tight framelets derived from spline refinable scalar functions have only one vanishing moment,and framelets derived from refinable vector functions are barely studied yet in the literature.In this paper,we circumvent the above difficulties through the approach of quasi-tight framelets,which behave almost identically to tight framelets.Employing the popular oblique extension principle(OEP),from an arbitrary compactly supported M-refinable vector functionφwith multiplicity greater than one,we prove that we can always derive fromφa compactly supported multivariate quasi-tight framelet such that:(i)all the framelet generators have the highest possible order of vanishing moments;(ii)its associated fast framelet transform has the highest balancing order and is compact.For a refinable scalar functionφ(i.e.,its multiplicity is one),the above item(ii)often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP-based multivariate quasi-tight framelet derived fromφsatisfying item(i).We point out that constructing OEP-based quasi-tight framelets is closely related to the generalized spectral factorization of Hermitian trigonometric polynomial matrices.Our proof is critically built on a newly developed result on the normal form of a matrix-valued filter,which is of interest and importance in itself for greatly facilitating the study of refinable vector functions and multiwavelets/multiframelets.This paper provides a comprehensive investigation on OEP-based multivariate quasi-tight multiframelets and their associated framelet transforms with high balancing orders.This deepens our theoretical understanding of multivariate quasi-tight multiframelets and their associated fast multiframelet transforms.     

傅种孙先生在北京师大附中

1 傅种孙先生简介 1.1 傅先生基本情况介绍 傅种孙先生(1898～1962)1898年2月27日生于江西省高安县.1920年在北京高等师范学校数理部毕业,留母校附中(即现北京师大附中)任教;1921年任母校数理部的讲师;1928年任教授:抗日战争以前,曾先后兼任北京女子师范大学,北平大学女子文理学院,北京大学,辅仁大学教授;1933年当选北平(北京)市数学会理事长秘书;1935年当选中国数学会评议委员兼<数学杂志>编辑;1945年11月至1946年8月在牛津大学、1946年9月至1947年11月在剑桥大学考察;1947～1962年任北京师范大学数学系教授,1956年前曾兼系主任;在1949～1957年间,曾任北京师范大学教务长(3年)及副校长(5年);1952～1957年任北京市人民代表大会代表,中国数学会及其北京市分会常务理事,<中国数学杂志>及其后身<数学通报>总编辑;1962年1月18日病逝于北京.     

Singular integral operators on product domains along twisted surfaces

We introduce a class of singular integral operators on product domains along twisted surfaces.We prove that the operators are bounded on L^p provided that the kernels satisfy weak conditions.     

Local Unstable Entropy and Local Unstable Pressure for Partially Hyperbolic Endomorphisms*

In this paper, local unstable metric entropy, local unstable topological entropy and local unstable pressure for partially hyperbolic endomorphisms are introduced and investigated. Specially, two variational principles concerning relationships among the above mentioned numbers are formulated.     

Poisson Stable Solutions for Stochastic Differential Equations with Lévy Noise

In this paper,we use a unified framework to study Poisson stable(including stationary,periodic,quasi-periodic,almost periodic,almost automorphic,Birkhoff recurrent,almost recurrent in the sense of Bebutov,Levitan almost periodic,pseudo-periodic,pseudo-recurrent and Poisson stable)solutions for semilinear stochastic differential equations driven by infinite dimensional L′evy noise with large jumps.Under suitable conditions on drift,diffusion and jump coefficients,we prove that there exist solutions which inherit the Poisson stability of coefficients.Further we show that these solutions are globally asymptotically stable in square-mean sense.Finally,we illustrate our theoretical results by several examples.     

A Direct Method of Moving Planes to Fractional Power SubLaplace Equations on the Heisenberg Group

We give the direct method of moving planes for solutions to the conformally invariant fractional power sub Laplace equation on the Heisenberg group.The method is based on four maximum principles derived here.Then symmetry and nonexistence of positive cylindrical solutions are proved.     

Nonconforming Finite Element Methods for the Constrained Optimal Control Problems Governed by Nonsmooth Elliptic Equations

In this paper,nonconforming finite element methods(FEMs)are proposed for the constrained optimal control problems(OCPs)governed by the nonsmooth elliptic equations,in which the popular EQr1 ot element is employed to approximate the state and adjoint state,and the piecewise constant element is used to approximate the control.Firstly,the convergence and superconvergence properties for the nonsmooth elliptic equation are obtained by introducing an auxiliary problem.Secondly,the goal-oriented error estimates are obtained for the objective function through establishing the negative norm error estimate.Lastly,the methods are extended to some other well-known nonconforming elements.     

Solvability and stability of the inverse Sturm–Liouville problem with analytical functions in the boundary condition

The paper deals with the Sturm–Liouville eigenvalue problem with the Dirichlet boundary condition at one end of the interval and with the boundary condition containing entire functions of the spectral parameter at the other end. We study the inverse problem, which consists in recovering the potential from a part of the spectrum. This inverse problem generalizes partial inverse problems on finite intervals and on graphs and also the inverse transmission eigenvalue problem. We obtain sufficient conditions for global solvability of the studied inverse problem, which prove its local solvability and stability. In addition, application of our main results to the partial inverse Sturm–Liouville problem on the star-shaped graph is provided.     

Uniqueness For An Inverse Boundary Value Problem For Dirac Operators

The uniqueness of both the inverse boundary value problem and inverse scattering problem for Dirac equation with a magnetic potential and an electrical potential are proved. Also, a relation between the Dirichlet to Dirichlet map for the inverse boundary value problem and the scattering amplitude for the inverse scattering problem is given     

波动方程系数反问题的求解方法

讨论了一维波动方程系数反演的一种求解方法,将解进行一阶渐进展开,得到相应的反问题,将其转化为第二类Volttera型积分方程组,证明了反问题解的存在唯一性.     

强部分逆网络流问题

Abstract. In this paper,a new model for inverse network flow problems,robust partial inverseproblem is presented. For a given partial solution,the robust partial inverse problem is to modify the coefficients optimally such that all full solutions containing the partial solution becomeoptimal under new coefficients. It has been shown that the robust partial inverse spanning treeproblem can be formulated as a combinatorial linear program,while the robust partial inverseminimum cut problem and the robust partial inverse assignment problem can be solved by combinatorial strongly polynomial algorithms.     

Recovery of differential equations with nonlinear dependence on the spectral parameter

The inverse spectral problem of recovering pencils of second-order differential operators on the half-line is studied. We give a formulation of the inverse problem, prove the uniqueness theorem and provided a procedure for constructing the solution of the inverse problem. We also establishe connections with inverse problems for partial differential equations.     

Inverse sorting problem by minimizing the total weighted number of changes and partial inverse sorting problems

In this paper, we consider two types of inverse sorting problems. The first type is an inverse sorting problem by minimizing the total weighted number of changes with bound constraints. We present an O(n ²) time algorithm to solve the problem. The second type is a partial inverse sorting problem and a variant of the partial inverse sorting problem. We show that both the partial inverse sorting problem and the variant can be solved by a combination of a sorting problem and an inverse sorting problem. Supported by the Hong Kong Universities Grant Council (CERG CITYU 103105) and the National Key Research and Development Program of China (2002CB312004) and the National Natural Science Foundation of China (700221001, 70425004).     

具有未知源的某些非线性伪抛物型方程的反问题

考 虑具有未 知源项的 某些非 线性伪 抛物 型方程 的反演 问题． 首先 将伪抛 物型 方程初 边值问 题化为非线 性发展方 程 Ｃｏｕｃｈ ｙ 问题,然 后,利用半 群理论,论 证发展 方程反问 题解的存 在唯一 性,最后, 利用不 动点方法得到 伪抛物型方程反 问题的可解性     

一类双曲反问题的逼近算法及收敛性

该文考虑地球物理勘探中出现的间断特性阻抗的反演问题．利用样条插值理论，把无穷维空间上的反问题用有限维空间上的反问题来近似．利用半群理论，证明了近似反问题之解收敛于原反问题之解．据此可得到求解反问题的一种稳定的近似算法．     

Inverse coefficient problem for a quasilinear hyperbolic equation with final overdetermination

The inverse problem of recovering a solution-dependent coefficient multiplying the lowest derivative in a hyperbolic equation is investigated. As overdetermination is required in the inverse problem, an additional condition is imposed on the solution to the equation with a fixed value of the timelike variable. Global uniqueness and local existence theorems are proved for the solution to the inverse problem. An iterative method is proposed for solving the inverse problem.     

Quasi-one-dimensional method for the two-dimensional inverse problem of magnetotelluric sounding

The article presents a quasi-one-dimensional method for solving the inverse problem of electromagnetic sounding. The quasi-one-dimensional method is an iteration process that in each iteration solves a parametric one-dimensional inverse problem and a two-dimensional direct problem. The solution results of these problems are applied to update the input values for the parametric one-dimensional inverse problem in the next iteration. The method has been implemented for a two-dimensional inverse problem of magnetotelluric sounding in a quasi-layered medium.