一类带记忆项的非经典热方程的爆破问题

本文考虑了一类带记忆项的非经典热方程,证明解会在有限时间爆破,而且爆破只会发生在边界.主要结论是:首先利用Green函数与Banach压缩映射定理,建立了问题的经典解;其次,利用经典解,证明了解是有限时间爆破的;最后,证明了一个关于非经典热方程解的性质,利用这个性质,证明了解是在边界上爆破的.     

2011年中考考点复习策略(12)——“图形与证明”

义务教育新课标要求学生掌握基本的图形基础知识与基本技能;了解证明的含义,掌握证明的方法,体会证明的过程;能把所学的公理、定理和基本事实正确运用到证明的过程中,在合情推理的基础上发展初步的演绎推理能力;初步通过观察、实验、归纳、类比、推测获得     

有趣的“无字证明”

1无字证明概述近年来,西方有些国家流行将数学公式或不等式用简单、有创意且易于了解的几何图形来呈现,这就是所谓的无字证明(proof without words).无字证明并不是现代人思想的专利,早在公     

一个带有阻尼项和耦合源项的波动方程组解的一般衰减估计

本文研究了一个具有弱阻尼项和耦合源项的粘弹性波动方程组的初边值问题.首先,在一定的初边值条件下,应用位势井理论证明了解的整体存在.其次,在松弛函数满足一定的条件下,利用能量扰动的方法结合微分不等式技巧证明了解能量的一般衰减性结果.     

指数幂与指数函数

在高中数学教材中,没有给出指数函数的严格定义,对其运算性质和单调性质足也没有严格证明.在大学中,这部分内容又一带而过,很少有参考资料.本文从初中学习过的正整数指数幂和整数指数幂出发,通过有理数指数幂的定义、性质和单调性,最后说明实数指数幂定义的合理性,给出实数指数幂性质的证明和实数指数幂函数连续性和单词性的证明,供老师参考.希望老师们能够从中了解哪些内容是需要定义的?哪些内容是需要证明的?重视定义的重要性.另外,数学是严谨的,但是对不同人的数学严格性要求的也是不同的,希望优秀的数学教师能够了解并思考指数函数单调性、连续性的证明思路和证明过程.     

具有转向点的积分微分方程奇摄动非线性边值问题

对一类具有转向点的Volterra型积分微分程奇摄动非线性边值问题证明了解的存在性并给出了解的一致有效渐近估计．     

奇摄动三阶非线性边值问题

研究了一类奇摄动三阶非线性边值问题,在构造形式渐近解的基础上,用微分不等式理论证明了解的存在性,并得出了解的任意阶的一致有效展开式.     

$p$-拉普拉斯方程组大解的存在性和渐近行为

本文研究一类p-拉普拉斯方程组的边界爆破解的性质.利用构造上下解的方法证明了解的存在性,更进一步地,给出了解的全局估计和渐近行为.     

解对初值连续依赖定理的一个新的证明方法

《常微分方程》传统的教材均先证明Bellman引理,然后利用Bellman引理完成"解对初值连续依赖定理"的证明.本文用曲线平移的方法构造出比较函数,从而给出了解对初值连续依赖定理的一种新的且具有几何直观性的证明方法.     

2013年中考专题复习(15)——“图形与证明”

【考点聚焦】图形与证明是空间与图形的核心内容之一,课标要求学生掌握基本的图形基础知识与基本技能;了解证明的含义,掌握证明的方法,体会证明的过程;能把所学的公理、定理和基本事实正确运用到证明的过程中,在合情推理的基础上发展初步的演绎推理能力;初步通过观察、实验、归纳、类比、推测获得数学猜想,体验数学活动充满着探索性和创造性,感受证明的必要性、证明过程的严谨性及结论的稳定性,它贯穿在整个     

含参变量的三阶方向牛顿法及其收敛性

通过递推关系归纳迭代公式的讨论,研究含多个未知数的非光滑方程组及其收敛性,并以此证明希尔伯特空间上的含参变量的实系数非线性方程组的三阶方向牛顿法的半局部收敛性,给出解的存在性以及先验误差界.     

Recurrence relations with two indices and even trees

Recently, the author, Mansour, introduced a combinatorial problem, called Hobby's problem, to study different types of recurrence relations with two indices. Moreover, he presented several recurrence relations with two indices related to Dyck paths and Schröder paths. In this paper, we generalize Hobby's problem to study other types of recurrence relations with two indices for which a combinatorial method provides a complete solution. Combinatorially, we describe these recurrence relations as a set of lattice paths in the second octant of the plane integer lattice, and then we map bijectively these lattice paths to the set of even trees. Analytically, we use the kernel method technique to solve these recurrence relations.     

