复合函数

Two types of new Abel differential equation are structured by method of variation replacement, variation position transformation and compound function derivation law.

借助变量替换法、交换变量位置法及复合函数求导法则，构造出两类新的 Abel型微分方程，论证它们的可积性，提供可积的判据，从而推广有关文献的结论，扩大微分方程的可积范围。

Finally, as an application, the paper discusses a kind of special composite function characters.

最后，作为应用，讨论了一类特殊复合函数的性质。

Composite function is one of the important objects of mathematical analysis research,and some of it's analysis natures such as monotony, boundedness, limit,continuity, derivability,integrability are important content in the mathematical analysis,they are also important tool to study other objects in mathematics.

复合函数是数学分析研究的重要对象之一，它的一些分析性质（如单调性，有界性，极限，连续性，可导，可积性）是数学分析中的重要内容，也是研究数学中其它对象的重要工具。

Although many results have been obtained, there are still a number of very interesting questions about composition operators unsolved. There is much more to be learned about the collective compactness and convergence of composition operator sequences, compactness of various product of composition operators, cyclicity, closed range and spectra of composition operators in various settings. Commutants of composition operators seem to be very difficult to characterize. Only a little is known about their reducing invariant subspaces. There has been no work on C〓 algebras generated by composition operators.

尽管已取得如此丰富的结果，但是关于复合算子仍然有大量非常有意义的问题值得研究，例如：复合算子序列的总体紧性及收敛性、复合算子的各种乘积的紧性、复合算子的闭值域问题、复合算子在各种解析函数空间上的谱的描述、换位复合算子的刻画、复合算子诱导的不变子空间问题、循环复合算子的研究、由复合算子生成的C〓-代数的研究、不同解析函数空间之间的加权复合算子及复合算子半群等等问题。

Two mathematical derivations of them have been introduced by using the properties of differentiable function and the derivation algorithm of multiple function in present paper, and several mistakes in some derivative methods have also been pointed out.

介绍了应用可微函数的性质及多元复合函数的求导性质推导热力学中著名的麦克斯韦关系式的方法，指出了有关文献中推导过程的不

Be differentiable at . Then has first partial derivatives at , and

可微，则复合函数在点的一阶偏导数存在，且有

A detailed discussion on the limit of function of functions is taken and six theorems are given in this paper.

本文对复合函数的极限做了细致的讨论，给出了 6个定

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

The process of our study links some of the most basic questions about C〓 with beautiful classical results from analyticfunction theory. For instance, it is essential Littlewood subordination theorem that assures that composition operators act boundedly on many analytic function spaces. And there are close connections between the compactness of C〓 and the existence of angular derivatives of ψ at points of 〓D. It involves the classical Julia-Careatheodory theorem, Denjoy-Wolff theorem and Nevanlinna counting functions and so on. It makes many old theorems in analytic-function theory getting some new meanings, and bestows upon functional analysis an interesting class of linear operators. This thesis consists of six chapters as follows: Chapter 1 is a preparatory in nature.

从而建立了C〓的算子性质与解析函数论中许多漂亮的经典结果之间的联系，如许多解析函数空间上复合算子的有界性本质上往往是著名的Littlewood从属原理，复合算子的紧性与其诱导映射在边界〓D上的角导数之间有着紧密的联系等等，这样自然而然地涉及到经典函数论中的Julia-Caratheodory定理，Denjoy-Wolff定理及Nevanlinna计数函数等等一些结果，并以此赋予函数论中许多古老问题以新意，同时也为泛函分析提供了一类十分具体的线性算子。

Through Hilbert transform, a signal's plane trace can be get. There are two frequencies in the tested signal, so the signal's plane trace may be looked as the track of the out pole's end when two poles rotate around parallel axles. Using the knowledge of motion synthesis in theory mechanics, a formula to describing the change of plane trace's step length and angle for two-frequency be get. So we may prolongate the tested signal's plane trace from the echo's initial arriving moment, and get a certain length of the signal's prolongation.

通过Hilbert变换可得到测试信号的平面迹线，测试信号中只含有两个频率成分，视为双频信号，双频信号的平面迹线相当于两连杆绕平行轴转动时外杆杆端迹线，利用理论力学中运动合成和瞬心知识，推导出双频信号平面迹线步长平方满足余弦线性复合函数，而迹线转角可视为线性变化，据此可对回波到来之前的测试信号平面迹线作延长，得到一定长度的信号延展段，信号延展段与实测段作差可得到一次、二次回波的第一个波峰值。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。