微分学中不等式的证明

针对微分学不等式列出五种常用证明方法,即利用单调性证明法,利用拉格朗日中值定理证明法,利用最值证明法,利用泰勒公式证明法,和利用凹凸性证明法.实例说明每种方法的使用细节,以达到使初学者能尽快掌握微分学不等式证明的目的.     

中国煤炭资源利用全要素生产率的区域差异研究

首先基于考虑环境因素的Malmquist-luenberger(ML)指数测算了2011-2014年中国其中30个省份煤炭利用全要素生产率(TFP)的变化情况,并应用Tobit模型分析了影响煤炭利用全要素生产率的因素.研究表明,中国总体煤炭利用TFP增长率呈现递增趋势,但各个省份煤炭利用TFP增长率存在较大差异,忽视环境因素高估了煤炭利用TFP的增长率,技术进步是推动煤炭TFP增长的主要因素.另外,环境规制、产业结构与煤炭利用TFP显著负相关;研发投入、人均GDP、对外直接投资(FDI)与煤炭利用TFP显著正相关.     

例谈证明线段相等的常用方法

在平面几何中,证明两条线段相等是一种最常见的题型.常用的证明方法有:利用三角形全等、利用等角对等边、利用特殊四边形(如平行四边形、等腰梯形等)的有关性质、利用平行线等分线段定理、利用比例线段等等.现将     

好记好用的“光照法”证明线面平行

立体几何中,有关线面平行的证明方法有很多,如利用面面平行性质证明,或是利用空间向量证明等.但最常用的证明方法,还是利用线面平行的判定定理,即证明平面内     

如何利用导数证明不等式

利用导数证明不等式是近几年高考的重点和热点.由于导数是高等数学的基础知识,对中学生来说思维能力要求高、解题方法灵活、难度大等特点,于是成为每年高考题的压轴题.如何利用导数证明不等式是导数应用的一个重要问题,本文给出常见的几种证明方法.1.利用给定函数的单调性证明不等式利用函数本身的单调性来证明不等式,从形式上来说,可能是从形式上直接利用给出函数的性质,     

二重积分在单积分计算中的应用

利用单积分计算重积分,是教材中的常见题型,而利用重积分计算单积分的题目确很少提及,作者例举了利用重积分计算单积分的例子,并阐明解题思路.     

浅谈Euler-Poisson积分的求值

运用积分不等式,利用辅助函数,利用数列极限,利用广义二重积分以及利用r函数求Euler—Poisson积分的值。     

线性规划的对偶理论在图解法中的应用

对于多个变量两个约束的线性规划,首先利用线性规划的对偶理论,写出其对偶问题;其次利用图解法求出对偶问题的最优解,最后利用互补松弛条件求出原问题的最优解.     

函数两个零点证明题的构造解法探究

如果问题的待证结论是关于某个函数两个零点的不等关系式,需要通过研究一个新函数的单调性,并利用不等式的性质进行变形转化解决,其解题核心是构造新函数.本文通过不同角度,探究了函数两个零点证明题的7种构造解法：利用极值前构造函数;利用对称点构造函数;等价变形后构造函数;利用消参构造函数;利用比值构函数;抓住导函数方程构造函数;根据解题需要及时构造函数.     

拆边法求最短路径

本文利用局部比较法 ,在图中定义子图、无效路径、以及可去边 .利用推导的有关定理 ,拆去可去边 ,利用最短路径相同的等价性 ,达到化简图 ,从而求出最短路径     

两参数非线性反应扩散积分微分方程的内层激波渐近解

研究了一类两参数非线性反应扩散积分微分奇摄动问题.利用奇摄动方法,构造了问题的外部解、内部激波层、边界层及初始层校正项,由此得到了问题解的形式渐近展开式.最后利用积分微分方程的比较定理证明了该问题解的渐近展开式的一致有效性.     

Accuracy of the two-iteration spectral method for phase change problems

