Boundary Control of Coupled Non-Constant Parameter Systems of Time Fractional PDEs with Different-Type Boundary Conditions

This paper addresses a boundary state feedback control problem for a coupled system of time fractional partial differential equations(PDEs) with non-constant(space-dependent) coefficients and different-type boundary conditions(BCs). The BCs could be heterogeneous-type or mixed-type.Specifically, this coupled system has different BCs at the uncontrolled side for heterogeneous-type and the same BCs at the uncontrolled side for mixed-type. The main contribution is to extend PDE backstepping to the ...     

Vulnerable European Call Option Pricing Based on Uncertain Fractional Differential Equation

This paper presents two new versions of uncertain market models for valuing vulnerable European call option. The dynamics of underlying asset, counterparty asset, and corporate liability are formulated on the basis of uncertain differential equations and uncertain fractional differential equations of Caputo type, respectively, and the solution to an uncertain fractional differential equation of Caputo type is presented by employing the Mittag-Leffler function and α-path. Then, the pricing formul...     

基于时间-空间分数阶偏微分方程的图像去噪模型

为了在去噪的同时更多地保留图像的细节信息,将分数阶微积分理论和梯度下降流有效结合,提出了分数阶梯度下降流的概念,并证明了能量泛函的分数阶梯度下降流在一定微分阶次范围内是收敛的。在此基础上,将时间因素引入到改进的基于空间分数阶偏微分方程的去噪模型中,从而构建了基于时间-空间分数阶偏微分方程的去噪模型,该模型实现了在时间方向上和空间平面内的同时去噪。实验结果表明,提出的基于时间-空间分数阶偏微分方程的图像去噪模型较基于空间分数阶偏微分方程的图像去噪模型不仅可以提高信噪比,而且可以大幅减少图像获得最大信噪比所需要的迭代次数。     

The recursive solution of queue length for <Emphasis Type="Italic">Geo/G</Emphasis>/1 queue with <Emphasis Type="Italic">N</Emphasis>-policy

This paper considers a discrete-time queue with N-policy and LAS-DA(late arrival system with delayed access) discipline.By using renewal process theory and probability decomposition techniques,the authors derive the recursive expressions of the queue-length distributions at epochs n~-,n~+,and n.Furthermore,the authors obtain the stochastic decomposition of the queue length and the relations between the equilibrium distributions of the queue length at different epochs(n~-,n~+,n and departure epoch D_n).     

Queue size distribution of Geo/G/1 queue under the Min(<Emphasis Type="Italic">N,D</Emphasis>)-policy

This paper considers a discrete-time Geo/G/1 queue under the Min(N,D)-policy in which the idle server resumes its service if either N customers accumulate in the system or the total backlog of the service times of the waiting customers exceeds D, whichever occurs first (Min(N,D)-policy). By using renewal process theory and total probability decomposition technique, the authors study the transient and equilibrium properties of the queue length from the beginning of the arbitrary initial state, and obtain both the recursive expression of the z-transformation of the transient queue length distribution and the recursive formula for calculating the steady state queue length at arbitrary time epoch n ⁺. Meanwhile, the authors obtain the explicit expressions of the additional queue length distribution. Furthermore, the important relations between the steady state queue length distributions at different time epochs n ^-, n and n ⁺ are also reported. Finally, the authors give numerical examples to illustrate the effect of system parameters on the steady state queue length distribution, and also show from numerical results that the expressions of the steady state queue length distribution is important in the system capacity design.     

On Existence and Uniqueness of Random Impulsive Differential Equations

This paper studies existence and uniqueness for random impulsive differential equations. The authors first generalize a random fixed point theorem of Schaefer’s type. Then the authors shall rely on the generalized Schaefer’s type random fixed point theorem to discuss the existence of the system. In addition, the authors study the existence and uniqueness of random impulsive differential equations by applying random Banach fixed point theorem and obtain some less conservative results. Finally, an example is given to illustrate the effectiveness of the results.     

B-spline patches and transfinite interpolation method for PDE controlled simulation

This paper is to discuss an approach which combines B-spline patches and transfinite interpolation to establish a linear algebraic system for solving partial differential equations and modify the WEB-spline method developed by Klaus Hollig to derive this new idea.First of all,the authors replace the R-function method with transfinite interpolation to build a function which vanishes on boundaries. Secondly,the authors simulate the partial differential equation by directly applying differential operators to basis functions,which is similar to the RBF method rather than Hollig’s method.These new strategies then make the constructing of bases and the linear system much more straightforward.And as the interpolation is brought in,the design of schemes for solving practical PDEs can be more flexible. This new method is easy to carry out and suitable for simulations in the fields such as graphics to achieve rapid rendering.Especially when the specified precision is not very high,this method performs much faster than WEB-spline method.     

