关于开区间内连续函数最值的判定

由闭区间上连续函数的最值存在定理,讨论开区间内连续函数最值的存在性,并得出几个结论.     

Generalized Poisson Summation Formulas for Continuous Functions of Polynomial Growth

The Poisson summation formula (PSF) describes the equivalence between the sampling of an analog signal and the periodization of its frequency spectrum. In engineering textbooks, the PSF is usually stated formally without explicit conditions on the signal for the formula to hold. By contrast, in the mathematics literature, the PSF is commonly stated and proven in the pointwise sense for various types of \(L_1\) signals. This \(L_1\) assumption is, however, too restrictive for many signal-processing tasks that demand the sampling of possibly growing signals. In this paper, we present two generalized versions of the PSF for d-dimensional signals of polynomial growth. In the first generalization, we show that the PSF holds in the space of tempered distributions for every continuous and polynomially growing signal. In the second generalization, the PSF holds in a particular negative-order Sobolev space if we further require that \(d/2+\varepsilon \) derivatives of the signal are bounded by some polynomial in the \(L_2\) sense.     

Formulas for Liapunov Functions for Systems of Linear Difference Equations

Explicit quadratic Liapunov functions that provide necessaryand sufficient conditions for the asymptotic stability of thesystem of linear difference equations x (t + 1) = Ax(t) areconstructed by transforming the original systems to y (t + 1)= Gy(t), where G is a companion matrix associated with the characteristicpolynomial of A. A necessary and sufficient condition for allroots of the characteristic polynomial to lie in the unit circle|z| < 1 on the complex plane is also derived. 2000 MathematicalsSubject Classification 39A11, 93D05.     

一些新的数论函数及其均值公式

对于给定的自然数m,我们利用最大公约数和最小公倍数定义数论函数(m,n)和[m,n]/m.本文主要目的是研究这两个新的函数的渐近性质,利用解析方法得到这两个函数的几个渐近公式.     

Methods of Analysis of Discrete - Continuous Systems Vibrations and Their Application to Railway Transport Problems