The accuracy of the solution of phase change problems using a spectral method is studied. Two iterations in the expansion are used to obtain the interface location of a solidification problem in semi-infinite domain. Asymptotic expansion of the current approach is compared to the existing analytical solution of the problem, and the validity of the expansion is studied. The results indicate the accuracy of a numerical application of the current approach to finite and semi-infinite geometries.     

On singular solutions of the initial boundary value problem for the Stokes system in a power cusp domain

The initial boundary value problem for the non-steady Stokes system is considered in bounded domains with the boundary having a peak-type singularity (power cusp singularity). The case of the boundary value with a nonzero time-dependent flow rate is studied. The formal asymptotic expansion of the solution near the singular point is constructed. This expansion contains both the outer asymptotic expansion and the boundary-layer-in-time corrector with the ‘fast time’ variable depending on the distance to the cusp point. The solution of the problem is constructed as the sum of the asymptotic expansion and the term with finite energy.     

非线性奇摄动抛物型方程初值问题的套层解

运用了初始层函数构造了一类非线性奇摄动抛物型方程初值问题解的渐近展开式,并证明了该展开式达到任意精度的一致有效性.     

On singular solutions of time-periodic and steady Stokes problems in a power cusp domain

The time-periodic and steady Stokes problems with the boundary value having a nonzero flux are considered in the power cusp domains. The asymptotic expansion near the singularity point is constructed in order to reduce the problem to the case where the energy solution exists. The solution of the problem is found then as the sum of the asymptotic expansion and the term with finite dissipation of energy.     

ASYMPTOTIC ESTIMATION FOR SOLUTION OF A CLASS OF SEMI-LINEAR ROBIN PROBLEMS

A class of semi-linear Robin problem is considered. Under appropriate assumptions, the existence and asymptotic behavior of its solution are studied more carefully. Using stretched variables, the formal asymptotic expansion of solution for the problem is constructed and the uniform validity of the solution is obtained by using the method of upper and lower solution.     

Formal asymptotic solution of a singularly perturbed nonlinear optimal control problem

A system of equations that arises in a singularly perturbed optimal control problem is studied. We give conditions under which a formal asymptotic solution exists. This formal asymptotic solution consists of an outer expansion and left and right boundary-layer expansions. A feature of our procedure is that we do nota priori eliminate the control function from the problem. In particular, we construct a formal asymptotic expansion for the control directly. We apply our procedure to a Mayer-type problem. The paper concludes with a worked example.     

Resonance in a Weakly Nonlinear System with Slowly Varying Parameters

We survey multiple-variable expansion procedures appropriate for nonlinear systems in resonance using the model of two coupled weakly nonlinear oscillators with either constant or slowly varying frequencies. In the autonomous problem we show that an n-variable expansion (where n depends on the order of accuracy desired) yields uniformly valid results. We also consider the problem of passage through resonance for the nonautonomous problem and describe the solution by constructing a sequence of three expansions. The solution before resonance is developed as a generalized multiple-variable expansion and is matched with an inner expansion valid during resonance. This latter is then matched with a postresonance solution and determines it completely. Numerical integrations are used to substantiate the theoretical results. The dominant effect of passage through resonance is shown to be the excitation of a higher-order oscillation beyond resonance. Contrary to the claim in a recent work, the total action of the system does not remain constant if one accounts for the leading perturbation terms in the postresonance solution. Instead, the total action goes from one constant value to another.     

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

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

Optimal infrastructure design and expansion of broadband wireless access networks

This paper investigates the important infrastructure design and expansion problem for broadband wireless access networks subject to user demand constraints and system capacity constraints. For the problem, an integer program is derived and a heuristic solution procedure is proposed based on Lagrangean relaxation. In the computational experiments, our Lagrangean relaxation based algorithm can solve this complex design and expansion problem quickly and near optimally. Based on the test results, it is suggested that the proposed algorithm may be practically used for the infrastructure design and expansion problem for broadband wireless access networks.