A discontinuous Galerkin method combined with mixed finite element for seawater intrusion problem

<正> Seawater intrusion problem is considered in this paper.Its mathematical model is anonlinear coupled system of partial differential equations with initial boundary problem.It consistsof the water head equation and the salt concentration equation.A combined method is developedto approximate the water head equation by mixed finite element method and concentration equationby discontinuous Galerkin method.The scheme is continuous in time and optimal order estimates inH~1-norm and L~2-norm are derived for the errors.     

解Riemann-Liouville分数阶导数微分方程两点边值问题

研究了两类含Riemann-Liouville分数阶导数的分数阶微分方程两点边值问题。理论上,通过引入分数阶Green函数将含有Riemann-Liouville分数阶导数的两点边值问题等价转换成一个积分方程;并用Lipschitz条件和压缩映射原理给出了含有Riemann-Liouville分数阶导数的两点边值问题的解存在唯一的充分条件;数值上,设计了单打靶法,把含Riemann-Liouville分数阶导数的两点边值问题转化为含Riemann-Liouville分数阶导数的初值问题进行求解,并给出了较为精确的数值解。仿真结果表明:单打靶法是数值求解此类分数阶微分方程两点边值问题的有效工具。     

Functional coefficient autoregressive conditional root model

This paper proposes an extended model based on ACR model:Functional coefficient autoregressive conditional root model（FCACR）.Under some assumptions,the authors show that the process is geometrically ergodic,stationary and all moments of the process exist.The authors use the polynomial spline function to approximate the functional coefficient,and show that the estimate is consistent with the rate of convergence O_p(h^v+1+n^-1/3).By simulation study,the authors discover the proposed method can approximate well the real model.Furthermore,the authors apply the model to real exchange rate data analysis.     

New Results on Interval General Cohen-Grossberg BAM Neural Networks

This paper is concerned with an interval general Cohen-Grossberg bidirectional associative memory neural networks with mixed delays. Under proper conditions, the authors studied the existence,the uniqueness and the global exponential stability of almost automorphic solutions for the suggested system. The proposed method was mainly based on the exponential dichotomy of linear differential equation, the Banach's fixed point principle and the differential inequality techniques. The authors illustrate with an example to demonstrate the effectiveness of the proposed findings.     

Four step scheme for general Markovian forward-backward SDES

<正> This paper studies a class of forward-backward stochastic differential equations (FBSDE)in a general Markovian framework.The forward SDE represents a large class of strong Markov semimartingales,and the backward generator requires only mild regularity assumptions.The authors showthat the Four Step Scheme introduced by Ma,et al.(1994) is still effective in this case.Namely,the authors show that the adapted solution of the FBSDE exists and is unique over any prescribedtime duration;and the backward components can be determined explicitly by the forward componentvia the classical solution to a system of parabolic integro-partial differential equations.An importantconsequence the authors would like to draw from this fact is that,contrary to the general belief,in aMarkovian set-up the martingale representation theorem is no longer the reason for the well-posednessof the FBSDE,but rather a consequence of the existence of the solution of the decoupling integralpartialdifferential equation.Finally,the authors briefly discuss the possibility of reducing the regularityrequirements of the coefficients by using a scheme proposed by F.Delarue (2002) to the current case.     

New Results on H∞ Control for Nonlinear Conformable Fractional Order Systems

This paper deals with H_∞ control problem for nonlinear conformable fractional order systems. The authors first derive new sufficient condition for exponential stability of nonlinear conformable fractional order systems based on Lyapunov-like function method for conformable fractional order systems and linear matrix inequalities(LMIs) approach. Then, by introducing a new concepts of H_∞ control problem for nonlinear conformable fractional order systems, the authors study H_∞ performance analysis and H_∞ state feedback controller design problems for the considered systems. In terms of LMIs, a sufficient condition is proposed to ensure the nonlinear conformable fractional order systems are not only exponentially stable, but also satisfy H_∞ performance γ. An explicit expression for state feedback controllers is also designed to make the closed-loop system is exponentially stable with H_∞performance γ. Finally, numerical examples are given to illustrate the validity and effectiveness of the proposed results.     

The structure of departure process and optimal control strategy <Emphasis Type="Italic">N</Emphasis>* for <Emphasis Type="Italic">Geo/G</Emphasis>/1 discrete-time queue with multiple server vacations and Min(<Emphasis Type="Italic">N,V</Emphasis>)-Policy

