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.     

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.     

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.     

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

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日病逝于北京.     

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.     

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.     

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.     

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.     

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.     

智慧窗

1 趣解等式七个文字与三个拼音字头组成了一道加法等式,你能否把它们分别换成0～9的数字. (相同文字、字母必须要换相同的数字)使其等式成立吗? (上海市长宁路476弄8号1602室(200042) 张刘福) 2 质数趣题请将5～20各数分别填入圆圈内,使每相邻的两个数之和都是质数.试试看,你能填出     

Generalized boundary conditions on representative volume elements and their use in determining the effective material properties

We discuss generalized boundary conditions for representative volume elements (RVE), which include the classical boundary conditions as special cases. From the generalization, stochastic boundary conditions are derived. These allows to adjust the the stiffness of the boundary conditions smoothly between the extremal cases of homogeneous strain and homogeneous stress boundary conditions. We found that it needs to be distinguished between the resistance of the boundary conditions against homogeneous and inhomogeneous RVE deformation. The stochastic BC can combine the moderate stiffness of the well known periodic boundary conditions with the high resistance against localization of the homogeneous strain boundary conditions. (© 2013 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Duffing型方程组的边界值问题的解的存在性

给出了带Dirichlet边界条件、Neumann边界条件和周期边界条件的Duffing型方程组的两点边界值问题的解的几个存在性定理。     

Degenerate boundary conditions for the diffusion operator

We describe all degenerate two-point boundary conditions possible in a homogeneous spectral problem for the diffusion operator. We show that the case in which the characteristic determinant is identically zero is impossible for the nonsymmetric diffusion operator and that the only possible degenerate boundary conditions are the Cauchy conditions. For the symmetric diffusion operator, the characteristic determinant is zero if and only if the boundary conditions are falsely periodic boundary conditions; the characteristic determinant is identically a nonzero constant if and only if the boundary conditions are generalized Cauchy conditions.     

On viscous incompressible flows of nonsymmetric fluids with mixed boundary conditions

In this paper we are concerned with the initial boundary value problem for the micropolar fluid system in nonsmooth domains with mixed boundary conditions. The considered boundary conditions are of two types: Navier’s slip conditions on solid surfaces and Neumann-type boundary conditions on free surfaces. The Dirichlet boundary condition for the microrotation of the fluid is commonly used in practice. However, the well-posedness of problems with different types of boundary conditions for microrotation are completely unexplored. The present paper is devoted to the proof of the existence, regularity and uniqueness of the solution in distribution spaces.     

Approximate deconvolution boundary conditions for large eddy simulation

We introduce new boundary conditions for large eddy simulation. These boundary conditions are based on an approximate deconvolution approach. They are computationally efficient and general, which makes them appropriate for the numerical simulation of turbulent flows with time-dependent boundary conditions. Numerical results are presented to demonstrate the new boundary conditions in a simplified linear setting.     

Multidimensional Kagiwada-Kalaba method of invariant imbedding with general linear implicit boundary conditions

The Kagiwada-Kalaba method of invariant imbedding for multidimensional systems is first derived for the split linear implicit boundary conditions. The justification for the Kagiwada-Kalaba procedure is explained in terms of the special nature of the split linear implicit boundary conditions. Extension of the Kagiwada-Kalaba method from the split linear implicit boundary conditions to general linear implicit boundary conditions is described.     

Matrix representations of Sturm‐Liouville problems with coupled eigenparameter‐dependent boundary conditions and transmission conditions

We study matrix representations of Sturm‐Liouville problems with coupled eigenparameter‐dependent boundary conditions and transmission conditions. Meanwhile, given any matrix eigenvalue problem with coupled eigenparameter‐dependent boundary conditions and transmission conditions, we construct a class of Sturm‐Liouville problems with given boundary conditions and transmission conditions such that they have the same eigenvalues.     

Persistency of wellposedness of Ventcel’s boundary value problem under shape deformations

Ventcel boundary conditions are second order differential conditions that appear in asymptotic models. Like Robin boundary conditions, they lead to well-posed variational problems under a sign condition of the coefficient. This is achieved when physical situations are considered. Nevertheless, situations where this condition is violated appeared in several recent works where absorbing boundary conditions or equivalent boundary conditions on rough surfaces are sought for numerical purposes. The well-posedness of such problems was recently investigated: up to a countable set of parameters, existence and uniqueness of the solution for the Ventcel boundary value problem holds without the sign condition. However, the values to be avoided depend on the domain where the boundary value problem is set. In this work, we address the question of the persistency of the solvability of the boundary value problem under domain deformation.     

常型Sturm-Liouville问题的左定边值条件

本文刻画了常型Sturm-Liouville问题的左定边值条件．通过Sturm-Liouville微分算式的系数、区间端点以及边值条件给出了其左定性的充要条件．应用自伴边值条件分类,确切地给出了所有可能的左定边值条件．     

Spatial pattern formations in diffusive predator-prey systems with non-homogeneous Dirichlet boundary conditions

A reaction-diffusion predator-prey system with non-homogeneous Dirichlet boundary conditions describes the persistence of predator and prey species on the boundary. Compared with homogeneous Neumann boundary conditions, the former conditions may prompt or prevent the spatial patterns produced through diffusion-induced instability. The spatial pattern formation induced by non-homogeneous Dirichlet boundary conditions is characterized by the Turing type linear instability of homogeneous state and bifurcation theory. Furthermore, transient spatiotemporal behaviors are observed through numerical simulations.