An inverse problem of determining the source term of the non-stationary transport equation was considered.The extra lateral boundary condition was chosen as the observation data.Based on a Carleman estimate on the non...An inverse problem of determining the source term of the non-stationary transport equation was considered.The extra lateral boundary condition was chosen as the observation data.Based on a Carleman estimate on the non-stationary transport equation,a global Lipschitz stability for the inverse problem was proved.展开更多
Necessary and sufficient conditions for the new concepts of Lipschitz stability, Lipschitz weak stability and Lipschitz asymptotic stability of closed set for general control systems are given, using Liapunov-like fun...Necessary and sufficient conditions for the new concepts of Lipschitz stability, Lipschitz weak stability and Lipschitz asymptotic stability of closed set for general control systems are given, using Liapunov-like functions.展开更多
Coyeptes of (h0,h) - (Lipschitz stability, (h0, h) -Lipschitz (weakly) asymptotic stability are introduced for dynamical sytems. Necessary and sufficient conditions are given respectively.
This paper considers an inverse problem for a partial differential equation to identify a pollution point source in a watershed. The mathematical model of the problem is a weakly coupled system of two linear parabolic...This paper considers an inverse problem for a partial differential equation to identify a pollution point source in a watershed. The mathematical model of the problem is a weakly coupled system of two linear parabolic equations for the concentrations u(x, t) and v(x, t) with an unknown point source F(x, t) = A( t)δ(x- s) related to the concentration u(x, t), where s is the point source location and A(t) is the amplitude of the pollution point source. Assuming that source F becomes inactive after time T*, it is proved that it can be uniquely determined by the indirect measurements { v(0, t), v( a, t), v( b, t), v( l, t), 0 〈 t ≤ T, T* 〈 T}, and, thus, the local Lipschitz stability for this inverse source problem is obtained. Based on the proof of its uniqueness, an inversion scheme is presented to determine the point source. Finally, two numerical examples are given to show the feasibility of the inversion scheme.展开更多
The generative adversarial network(GAN)is first proposed in 2014,and this kind of network model is machine learning systems that can learn to measure a given distribution of data,one of the most important applications...The generative adversarial network(GAN)is first proposed in 2014,and this kind of network model is machine learning systems that can learn to measure a given distribution of data,one of the most important applications is style transfer.Style transfer is a class of vision and graphics problems where the goal is to learn the mapping between an input image and an output image.CYCLE-GAN is a classic GAN model,which has a wide range of scenarios in style transfer.Considering its unsupervised learning characteristics,the mapping is easy to be learned between an input image and an output image.However,it is difficult for CYCLE-GAN to converge and generate high-quality images.In order to solve this problem,spectral normalization is introduced into each convolutional kernel of the discriminator.Every convolutional kernel reaches Lipschitz stability constraint with adding spectral normalization and the value of the convolutional kernel is limited to[0,1],which promotes the training process of the proposed model.Besides,we use pretrained model(VGG16)to control the loss of image content in the position of l1 regularization.To avoid overfitting,l1 regularization term and l2 regularization term are both used in the object loss function.In terms of Frechet Inception Distance(FID)score evaluation,our proposed model achieves outstanding performance and preserves more discriminative features.Experimental results show that the proposed model converges faster and achieves better FID scores than the state of the art.展开更多
In this paper, we provide an explicit expression for the full Dirichlet-to-Neumann map corresponding to a radial potential for a hyperbolic differential equation in 3-dimensional. We show that the Dirichlet-Neumann op...In this paper, we provide an explicit expression for the full Dirichlet-to-Neumann map corresponding to a radial potential for a hyperbolic differential equation in 3-dimensional. We show that the Dirichlet-Neumann operators corresponding to a potential radial have the same properties for hyperbolic differential equations as for elliptic differential equations. We numerically implement the coefficients of the explicit formulas. Moreover, a Lipschitz type stability is established near the edge of the domain by an estimation constant. That is necessary for the reconstruction of the potential from Dirichlet-to-Neumann map in the inverse problem for a hyperbolic differential equation.展开更多
In this paper, we provide an explicit expression for the full Dirichlet-to-Neumann map corresponding to a radial potential for the Schrödinger equation in 3-dimensional. We numerically implement the coefficie...In this paper, we provide an explicit expression for the full Dirichlet-to-Neumann map corresponding to a radial potential for the Schrödinger equation in 3-dimensional. We numerically implement the coefficients of the explicit formulas. In this work, Lipschitz type stability is established near the edge of the domain with giving estimation constant. That is necessary for the reconstruction of the potential from Dirichlet-to-Neuman map.展开更多
The authors consider Maxwell's equations for an isomagnetic anisotropic and inhomogeneous medium in two dimensions, and discuss an inverse problem of determining the permittivity tensor (ε1,ε2,ε2,ε3 ) and the p...The authors consider Maxwell's equations for an isomagnetic anisotropic and inhomogeneous medium in two dimensions, and discuss an inverse problem of determining the permittivity tensor (ε1,ε2,ε2,ε3 ) and the permeability μ in the constitutive relations from a finite number of lateral boundary measurements. Applying a Carleman estimate, the authors prove an estimate of the Lipschitz type for stability, provided that ε1,ε2,ε3,μ satisfy some a priori conditions.展开更多
In this paper, PID(proportional-integral-derivative) controllers will be designed to solve the tracking problem for a class of coupled multi-agent systems, where each agent is described by a second-order high-dimens...In this paper, PID(proportional-integral-derivative) controllers will be designed to solve the tracking problem for a class of coupled multi-agent systems, where each agent is described by a second-order high-dimensional nonlinear uncertain dynamical system, which only has access to its own tracking error information and does not need to communicate with others. This paper will show that a 3-dimensional manifold can be constructed based on the information about the Lipschitz constants of the system nonlinear dynamics, such that whenever the three parameters of each PID controller are chosen from the manifold, the whole multi-agent system can be stabilized globally and the tracking error of each agent approaches to zero asymptotically. For a class of coupled first-order multi-agent nonlinear uncertain systems, a PI controller will be designed to stabilize the whole system.展开更多
文摘An inverse problem of determining the source term of the non-stationary transport equation was considered.The extra lateral boundary condition was chosen as the observation data.Based on a Carleman estimate on the non-stationary transport equation,a global Lipschitz stability for the inverse problem was proved.
文摘Necessary and sufficient conditions for the new concepts of Lipschitz stability, Lipschitz weak stability and Lipschitz asymptotic stability of closed set for general control systems are given, using Liapunov-like functions.
文摘Coyeptes of (h0,h) - (Lipschitz stability, (h0, h) -Lipschitz (weakly) asymptotic stability are introduced for dynamical sytems. Necessary and sufficient conditions are given respectively.
基金The National Natural Science Foundation of China(No.10861001)the Natural Science Foundation of Jiangxi Province
文摘This paper considers an inverse problem for a partial differential equation to identify a pollution point source in a watershed. The mathematical model of the problem is a weakly coupled system of two linear parabolic equations for the concentrations u(x, t) and v(x, t) with an unknown point source F(x, t) = A( t)δ(x- s) related to the concentration u(x, t), where s is the point source location and A(t) is the amplitude of the pollution point source. Assuming that source F becomes inactive after time T*, it is proved that it can be uniquely determined by the indirect measurements { v(0, t), v( a, t), v( b, t), v( l, t), 0 〈 t ≤ T, T* 〈 T}, and, thus, the local Lipschitz stability for this inverse source problem is obtained. Based on the proof of its uniqueness, an inversion scheme is presented to determine the point source. Finally, two numerical examples are given to show the feasibility of the inversion scheme.
基金This work is supported by the National Natural Science Foundation of China(No.61702226)the 111 Project(B12018)+1 种基金the Natural Science Foundation of Jiangsu Province(No.BK20170200)the Fundamental Research Funds for the Central Universities(No.JUSRP11854).
文摘The generative adversarial network(GAN)is first proposed in 2014,and this kind of network model is machine learning systems that can learn to measure a given distribution of data,one of the most important applications is style transfer.Style transfer is a class of vision and graphics problems where the goal is to learn the mapping between an input image and an output image.CYCLE-GAN is a classic GAN model,which has a wide range of scenarios in style transfer.Considering its unsupervised learning characteristics,the mapping is easy to be learned between an input image and an output image.However,it is difficult for CYCLE-GAN to converge and generate high-quality images.In order to solve this problem,spectral normalization is introduced into each convolutional kernel of the discriminator.Every convolutional kernel reaches Lipschitz stability constraint with adding spectral normalization and the value of the convolutional kernel is limited to[0,1],which promotes the training process of the proposed model.Besides,we use pretrained model(VGG16)to control the loss of image content in the position of l1 regularization.To avoid overfitting,l1 regularization term and l2 regularization term are both used in the object loss function.In terms of Frechet Inception Distance(FID)score evaluation,our proposed model achieves outstanding performance and preserves more discriminative features.Experimental results show that the proposed model converges faster and achieves better FID scores than the state of the art.
文摘In this paper, we provide an explicit expression for the full Dirichlet-to-Neumann map corresponding to a radial potential for a hyperbolic differential equation in 3-dimensional. We show that the Dirichlet-Neumann operators corresponding to a potential radial have the same properties for hyperbolic differential equations as for elliptic differential equations. We numerically implement the coefficients of the explicit formulas. Moreover, a Lipschitz type stability is established near the edge of the domain by an estimation constant. That is necessary for the reconstruction of the potential from Dirichlet-to-Neumann map in the inverse problem for a hyperbolic differential equation.
文摘In this paper, we provide an explicit expression for the full Dirichlet-to-Neumann map corresponding to a radial potential for the Schrödinger equation in 3-dimensional. We numerically implement the coefficients of the explicit formulas. In this work, Lipschitz type stability is established near the edge of the domain with giving estimation constant. That is necessary for the reconstruction of the potential from Dirichlet-to-Neuman map.
基金Project supported by the Rotary Yoneyama Doctor Course Scholarship (Japan) the Fujyu-kai (Tokyo, Japan)+1 种基金the 21st Century Center of Excellence Program at Graduate School of Mathematical Sciences, the University of Tokyo, the Japan Society for the Promotion of Science (No. 15340027)the Ministry of Education, Cultures, Sports and Technology (No. 17654019).
文摘The authors consider Maxwell's equations for an isomagnetic anisotropic and inhomogeneous medium in two dimensions, and discuss an inverse problem of determining the permittivity tensor (ε1,ε2,ε2,ε3 ) and the permeability μ in the constitutive relations from a finite number of lateral boundary measurements. Applying a Carleman estimate, the authors prove an estimate of the Lipschitz type for stability, provided that ε1,ε2,ε3,μ satisfy some a priori conditions.
基金supported by the National Natural Science Foundation of China under Grant No.11688101
文摘In this paper, PID(proportional-integral-derivative) controllers will be designed to solve the tracking problem for a class of coupled multi-agent systems, where each agent is described by a second-order high-dimensional nonlinear uncertain dynamical system, which only has access to its own tracking error information and does not need to communicate with others. This paper will show that a 3-dimensional manifold can be constructed based on the information about the Lipschitz constants of the system nonlinear dynamics, such that whenever the three parameters of each PID controller are chosen from the manifold, the whole multi-agent system can be stabilized globally and the tracking error of each agent approaches to zero asymptotically. For a class of coupled first-order multi-agent nonlinear uncertain systems, a PI controller will be designed to stabilize the whole system.