This paper considers the departure process and the optimal control strategy for a discretetime Geo/G/1 queueing model in which the system operates under the control of multiple server vacations and Min(N, V)-policy. Using the law of total probability decomposition, the renewal theory and the probability generating function technique, the transient and the steady-state probabilities that the server is busy at any epoch n⁺ are derived. The authors also obtain the explicit expression of the probability generating function for the expected number of departures occurring in the time interval (0⁺, n⁺] from any initial state. Meanwhile, the relationship among departure process, server’s state process and service renewal process in server busy period is found, which shows the special structure of departure process. Especially, some corresponding results of departure process for special discrete-time queues are directly gained by our results. Furthermore, the approximate expansion for calculating the expected number of departures is presented. In addition, some other important performance measures, including the expected length of server busy period, server’s actual vacation period and busy cycle period etc., are analyzed. Finally, some numerical results are provided to determine the optimum value N* for minimizing the system cost under a given cost structure.     

A BSDE Approach to Stochastic Differential Games Involving Impulse Controls and HJBI Equation

This paper focuses on zero-sum stochastic differential games in the framework of forward-backward stochastic differential equations on a finite time horizon with both players adopting impulse controls. By means of BSDE methods, in particular that of the notion from Peng’s stochastic backward semigroups, the authors prove a dynamic programming principle for both the upper and the lower value functions of the game. The upper and the lower value functions are then shown to be the unique viscosity solutions of the Hamilton-Jacobi-Bellman-Isaacs equations with a double-obstacle. As a consequence, the uniqueness implies that the upper and lower value functions coincide and the game admits a value.

     

Boundary Control of Coupled Wave Systems with Spatially-Varying Coefficients

This paper considers the stabilization of the coupled wave systems with spatially-varying coefficients. The authors design a state feedback controller by backstepping method. In contrast to the previous work in the literature, the kernel equations become more complicated and the main difficulty lies in proving the existence and uniqueness of the solution to the kernel equations. Firstly, using the backstepping approach, the authors verify the kernel equations, which is a system of coupled hyperbolic equations with spatially-varying coefficients. Then, the existence and uniqueness of the kernel matrices is obtained. Finally, the authors use a Lyapunov function to get the exponential stabilization of the closed-loop system. A numerical example is presented to illustrate the effectiveness of the proposed controller.

     

Recent progress on controllability/observability for systems governed by partial differential equations

<正> The main purpose of this paper is to overview some recent methods and results on controllability/observability problems for systems governed by partial differential equations.First,the authorsreview the theory for linear partial differential equations,including the iteration method for the nullcontrollability of the time-invariant heat equation and the Rellich-type multiplier method for the exactcontrollability of the time-invariant wave equation,and especially a unified controllability/observabilitytheory for parabolic and hyperbolic equations based on a global Carleman estimate.Then,the authorspresent sharp global controllability results for both semi-linear parabolic and hyperbolic equations,based on linearization approach,sharp observability estimates for the corresponding linearized systemsand the fixed point argument.Finally,the authors survey the local null controllability resultfor a class of quasilinear parabolic equations based on the global Carleman estimate,and the localexact controllability result for general hyperbolic equations based on a new unbounded perturbationtechnique.     

Invariant density,Lapunov exponent,and almost sure stability of Markovian-regime-switching linear systems

This paper is concerned with stability of a class of randomly switched systems of ordinary differential equations. The system under consideration can be viewed as a two-component process (X(t), α(t)), where the system is linear in X(t) and α(t) is a continuous-time Markov chain with a finite state space. Conditions for almost surely exponential stability and instability are obtained. The conditions are based on the Lyapunov exponent, which in turn, depends on the associate invariant density. Concentrating on the case that the continuous component is two dimensional, using transformation techniques, differential equations satisfied by the invariant density associated with the Lyapunov exponent are derived. Conditions for existence and uniqueness of solutions are derived. Then numerical solutions are developed to solve the associated differential equations.     

Backward stochastic viability and related properties on Z for BSDEs with applications

This paper investigates some important properties of Z,the martingale integrant of the backward stochastic differential equations,which is the second process of the solution.These include the backward stochastic viability property,bounded property and the comparison theorem.To explain the theoretical results,the authors apply them to study a financial contingent claim pricing problem. The replication portfolio process can be characterized clearly.     

Weighted <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-estimates of solutions for damped wave equations with variable coefficients

The authors establish weighted L²-estimates of solutions for the damped wave equations with variable coefficients u _tt ? divA(x)?u+au _t = 0 in ? ⁿ under the assumption a(x) ≥ a₀[1+ρ(x)]^?l, where a₀ > 0, l < 1, ρ(x) is the distance function of the metric g = A^?1(x) on ? ⁿ . The authors show that these weighted L²-estimates are closely related to the geometrical properties of the metric g = A^?1(x).