A proof of W. T. Gowers' theorem

W. T. Gowers' theorem asserts that for every Lipschitz function and 0$">, there exists an infinite-dimensional subspace of such that the oscillation of on is at most . The proof of this theorem has been reduced by W. T. Gowers to the proof of a new Ramsey type theorem. Our aim is to present a proof of the last result.

     

关于几何凸函数的Hadamard型不等式

建立了一个关于几何凸函数的 Hadamard型不等式 .     

Curriculum, Classroom Practices, and Tool Design in the Learning of Functions Through Technology-Aided Experimental Approaches

The paper starts from classroom situations about the study of a functional relationship with help of technological tools as a ‘transposition’ of experimental approaches from research mathematical practices. It considers the limitation of this transposition in existing curricula and practices based on the use of non-symbolic software like dynamic geometry and spreadsheets. The paper focuses then on the potentialities of classroom use of computer algebra packages that could help to go beyond this shortcoming. It looks at a contradiction: while symbolic calculation is a basic tool for mathematicians, curricula and teachers are very cautious regarding their use by students. The rest of the paper considers the design and experiment of a computer environment Casyopée as means to contribute to an evolution of curricula and classroom practices to achieve the transposition in the domain of algebraic activities linked to functions.     

Approximation with wave packets generated by a refinable function

We consider best -term approximation in with wave packets generated by a single refinable function. The main examples of wave packets are orthonormal wavelets, or more generally wavelet frames based on a multiresolution analysis (so-called framelets). The approximation classes associated with best -term approximation in for a large class of wave packets are completely characterized in terms of Besov spaces.

As an application of the main result, we show that for -term approximation in with elements from an oversampled version of a framelet system with compactly supported generators, the associated approximation classes turn out to be (essentially) Besov spaces.

     

特殊函数模积分的一个统一公式

以各类特殊函数与S turm-L iouv ille本征方程之间关系为基础,导出了一个计算各类特殊函数模积分的一个统一公式,这样不仅避免了过去要对不同的特殊函数分别用不同方法计算模的积分,而且使模的计算本身得到较大简化.     

On Gauss-Type Quadrature Rules

Some Gauss-type Quadrature rules over [0, 1], which involve values and/or the derivative of the integrand at 0 and/or 1, are investigated. Our work is based on the orthogonal polynomials with respect to linear weight function ω(t): = 1 ? t over [0, 1]. These polynomials are also linked with a class of recently developed “identity-type functions”. Along the lines of Golub's work, the nodes and weights of the quadrature rules are computed from Jacobi-type matrices with simple rational entries. Computational procedures for the derived rules are tested on different integrands. The proposed methods have some advantage over the respective Gauss-type rules with respect to the Gauss weight function ω(t): = 1 over [0, 1].     

On the Yang-Mills effective action with instanton gauge field

The calculation of the determinant for the second order covariant derivative operator is analyzed in the space R⁴ and for Yang-Mills instanton field configurations. The problems inherent to the ultraviolet ζ-function renormalization method and infrared divergencies of this operator are reviewed. A method for estimating the asymptotic coefficients of its determinant has been discussed and the failure of the general conformal invariance induced by any regularization technique has also been considered. A particular solution valid for a Yang-Mills multi instanton configuration, valuable in order to get the non conformally invariant piece of the general solution, is the main result obtained here. We give it as an integral equation, namely in a semi-explicit form.     

Weak homogeneity in generalized function algebras

In this paper, weakly homogeneous generalized functions in the special Colombeau algebras are determined up to equality in the sense of generalized distributions. This yields characterizations that are formally similar to distribution theory. Further, we give several characterizations of equality in the sense of generalized distributions in these algebras (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

严格反馈非线性系统中参数收敛的系统化方法

研究严格反馈非线性系统中参数的收敛性.在适当的持续激励条件下,通过构造一个显式、全局的强Lyapunov函数,给出了系统参数估计收敛于真值的充分条件,且闭环信号全局一致有界,跟踪误差渐近收敛于零.仿真算例验证了设计方案的可行性和有效性.     

A non-overlapping domain decomposition dual reciprocity method for solving the forward–backward heat equation in two-dimension

We apply a boundary element dual reciprocity method (DRBEM) to the numerical solution of the forward–backward heat equation in a two-dimensional case. The method is employed for the spatial variable via the fundamental solution of the Laplace equation and the Crank–Nicolson finite difference scheme is utilized to treat the time variable. The physical domain is divided into two non-overlapping subdomains resulting in two standard forward and backward parabolic equations. The subproblems are then treated by the underlying method assuming a virtual boundary in the interface and starting with an initial approximate solution on this boundary followed by updating the solution by an iterative procedure. In addition, we show that the time discrete scheme is unconditionally stable and convergent using the energy method. Furthermore, some computational aspects will be suggested to efficiently deal with the formulation of the proposed method. Finally, two forward–backward problems, for which the exact solution is available, will be numerically solved for two different domains to demonstrate the efficiency of the proposed approach.