变分泛函的半连续性问题

研究了非多项式增长的变分泛函,利用Orlicz空间理论,得到了其在Orlicz-Sobolev空间中弱序列下半连续的充要条件,推广了关于多项式增长的变分泛函的相应结论。     

关于弹性力学广义变分原理的等价性定理的研究

利用场论中的不变性原理研究弹性力学广义变分原理的等价性定理,主要目的是研究弹性力学广义变分原理之间的关系;根据弹性力学广义变分原理的泛函在无穷小标度变换下的不变性,证明了这些泛函之间的等价性定理．如果这些泛函具有无穷小标度变换下的不变性,那么只有两类变量是独立的, 应力应变关系是这些泛函必须满足的变分约束条件．所得到的结果再一次证明了钱伟长教授关于所有的弹性力学广义变分原理都是等价的结论．     

Caristi 不动点定理的推广及应用

本文推广了古典的Garisti不动点定理,作为应用,古典的Ekeland变分原理得到了推广,并且证明了推广的Garisti不动点定理和推广的Ekeland变分原理是等价的．     

只含两个独立变量的扁壳大挠度问题修正的海林格—赖斯内变分泛函

本文首先用海林格-赖斯内变分原理建立任意形状扁壳大挠度问题的泛函，然后用修正的变分原理导出适合于有限单元法的变分泛函表达式．泛函中只包含应力函数F和挠度W两个独立交量．其中也导出了在边界上用上述两个变量表示的中面位移的表达式．推导中考虑了边界的曲率，所以适用于任意形状的边界．     

损伤粘弹性力学的广义变分原理及应用

从粘弹性材料的Boltzmann迭加原理和带空洞材料的线弹性本构关系出发,提出了一种损伤粘弹性材料具有广义力场的本构模型．应用变积方法得到了以卷积形式表示的泛函,并建立了损伤粘弹性固体的广义变分原理和广义势能原理．把它们应用于带损伤的粘弹性Timoshenko梁,得到了Timoshenko梁的统一的运动微分方程、初始条件和边界条件． 这些广义变分原理为近似求解带损伤的粘弹性问题提供了一条途径．     

带摩擦的弹性接触问题广义变分不等原理的简化证明

在弹性摩擦接触问题中 ,从变分原理出发来研究接触问题 ,可以将摩擦力纳入问题的能量泛函 .为了得到摩擦约束弹性接触问题的能量泛函 ,日前大多是用拉格朗日乘子法 ,但拉格朗日方法用在变分不等问题中 ,要利用非线性泛函分析和凸分析来证明 ,证明复杂 .本文利用向量分析的工具及巧妙的变换 ,对带摩擦约束的弹性接触问题的广义变分不等原理进行了严格的证明 ,由于只用到向量分析 ,简化了证明 .     

弹性正交索网结构动力学的各类非传统Hamilton型变分原理

根据古典阴阳互补和现代对偶互补的基本思想,通过罗恩早已提出的一条简单而统一的新途径,系统地建立了正交索网结构几何非线性弹性动力学的各类非传统Hamilton型变分原理．这种新的非传统Hamilton型变分原理能反映这种动力学初值-边值问题的全部特征．文中首先给出正交索网结构几何非线性动力学的广义虚功原理的表式,然后从该式出发,不仅能得到正交索网结构几何非线性动力学的虚功原理,而且通过所给出的一系列广义Legendre变换,还能系统地成对导出正交索网结构几何非线性弹性动力学的5类变量、4类变量、3类变量和2类变量非传统Hamilton型变分原理的互补泛函、以及相空间非传统Hamilton型变分原理的泛函与1类变量非传统Hamilton型变分原理势能形式的泛函．同时,通过这条新途径还能清楚地阐明这些原理的内在联系．     

非线性自然弯扭闭口薄壁复合梁的广义变分原理

对复合材料自然弯扭闭口薄壁细长梁在小应变、大位移和大转动的情况作了研究,建立了两端边界均为完全约束的该梁大变形弹性理论的非完全广义变分原理的泛函。由泛函驻值条件可以导出所给问题的平衡方程及全部边界条件。上述方法可方便地推广到其它各种不完全约束边界的情况。此外,利用上述结果还可以得到该梁在小位移理论中的基本方程和有关公式。     

二维流体力学变分通用公式

推导得到了二维流体力学变分通用公式,该公式适用于任何二维守恒型流体力学方程,得到的泛函受约于所谓的参数约束方程(控制方程中各参数间的相互关系式)。消除参数约束,我们可以十分方便地从通用公式导得广义变分原理。几个实例证明这种方法是有效的、简单的,并具有普遍的意义。     

Gross-Pitaevskii方程爆破解的极限图景

考虑Gross-Pitaevskii方程的爆破解. 利用集中紧原理和对应基态变分特征, 在对应能量空间中得到具临界质量爆破解的极限图景. 进一步利用变分法和尺度变换技术将上述结果推广到小超临界质量情形.     

Minimum Principle of Complementary Energy for Nonlinear Elastic Cable Networks with Geometrical Nonlinearities

A minimum principle of complementary energy is established for cable networks involving only the stress components as variables with geometrical nonlinearities and nonlinear elastic materials. The minimization problem of total potential energy is reformulated as a variational problem with a convex objective functional and an infinite number of second-order cone constraints; its Fenchel dual problem is shown to coincide with the minimization problem of the complementary energy. It is of interest to note that the obtained complementary energy attains always its minimum value at the equilibrium state irrespective of the stability of the cable networks, contrary to the fact that only stationary principles have been presented for elastic trusses and continua, even in the case of a stable equilibrium state.     

