用函数思想辨析两道姐妹题

1问题引出 题1（2008年天津文科10）设a〉1,若对于任意x∈[a,2a],都有y∈[a,a^2]满足方程logax＋logay=3,这时a的取值的集合为（）     

广义变系数Kdv方程的对称及其群不变解

利用经典李对称的方法对广义变系数Kdv方程进行研究,利用这种方法得到了该方程的一个新的精确解,这种方法的基本思路是通过对称约化将原来较难求解的偏微分方程转化为较易求解的常微分方程进行求解.实例证明这种方法具有一般性,适合于求一大类变系数的非线性演化方程.     

距离边界条件域和Hǒlder域

主要利用了距离边界条件域和Hǒlder域的定义，建立了当kD（x1，x2）和jD（x1，x2）满足一定的条件后，两类距离边界条件域和Hǒlder域之间的四个充要条件和一个充分条件．     

问题

问题164 设点A（2，0），点B在圆x^2＋y^2=1上，点C是∠AOB的角平分线与线段AB的交点，求当B运动时点C的轨迹方程．     

带位势Landau-Lifshitz方程弱解的部分正则性

证明了三维或四维空间中带位势的Landau-Lifshitz方程的稳态解的部分正则性. 众所周知, 由于方法的限制, 对带位势的Landau-Lifshitz方程的稳态弱解的部分正则性需要对位势限制很强的条件. 由位势引起的主要困难是如何得到Scaling函数满足的方程, 这使得Blow-up方法失效. 作者通过直接估计Morrey能量以避开Blow-up方法而克服了该困难.     

带有负顾客且具有Bernoulli反馈的M/M/1工作休假排队

本文研究带反馈的具有正、负两类顾客的M／M／1工作休假排队模型。工作休假策略为空竭服务多重工作休假。负顾客一对一抵消队首正在接受服务的正顾客（若有），若系统中无正顾客时，到达的负顾客自动消失，负顾客不接受服务。完成服务的正顾客以概率p（0〈p≤1）离开系统，以概率1-P反馈到队尾寻求再次服务。使用拟生灭过程和矩阵几何解方法得到了系统队长的稳态分布，证明了系统队长随机分解结果并给出稳态下系统中正顾客的平均队长。     

单支方法关于多延迟Pantograph方程的稳定性分析

本文主要讨论了单支方法关于多延迟pantograph方程解的存在唯一性及渐近稳定性 ,同时将非线性多延迟系统数值解的有关结论推广到多延迟pantograph方程 ,证明了单支方法对于ODEs的A(α) 稳定等价于单支方法关于多延迟pantograph方程NGPk(α) 稳定 .     

基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.     

一般非线性渗流方程广义解的存在唯一性与Blow-up

In this paper,we consider nonnegative solutions to Cauchy problem for the general nonlinear filtration equations ut-Dj(aij(x,t,u)Diφ(u))+bi(t,u)Diu+C(x,t,u)=0,and obtain the existence,uniqueness and blow-up in finite time of these solutions under some structure conditions.     

Regularity Properties of the Degenerate Monge-Amp`ere Equations on Compact K¨ahler Manifolds

The author establishes a result concerning the regularity properties of the degenerate complex Monge-Ampère equations on compact Kǎhler manifolds.