Recurrence relations for semilocal convergence of a Newton-like method in Banach spaces

The aim of this paper is to establish the semilocal convergence of a multipoint third order Newton-like method for solving F(x)=0 in Banach spaces by using recurrence relations. The convergence of this method is studied under the assumption that the second Fréchet derivative of F satisfies Hölder continuity condition. This continuity condition is milder than the usual Lipschitz continuity condition. A new family of recurrence relations are defined based on the two new constants which depend on the operator F. These recurrence relations give a priori error bounds for the method. Two numerical examples are worked out to demonstrate the applicability of the method in cases where the Lipschitz continuity condition over second derivative of F fails but Hölder continuity condition holds.     

Efficient analytic method for solving nonlinear fractional differential equations

In this paper, we propose a new approach of the generalized differential transform method (GDTM) for solving nonlinear fractional differential equations. In GDTM, it is a key to derive a recurrence relation of generalized differential transform (GDT) associated with the solution in the given fractional equation. However, the recurrence relations of complex nonlinear functions such as exponential, logarithmic and trigonometry functions have not been derived before in GDTM. We propose new algorithms to construct the recurrence relations of complex nonlinear functions and apply the GDTM with the proposed algorithms to solve nonlinear fractional differential equations. Several illustrative examples are demonstrated to show the effectiveness of the proposed method. It is shown that the proposed technique is robust and accurate for solving fractional differential equations.     

Semilocal convergence of a multipoint fourth-order super-Halley method in Banach spaces

In this paper, we study a variant of the super-Halley method with fourth-order convergence for nonlinear equations in Banach spaces. We make an attempt to establish the semilocal convergence of this method by using recurrence relations. The recurrence relations for the method are derived and then an existence-uniqueness theorem is given to establish the R-order of the method to be four and a priori error bounds. Finally, some numerical applications are presented to demonstrate our approach.     

Semilocal convergence for Halley’s method under weak Lipschitz condition

The semilocal convergence properties of Halley’s method for nonlinear operator equations are studied under the hypothesis that the second derivative satisfies some weak Lipschitz condition. The method employed in the present paper is based on a family of recurrence relations which will be satisfied by the involved operator. An application to a nonlinear Hammerstein integral equation of the second kind is provided.     

Perturbed recurrence relations II the general case

In this paper, we give some new explicit relations between two families of polynomials defined by recurrence relations of all order. These relations allow us to analyze, even in the Sobolev case, how some properties of a family of orthogonal polynomials are affected when the coefficients of the recurrence relation and the order are perturbed. In a paper we have already given a method which allows us to study the polynomials defined by a three-term recurrence relation. Also here some generalizations are given.     

Convergence analysis for the Secant method based on new recurrence relations

A new convergence theorem for the Secant method in Banach spaces based on new recurrence relations is established for approximating a solution of a nonlinear operator equation. It is assumed that the divided difference of order one of the nonlinear operator is Lipschitz continuous. The convergence conditions differ from some existing ones and are easily satisfied. The results of the paper are justified by numerical examples that cannot be handled by earlier works.     

New special function recurrences giving new indefinite integrals

Sequences of new recurrence relations are presented for Bessel functions, parabolic cylinder functions and associated Legendre functions. The sequences correspond to values of an integer variable r and are generalizations of each conventional recurrence relation, which correspond to r=1. The sequences can be extended indefinitely, though the relations become progressively more intricate as r increases. These relations all have the form of a first-order linear inhomogeneous differential equation, which can be solved by an integrating factor. This gives a very general indefinite integral for each recurrence. The method can be applied to other special functions which have conventional recurrence relations. All results have been checked numerically using Mathematica.     

On the approximate solution of some two‐dimensional singular integral equations

An approximation method for a wide class of two‐dimensional integral equations is proposed. The method is based on using a special function system. Orthonormality and good interaction with fundamental integral operators arising in partial differential equations are remarkable properties of this system. In addition, all the basis elements can easily be calculated by recurrence relations. Taking into account these properties we construct a numerical algorithm which does not require additional effort (such as quadrature) to compute the values of the fundamental operators on the basis elements. Copyright © 2001 John Wiley & Sons, Ltd.