In the paper some aspects of the interaction between the current collector and the overhead equipment have been presented. A model of the system that consists of a discrete subsystem modelling the pantograph and a continuous subsystem modelling the contact wire has been introduced. The dynamic interaction between the discrete oscillator of two degrees of freedom and a continuous string has been studied. At the contact point of the pantograph and the wire a varying component of force appears. It is the source of waves that propagate along the contact wire. There are also two standing sources of wave generation, i.e. varying forces at the points of catenary supports. General results have been illustrated by numerical examples in which the effect of wave propagation is confirmed. (© 2009 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

New Rational Interpolation Basis Functions on the Unbounded Intervals and Their Applications

Based on the rational system of Legendre rational functions, we construct two set of new interpolation basis functions on the unbounded intervals. Their explicit expressions are derived, and fast and stable algorithms are provided for computing the new basis functions. As applications, new rational collocation methods based on these new basis functions are proposed for solving various second-order differential equations on the unbounded domains. Numerical experiments illustrate that our new methods are more effective and stable than the existing collocation methods.     

The Derivative of a Quality Criterion in Generalized Control Problems for Distributed Systems

We study a generalized optimal control problem for a linear distributed system satisfying inequalities in negative norms. We prove theorems on differential properties of the quality criterion given in a general form.     

Fractional-Order Legendre Functions and Their Application to Solve Fractional Optimal Control of Systems Described by Integro-differential Equations

In this paper, we introduce a set of functions called fractional-order Legendre functions (FLFs) to obtain the numerical solution of optimal control problems subject to the linear and nonlinear fractional integro-differential equations. We consider the properties of these functions to construct the operational matrix of the fractional integration. Also, we achieved a general formulation for operational matrix of multiplication of these functions to solve the nonlinear problems for the first time. Then by using these matrices the mentioned fractional optimal control problem is reduced to a system of algebraic equations. In fact the functions of the problem are approximated by fractional-order Legendre functions with unknown coefficients in the constraint equations, performance index and conditions. Thus, a fractional optimal control problem converts to an optimization problem, which can then be solved numerically. The convergence of the method is discussed and finally, some numerical examples are presented to show the efficiency and accuracy of the method.     

Separately Continuous Functions on Products and Their Dependence on ℵ Coordinates

We investigate necessary and sufficient conditions on topological products X = ∏_{s ∈ s} X _s and Y = ∏_{t ∈ T} Y _t for every separately continuous function f: X × Y → ℝ to be dependent on at most ℵ coordinates with respect to a certain coordinate.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 56, No. 10, pp. 1357 – 1368, October, 2004.     

有关分布参数系统无界控制的几个定理

本文提供的基础定理可用于各类无界最优控制问题。我们已将之用于快速控制问题、二次不定判据最优控制问题和固定时间的一般指标无界最优控制问题。     

Geometric Integrators for Higher-Order Variational Systems and Their Application to Optimal Control

Numerical methods that preserve geometric invariants of the system, such as energy, momentum or the symplectic form, are called geometric integrators. In this paper we present a method to construct symplectic-momentum integrators for higher-order Lagrangian systems. Given a regular higher-order Lagrangian \(L:T^{(k)}Q\rightarrow {\mathbb {R}}\) with \(k\ge 1\), the resulting discrete equations define a generally implicit numerical integrator algorithm on \(T^{(k-1)}Q\times T^{(k-1)}Q\) that approximates the flow of the higher-order Euler–Lagrange equations for L. The algorithm equations are called higher-order discrete Euler–Lagrange equations and constitute a variational integrator for higher-order mechanical systems. The general idea for those variational integrators is to directly discretize Hamilton’s principle rather than the equations of motion in a way that preserves the invariants of the original system, notably the symplectic form and, via a discrete version of Noether’s theorem, the momentum map. We construct an exact discrete Lagrangian \(L_d^e\) using the locally unique solution of the higher-order Euler–Lagrange equations for L with boundary conditions. By taking the discrete Lagrangian as an approximation of \(L_d^e\), we obtain variational integrators for higher-order mechanical systems. We apply our techniques to optimal control problems since, given a cost function, the optimal control problem is understood as a second-order variational problem.     

基于综合函数设计的模糊系统及其插值机理

分析现有模糊系统的数学表示形式,注意到模糊系统输出函数的构造常采用对规则后件模糊集峰点(中心)值加权平均的方法. 综合函数是因素空间理论中利用简单因素状态合成复杂因素状态的有效工具, 本文将综合函数用于构造规则后件模糊集峰点(中心)值的权重, 给出一种新的模糊系统设计方法, 并且证明了这种基于综合函数的模糊系统可归结为一种插值函数.     

Distributed Control Problems for the Burgers Equation

In this work a distributed optimal control problem for time-dependent Burgers equation is analyzed. To solve the nonlinear control problems the augmented Lagrangian-SQP technique is used depending upon a second-order sufficient optimality condition. Numerical test examples are presented.     

Solving Continuous-Time Linear Programming Problems Based on the Piecewise Continuous Functions

The numerical method is proposed in this article to solve a general class of continuous-time linear programming problems in which the functions appeared in the coefficients of this problem are assumed to be piecewise continuous. In order to make sure that all the subintervals of time interval will not contain the discontinuities, a different methodology for not equally partitioning the time interval is proposed. The main issue of this article is to obtain an analytic formula of error upper bound. In this article, we shall propose two kinds of computational procedure to evaluate the error upper bounds. One needs to solve the dual problem of the discretized linear programming problem, and another one does not need to solve the dual problem. Finally, we present a numerical example to demonstrate the usefulness of the numerical method.     

Harmonic Analysis and Expansion Formulas for Two-Variable Hypergeometric Functions

The authors show how their Lie-theoretic characterization of two-variable hypergeometric functions can be employed to derive expansion theorems involving these functions. In particular, the functions arise as solutions of the Laplace, wave, heat, Helmholtz, and Schrooinger equations, and new bases can be constructed from the functions with which to expand general solutions of these physically important equations.     

Value Functions and Transversality Conditions for Infinite-Horizon Optimal Control Problems

This paper investigates a relationship between the maximum principle with an infinite horizon and dynamic programming and sheds new light upon the role of the transversality condition at infinity as necessary and sufficient conditions for optimality with or without convexity assumptions. We first derive the nonsmooth maximum principle and the adjoint inclusion for the value function as necessary conditions for optimality. We then present sufficiency theorems that are consistent with the strengthened maximum principle, employing the adjoint inequalities for the Hamiltonian and the value function. Synthesizing these results, necessary and sufficient conditions for optimality are provided for the convex case. In particular, the role of the transversality conditions at infinity is clarified.     

拟凸函数的近似次微分及其在多目标优化问题中的应用

针对拟凸函数提出一类新的近似次微分,研究其性质,并将近似次微分应用到拟凸多目标优化问题近似解的刻画中.首先,对已有的近似次微分进行改进,得到拟凸函数新的近似次微分,并给出其与已有次微分之间的关系及一系列性质.随后,利用新的近似次微分给出拟凸多目标优化问题近似有效解、近似真有效解的最优性条件.     

On the Henstock-Kurzweil Integral for Riesz-Space-Valued Functions Defined on Unbounded Intervals

In this paper we introduce and investigate a Henstock-Kurzweil-type integral for Riesz-space-valued functions defined on (not necessarily bounded) subintervals of the extended real line. We prove some basic properties, among them the fact that our integral contains under suitable hypothesis the generalized Riemann integral and that every simple function which vanishes outside of a set of finite Lebesgue measure is integrable according to our definition, and in this case our integral coincides with the usual one.     

半平面压电体的Green函数及其应用

本文研究半平面压电体在线力、电荷和位错作用下的弹性场和电场，即Green函数．基于各向异性弹性力学中的Stroh方法和解析延拓理论，推导了Green函数的封闭形式的解．作为解的应用，分析了含半无限裂纹的无限大压电介质的机电耦合场，给出了应力和电位移强度因子的解析表达式．