In this paper, the inverse spectral problem of Sturm-Liouville operator with boundary conditions and jump conditions dependent on the spectral parameter is investigated. Firstly, the self-adjointness of the problem an...In this paper, the inverse spectral problem of Sturm-Liouville operator with boundary conditions and jump conditions dependent on the spectral parameter is investigated. Firstly, the self-adjointness of the problem and the eigenvalue properties are given, then the asymptotic formulas of eigenvalues and eigenfunctions are presented. Finally, the uniqueness theorems of the corresponding inverse problems are given by Weyl function theory and inverse spectral data approach.展开更多
When one function is defined as a differential operation on another function, it’s often desirable to invert the definition, to effectively “undo” the differentiation. A Green’s function approach is often used to ...When one function is defined as a differential operation on another function, it’s often desirable to invert the definition, to effectively “undo” the differentiation. A Green’s function approach is often used to accomplish this, but variations on this theme exist, and we examine a few such variations. The mathematical analysis of is sought in the form if such an inverse operator exists, but physics is defined by both mathematical formula and ontological formalism, as I show for an example based on the Dirac equation. Finally, I contrast these “standard” approaches with a novel exact inverse operator for field equations.展开更多
This paper considers the finite difference(FD)approximations of diffusion operators and the boundary treatments for different boundary conditions.The proposed schemes have the compact form and could achieve arbitrary ...This paper considers the finite difference(FD)approximations of diffusion operators and the boundary treatments for different boundary conditions.The proposed schemes have the compact form and could achieve arbitrary even order of accuracy.The main idea is to make use of the lower order compact schemes recursively,so as to obtain the high order compact schemes formally.Moreover,the schemes can be implemented efficiently by solving a series of tridiagonal systems recursively or the fast Fourier transform(FFT).With mathematical induction,the eigenvalues of the proposed differencing operators are shown to be bounded away from zero,which indicates the positive definiteness of the operators.To obtain numerical boundary conditions for the high order schemes,the simplified inverse Lax-Wendroff(SILW)procedure is adopted and the stability analysis is performed by the Godunov-Ryabenkii method and the eigenvalue spectrum visualization method.Various numerical experiments are provided to demonstrate the effectiveness and robustness of our algorithms.展开更多
In this paper, we investigate a new perturbation theorem for the Moore-Penrose metric generalized inverses of a bounded linear operator in Banach space. The main tool in this paper is "the generalized Neumann lemma"...In this paper, we investigate a new perturbation theorem for the Moore-Penrose metric generalized inverses of a bounded linear operator in Banach space. The main tool in this paper is "the generalized Neumann lemma" which is quite different from the method in [12] where "the generalized Banach lemma" was used. By the method of the perturba- tion analysis of bounded linear operators, we obtain an explicit perturbation theorem and three inequalities about error estimates for the Moore-Penrose metric generalized inverse of bounded linear operator under the generalized Neumann lemma and the concept of stable perturbations in Banach spaces.展开更多
In the cost function of three- or four-dimensional variational dataassimilation, each term is weighted by the inverse of its associated error covariance matrix and thebackground error covariance matrix is usually much...In the cost function of three- or four-dimensional variational dataassimilation, each term is weighted by the inverse of its associated error covariance matrix and thebackground error covariance matrix is usually much larger than the other covariance matrices.Although the background error covariances are traditionally normalized and parameterized by simplesmooth homogeneous correlation functions, the covariance matrices constructed from these correlationfunctions are often too large to be inverted or even manipulated. It is thus desirable to finddirect representations of the inverses of background error correlations. This problem is studied inthis paper. In particular, it is shown that the background term can be written into ∫ dx∣Dυ(x)∣~2, that is, a squared 1/2 norm of a vector differential operator D, called theD-operator, applied to the field of analysis increment υ(x). For autoregressive correlationfunctions, the D-operators are of finite orders. For Gaussian correlation functions, the D-operatorsare of infinite order. For practical applications, the Gaussian D-operators must be truncated tofinite orders. The truncation errors are found to be small even when the Gaussian D-operators aretruncated to low orders. With a truncated D-operator, the background term can be easily constructedwith neither inversion nor direct calculation of the covariance matrix. D-operators are also derivedfor non-Gaussian correlations and transformed into non-isotropic forms.展开更多
In this paper, we study three inverse nodal problems for the Sturm-Liouville operator with different nonlocal integral conditions. We get the conclusion that the potential function can be determined by a dense nodal s...In this paper, we study three inverse nodal problems for the Sturm-Liouville operator with different nonlocal integral conditions. We get the conclusion that the potential function can be determined by a dense nodal subset uniquely. And we present some constructive procedures to solve the inverse nodal problems.展开更多
Using the photon creation operator's eigenstate theory we derive the normally ordered expansion of inverse of the squeezed creation operator. It turns out that using this operator a kind of excitation on the squeezed...Using the photon creation operator's eigenstate theory we derive the normally ordered expansion of inverse of the squeezed creation operator. It turns out that using this operator a kind of excitation on the squeezed vacuum states can be formed.展开更多
In this work,we consider the inverse nodal problem for the Sturm-Liouville problem with a weight and the jump condition at the middle point.It is shown that the dense nodes of the eigenfunctions can uniquely determine...In this work,we consider the inverse nodal problem for the Sturm-Liouville problem with a weight and the jump condition at the middle point.It is shown that the dense nodes of the eigenfunctions can uniquely determine the potential on the whole interval and some parameters.展开更多
In this paper, the integral-type Stancu operators on a simplex is considered and its inverse theorem of approximation in Lp(1≤ p 〈+∞)has been obtained.
We study Laplacian transport by the Dirichlet-to-Neumann formalism in isotropic media (γ = I). Our main results concern the solution of the localisation inverse problem of absorbing domains and its relative Dirichlet...We study Laplacian transport by the Dirichlet-to-Neumann formalism in isotropic media (γ = I). Our main results concern the solution of the localisation inverse problem of absorbing domains and its relative Dirichlet-to-Neumann operator . In this paper, we define explicitly operator , and we show that Green-Ostrogradski theorem is adopted to this type of problem in three dimensional case.展开更多
Accurate and efficient online parameter identification and state estimation are crucial for leveraging digital twin simulations to optimize the operation of near-carbon-free nuclear energy systems.In previous studies,...Accurate and efficient online parameter identification and state estimation are crucial for leveraging digital twin simulations to optimize the operation of near-carbon-free nuclear energy systems.In previous studies,we developed a reactor operation digital twin(RODT).However,non-differentiabilities and discontinuities arise when employing machine learning-based surrogate forward models,challenging traditional gradient-based inverse methods and their variants.This study investigated deterministic and metaheuristic algorithms and developed hybrid algorithms to address these issues.An efficient modular RODT software framework that incorporates these methods into its post-evaluation module is presented for comprehensive comparison.The methods were rigorously assessed based on convergence profiles,stability with respect to noise,and computational performance.The numerical results show that the hybrid KNNLHS algorithm excels in real-time online applications,balancing accuracy and efficiency with a prediction error rate of only 1%and processing times of less than 0.1 s.Contrastingly,algorithms such as FSA,DE,and ADE,although slightly slower(approximately 1 s),demonstrated higher accuracy with a 0.3%relative L_2 error,which advances RODT methodologies to harness machine learning and system modeling for improved reactor monitoring,systematic diagnosis of off-normal events,and lifetime management strategies.The developed modular software and novel optimization methods presented offer pathways to realize the full potential of RODT for transforming energy engineering practices.展开更多
On the basis of the paoers[3—7],this paper study the monotonicity problems for the positive semidefinite generalized inverses of the positive semidefinite self-conjugate matrices of quaternions in the Lowner partial ...On the basis of the paoers[3—7],this paper study the monotonicity problems for the positive semidefinite generalized inverses of the positive semidefinite self-conjugate matrices of quaternions in the Lowner partial order,give the explicit formulations of the monotonicity solution sets A{1;≥,T_1;≤B^(1)}and B{1;≥,T_2≥A^(1)}for the(1)-inverse,and two results of the monotonicity charac teriaztion for the(1,2)-inverse.展开更多
We continue studying systems whose state depends on time and whose resources are renewably based on functional operators with shift. In previous articles, we considered the term which described results of reproductive...We continue studying systems whose state depends on time and whose resources are renewably based on functional operators with shift. In previous articles, we considered the term which described results of reproductive processes as a linear expression or as a shift summand. In this work, the reproductive term is represented using an integral with a degenerate kernel. A cyclic model of evolution of the system with a renewable resource is developed. We propose a method for solving the balance equation and we determine an equilibrium state of the system. Having applied this model, we can investigate problems of natural systems and their resource production.展开更多
As a generalization of the Bernstein-Durrmeyer operatora defined on the simplex, a class of general Bernstein-Durrmeyer operators is introduced. With the weighted moduli of smoothness as a metric, we prove a strong di...As a generalization of the Bernstein-Durrmeyer operatora defined on the simplex, a class of general Bernstein-Durrmeyer operators is introduced. With the weighted moduli of smoothness as a metric, we prove a strong direct theorem and an inverse theorem of weak type for these operators by using a decom-position way. From the theorems the characterization of Lp approximation behavior is derived.展开更多
There are some equivalence theorems on Baskakov Operators. In this paper, we make use of ω 2 φ λ (f;t) to give a new equivalence theorem which includes the existing results as its special cases.
In this work, we study the inverse problem stability of the continuous-in-time model which is designed to be used for the finances of public institutions. We discuss this study with determining the Loan measure from a...In this work, we study the inverse problem stability of the continuous-in-time model which is designed to be used for the finances of public institutions. We discuss this study with determining the Loan measure from algebraic spending measure in Radon measure space M([tI,Θmax]), and in Hilbert space L2([tI,Θmax]) when they are density measures. For this inverse problem we prove the uniqueness theorem, obtain a procedure for constructing the solution and provide necessary and sufficient conditions for the solvability of the inverse problem in L2([tI,Θmax]).展开更多
In this paper, we present some necessary and sufficient conditions for the ex- istence of solutions, hermitian solutions and positive solutions to the system of operator equations AXB = C = BXA in the setting of bound...In this paper, we present some necessary and sufficient conditions for the ex- istence of solutions, hermitian solutions and positive solutions to the system of operator equations AXB = C = BXA in the setting of bounded linear operators on a Hilbert space. Moreover, we obtain the general forms of solutions, hermitian solutions and positive solutions to the system above.展开更多
We discuss the incomplete semi-iterative method (ISIM) for an approximate solution of a linear fixed point equations x=Tx+c with a bounded linear operator T acting on a complex Banach space X such that its resolvent h...We discuss the incomplete semi-iterative method (ISIM) for an approximate solution of a linear fixed point equations x=Tx+c with a bounded linear operator T acting on a complex Banach space X such that its resolvent has a pole of order k at the point 1. Sufficient conditions for the convergence of ISIM to a solution of x=Tx+c, where c belongs to the range space of R(I-T) k, are established. We show that the ISIM has an attractive feature that it is usually convergent even when the spectral radius of the operator T is greater than 1 and Ind 1T≥1. Applications in finite Markov chain is considered and illustrative examples are reported, showing the convergence rate of the ISIM is very high.展开更多
Sturm-Liouville operators on a finite interval with discontinuities are considered. We give a uniqueness theorem for determining the potential and the parameters in boundary and under discontinuous conditions from a p...Sturm-Liouville operators on a finite interval with discontinuities are considered. We give a uniqueness theorem for determining the potential and the parameters in boundary and under discontinuous conditions from a particular set of eigenvalues, and provide corresponding reconstruction algorithm, which can be applicable to McLaughlin-Rundell's uniqueness theorem (see J. Math. Phys. 28, 1987).展开更多
An inverse problem for identification of the coefficient in heat-conduction equation is considered. After reducing the problem to a nonlinear ill-posed operator equation, Newton type iterative methods are considered. ...An inverse problem for identification of the coefficient in heat-conduction equation is considered. After reducing the problem to a nonlinear ill-posed operator equation, Newton type iterative methods are considered. The implicit iterative method is applied to the linearized Newton equation, and the key step in the process is that a new reasonable a posteriori stopping rule for the inner iteration is presented. Numerical experiments for the new method as well as for Tikhonov method and Bakushikskii method are given, and these results show the obvious advantages of the new method over the other ones.展开更多
文摘In this paper, the inverse spectral problem of Sturm-Liouville operator with boundary conditions and jump conditions dependent on the spectral parameter is investigated. Firstly, the self-adjointness of the problem and the eigenvalue properties are given, then the asymptotic formulas of eigenvalues and eigenfunctions are presented. Finally, the uniqueness theorems of the corresponding inverse problems are given by Weyl function theory and inverse spectral data approach.
文摘When one function is defined as a differential operation on another function, it’s often desirable to invert the definition, to effectively “undo” the differentiation. A Green’s function approach is often used to accomplish this, but variations on this theme exist, and we examine a few such variations. The mathematical analysis of is sought in the form if such an inverse operator exists, but physics is defined by both mathematical formula and ontological formalism, as I show for an example based on the Dirac equation. Finally, I contrast these “standard” approaches with a novel exact inverse operator for field equations.
基金supported by the NSFC grant 11801143J.Lu’s research is partially supported by the NSFC grant 11901213+3 种基金the National Key Research and Development Program of China grant 2021YFA1002900supported by the NSFC grant 11801140,12171177the Young Elite Scientists Sponsorship Program by Henan Association for Science and Technology of China grant 2022HYTP0009the Program for Young Key Teacher of Henan Province of China grant 2021GGJS067.
文摘This paper considers the finite difference(FD)approximations of diffusion operators and the boundary treatments for different boundary conditions.The proposed schemes have the compact form and could achieve arbitrary even order of accuracy.The main idea is to make use of the lower order compact schemes recursively,so as to obtain the high order compact schemes formally.Moreover,the schemes can be implemented efficiently by solving a series of tridiagonal systems recursively or the fast Fourier transform(FFT).With mathematical induction,the eigenvalues of the proposed differencing operators are shown to be bounded away from zero,which indicates the positive definiteness of the operators.To obtain numerical boundary conditions for the high order schemes,the simplified inverse Lax-Wendroff(SILW)procedure is adopted and the stability analysis is performed by the Godunov-Ryabenkii method and the eigenvalue spectrum visualization method.Various numerical experiments are provided to demonstrate the effectiveness and robustness of our algorithms.
基金Supported by the Nature Science Foundation of China(11471091 and 11401143)
文摘In this paper, we investigate a new perturbation theorem for the Moore-Penrose metric generalized inverses of a bounded linear operator in Banach space. The main tool in this paper is "the generalized Neumann lemma" which is quite different from the method in [12] where "the generalized Banach lemma" was used. By the method of the perturba- tion analysis of bounded linear operators, we obtain an explicit perturbation theorem and three inequalities about error estimates for the Moore-Penrose metric generalized inverse of bounded linear operator under the generalized Neumann lemma and the concept of stable perturbations in Banach spaces.
文摘In the cost function of three- or four-dimensional variational dataassimilation, each term is weighted by the inverse of its associated error covariance matrix and thebackground error covariance matrix is usually much larger than the other covariance matrices.Although the background error covariances are traditionally normalized and parameterized by simplesmooth homogeneous correlation functions, the covariance matrices constructed from these correlationfunctions are often too large to be inverted or even manipulated. It is thus desirable to finddirect representations of the inverses of background error correlations. This problem is studied inthis paper. In particular, it is shown that the background term can be written into ∫ dx∣Dυ(x)∣~2, that is, a squared 1/2 norm of a vector differential operator D, called theD-operator, applied to the field of analysis increment υ(x). For autoregressive correlationfunctions, the D-operators are of finite orders. For Gaussian correlation functions, the D-operatorsare of infinite order. For practical applications, the Gaussian D-operators must be truncated tofinite orders. The truncation errors are found to be small even when the Gaussian D-operators aretruncated to low orders. With a truncated D-operator, the background term can be easily constructedwith neither inversion nor direct calculation of the covariance matrix. D-operators are also derivedfor non-Gaussian correlations and transformed into non-isotropic forms.
文摘In this paper, we study three inverse nodal problems for the Sturm-Liouville operator with different nonlocal integral conditions. We get the conclusion that the potential function can be determined by a dense nodal subset uniquely. And we present some constructive procedures to solve the inverse nodal problems.
文摘Using the photon creation operator's eigenstate theory we derive the normally ordered expansion of inverse of the squeezed creation operator. It turns out that using this operator a kind of excitation on the squeezed vacuum states can be formed.
基金The research work was supported in part by the National Natural Science Foundation of China(11611530682 and 11871031).
文摘In this work,we consider the inverse nodal problem for the Sturm-Liouville problem with a weight and the jump condition at the middle point.It is shown that the dense nodes of the eigenfunctions can uniquely determine the potential on the whole interval and some parameters.
基金Supported by the NNSF of China(10371080)Supported by the Educational Committee Foundation of Beijing(01KJ-101)
文摘In this paper, the integral-type Stancu operators on a simplex is considered and its inverse theorem of approximation in Lp(1≤ p 〈+∞)has been obtained.
文摘We study Laplacian transport by the Dirichlet-to-Neumann formalism in isotropic media (γ = I). Our main results concern the solution of the localisation inverse problem of absorbing domains and its relative Dirichlet-to-Neumann operator . In this paper, we define explicitly operator , and we show that Green-Ostrogradski theorem is adopted to this type of problem in three dimensional case.
基金supported by the Natural Science Foundation of Shanghai(No.23ZR1429300)Innovation Funds of CNNC(Lingchuang Fund,Contract No.CNNC-LCKY-202234)the Project of the Nuclear Power Technology Innovation Center of Science Technology and Industry(No.HDLCXZX-2023-HD-039-02)。
文摘Accurate and efficient online parameter identification and state estimation are crucial for leveraging digital twin simulations to optimize the operation of near-carbon-free nuclear energy systems.In previous studies,we developed a reactor operation digital twin(RODT).However,non-differentiabilities and discontinuities arise when employing machine learning-based surrogate forward models,challenging traditional gradient-based inverse methods and their variants.This study investigated deterministic and metaheuristic algorithms and developed hybrid algorithms to address these issues.An efficient modular RODT software framework that incorporates these methods into its post-evaluation module is presented for comprehensive comparison.The methods were rigorously assessed based on convergence profiles,stability with respect to noise,and computational performance.The numerical results show that the hybrid KNNLHS algorithm excels in real-time online applications,balancing accuracy and efficiency with a prediction error rate of only 1%and processing times of less than 0.1 s.Contrastingly,algorithms such as FSA,DE,and ADE,although slightly slower(approximately 1 s),demonstrated higher accuracy with a 0.3%relative L_2 error,which advances RODT methodologies to harness machine learning and system modeling for improved reactor monitoring,systematic diagnosis of off-normal events,and lifetime management strategies.The developed modular software and novel optimization methods presented offer pathways to realize the full potential of RODT for transforming energy engineering practices.
文摘On the basis of the paoers[3—7],this paper study the monotonicity problems for the positive semidefinite generalized inverses of the positive semidefinite self-conjugate matrices of quaternions in the Lowner partial order,give the explicit formulations of the monotonicity solution sets A{1;≥,T_1;≤B^(1)}and B{1;≥,T_2≥A^(1)}for the(1)-inverse,and two results of the monotonicity charac teriaztion for the(1,2)-inverse.
文摘We continue studying systems whose state depends on time and whose resources are renewably based on functional operators with shift. In previous articles, we considered the term which described results of reproductive processes as a linear expression or as a shift summand. In this work, the reproductive term is represented using an integral with a degenerate kernel. A cyclic model of evolution of the system with a renewable resource is developed. We propose a method for solving the balance equation and we determine an equilibrium state of the system. Having applied this model, we can investigate problems of natural systems and their resource production.
基金Supported by Foundation of Key Item of Science and Technology of Education Ministry of China (03142)Foundation of Higher School of Ningxia (JY2002107)Nature Science Foundation of Zhejiang Province(102002).
文摘As a generalization of the Bernstein-Durrmeyer operatora defined on the simplex, a class of general Bernstein-Durrmeyer operators is introduced. With the weighted moduli of smoothness as a metric, we prove a strong direct theorem and an inverse theorem of weak type for these operators by using a decom-position way. From the theorems the characterization of Lp approximation behavior is derived.
文摘There are some equivalence theorems on Baskakov Operators. In this paper, we make use of ω 2 φ λ (f;t) to give a new equivalence theorem which includes the existing results as its special cases.
文摘In this work, we study the inverse problem stability of the continuous-in-time model which is designed to be used for the finances of public institutions. We discuss this study with determining the Loan measure from algebraic spending measure in Radon measure space M([tI,Θmax]), and in Hilbert space L2([tI,Θmax]) when they are density measures. For this inverse problem we prove the uniqueness theorem, obtain a procedure for constructing the solution and provide necessary and sufficient conditions for the solvability of the inverse problem in L2([tI,Θmax]).
基金supported by the National Natural Science Foundation of China(11371233)
文摘In this paper, we present some necessary and sufficient conditions for the ex- istence of solutions, hermitian solutions and positive solutions to the system of operator equations AXB = C = BXA in the setting of bounded linear operators on a Hilbert space. Moreover, we obtain the general forms of solutions, hermitian solutions and positive solutions to the system above.
基金Project1 990 1 0 0 6 supported by National Natural Science Foundation of China,Doctoral Foundation of China,Chi-na Scholarship council and Laboratory of Computational Physics in Beijing of Chinathe second author is also supportedby the State Major Key
文摘We discuss the incomplete semi-iterative method (ISIM) for an approximate solution of a linear fixed point equations x=Tx+c with a bounded linear operator T acting on a complex Banach space X such that its resolvent has a pole of order k at the point 1. Sufficient conditions for the convergence of ISIM to a solution of x=Tx+c, where c belongs to the range space of R(I-T) k, are established. We show that the ISIM has an attractive feature that it is usually convergent even when the spectral radius of the operator T is greater than 1 and Ind 1T≥1. Applications in finite Markov chain is considered and illustrative examples are reported, showing the convergence rate of the ISIM is very high.
基金supported in part by the National Natural Science Foundation of China(11611530682,11171152 and 91538108)Natural Science Foundation of Jiangsu Province of China(BK 20141392)supported by the China Scholarship Fund(201706840062)
文摘Sturm-Liouville operators on a finite interval with discontinuities are considered. We give a uniqueness theorem for determining the potential and the parameters in boundary and under discontinuous conditions from a particular set of eigenvalues, and provide corresponding reconstruction algorithm, which can be applicable to McLaughlin-Rundell's uniqueness theorem (see J. Math. Phys. 28, 1987).
文摘An inverse problem for identification of the coefficient in heat-conduction equation is considered. After reducing the problem to a nonlinear ill-posed operator equation, Newton type iterative methods are considered. The implicit iterative method is applied to the linearized Newton equation, and the key step in the process is that a new reasonable a posteriori stopping rule for the inner iteration is presented. Numerical experiments for the new method as well as for Tikhonov method and Bakushikskii method are given, and these results show the obvious advantages of the new method over the other ones.