Infinite Systems of Quasilinear Differential Difference Inequalities and Applications

The article deals with the initial boundary value problem for an infinite system of first order quasilinear functional differential equations. A comparison result concerning infinite systems of differential difference inequalities is proved. A function satisfying such inequalities is estimated by a solution of a suitable Cauchy problem for an ordinary functional differential system. The comparison result is used in an existence theorem and in the investigation of the stability of the numerical method of lines for the original problem. A theorem on the error estimate of the method is given. The infinite system of first order functional differential equations contains, as particular cases, equations with a deviated argument and integral differential equations of the Volterra type.     

Non-linear stability characterization of the thin micropolar liquid film flowing down the inner surface of a rotating vertical cylinder

Linear and non-linear stability analysis for characterization of micropolar film flowing down the inner surface of a rotating infinite vertical cylinder is given. A generalized non-linear kinematic model is derived to represent the physical system and is solved by the long wave perturbation method in the following procedure. First, the normal mode method is used to characterize the linear behaviors. Then, an elaborated non-linear film flow model is solved by using the method of multiple scales to characterize flow behaviors at various states of sub-critical stability, sub-critical instability, supercritical stability, and supercritical explosion. The modeling results indicate that by increasing the rotation speed, Ω, and the radius of cylinder, R, the film flow will generally stabilize the flow system.     

A novel feedforward–feedback suboptimal control of linear time-delay systems

This paper presents a new approach for solving the optimal control problem of linear time-delay systems with a quadratic cost functional. In this approach, a method of successive substitution is employed to convert the original time-delay optimal control problem into a sequence of linear time-invariant ordinary differential equations (ODEs) without delay and advance terms. The obtained optimal control consists of a linear state feedback term and a forward term. The feedback term is determined by solving a matrix Riccati differential equation. The forward term is an infinite sum of adjoint vectors, which can be obtained by solving recursively the above-mentioned sequence of linear non-delay ODEs. A fast-converging iterative algorithm for this purpose is presented which provides a promising possible reduction of computational efforts. Numerical examples demonstrating the efficiency, simplicity and high accuracy of the suggested technique have been included. Simulation results reveal that just a few iterations of the proposed algorithm are required to find an accurate enough feedforward–feedback suboptimal control.     

An infinite-horizon multistage dynamic optimization problem

Multiprocess problems are dynamic optimization problems in which there is a collection of control systems coupled through constraints in the endpoints of the constituent trajectories and through the cost function. Optimality conditions for such problems posed over a finite interval have already been derived. However, multiprocess problems arise, for example in the mathematical economics literature, in which one of the component processes operates over an infinite horizon. We give a proof of the relevant necessary conditions in the form of a maximum principle under mild and verifiable hypotheses and apply the theory to a two-stage problem in which an explicit dependence on the intermediate time (taken as a choice variable) is incorporated in the integrands of the cost functional.This research was carried out while the author was a Graduate Student at the Department of Electrical Engineering, Imperial College of Science, Technology, and Medicine, London, England. The author is grateful to Professor R. B. Vinter for his advice and helpful discussions.     

Uniqueness of unbounded viscosity solutions for impulse control problem

We study here the impulse control problem in infinite as well as finite horizon. We allow the cost functionals and dynamics to be unbounded and hence the value function can possibly be unbounded. We prove that the value function is the unique viscosity solution in a suitable subclass of continuous functions, of the associated quasivariational inequality. Our uniqueness proof for the infinite horizon problem uses stopping time problem and for the finite horizon problem, comparison method. However, we assume proper growth conditions on the cost functionals and the dynamics.     

Optimality conditions for nonlinear infinite programming problems

An infinite programming problem consists in minimizing a functional defined on a real Banach space under an infinite number of constraints. The main purpose of this article is to provide sufficient conditions of optimality under generalized convexity assumptions. Such conditions are necessarily satisfied when the problem possesses the property that every stationary point is a global minimizer.     

A dual extremum principle for a population equation

A dual extremum principle for the Verhulst-Pearl population equation is constructed using a complementary variational technique. The dual formulation utilizes a minimum principle recently developed by Leitmann to convert the functional optimization problem into a parameter optimization problem.This research was supported in part by NASA Grant No. NGR-36-010-024. The first author would like to thank Dr. W. Stadler, Department of Mechanical Engineering, University of California, Berkeley, for his valuable suggestions.     

A Convergence Proof for Constrained Finite Element Solutions

A convergence proof is given for the finite-element solutionof the infinite dimensional quadratic programming problem ofminimizing a quadratic functional subject to linear constraints.The proof for the unconstrained problem is briefly reviewed,and then extended to the constrained case. Only the first partof the proof is given, in which necessary conditions for convergenceare derived for the specific problem and its finite-elementapproximation. The final step of proving that any problem doesobey these conditions will depend on the specific problem, butit is shown that if the finite element formulation is pointwiseconvergent and the unconstrained problem is convergent, thenso too will be the constrained problem.     

Cokriging for spatial functional data

This work proposes to generalize the method of kriging when data are spatially sampled curves. A spatial functional linear model is constructed including spatial dependencies between curves. Under some regularity conditions of the curves, an ordinary kriging system is established in the infinite dimensional case. From a practical point-of-view, the decomposition of the curves into a functional basis boils down the problem of kriging in infinite dimension to a standard cokriging on basis coefficients. The methodological developments are illustrated with temperature profiles sampled with dives of elephant seals in the Antarctic Ocean. The projection of sampled profiles into a Legendre polynomial basis is performed with a regularization procedure based on spline smoothing which uses the variance of the sampling devices in order to estimate coefficients by quadrature.