Pub Date : 2024-08-28DOI: 10.1007/s11075-024-01870-4
H. Vivas, R. Pérez, C. Arias
In this paper, we propose a least-change secant algorithm to solve the generalized complementarity problem indirectly trough its reformulation as a nonsmooth system of nonlinear equations using a one-parametric family of complementarity functions. We present local and superlinear convergence results of new algorithm and analyze its numerical performance.
{"title":"A least-change secant algorithm for solving generalized complementarity problem","authors":"H. Vivas, R. Pérez, C. Arias","doi":"10.1007/s11075-024-01870-4","DOIUrl":"https://doi.org/10.1007/s11075-024-01870-4","url":null,"abstract":"<p>In this paper, we propose a least-change secant algorithm to solve the generalized complementarity problem indirectly trough its reformulation as a nonsmooth system of nonlinear equations using a one-parametric family of complementarity functions. We present local and superlinear convergence results of new algorithm and analyze its numerical performance.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"5 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-24DOI: 10.1007/s11075-024-01924-7
Rong Li, Bing Zheng
In this paper, we present a novel (L^{1})-(L^{2})-TV model for image deblurring that incorporates spatially varying regularization parameters, addressing the challenge of mixed Gaussian and impulse noise. The traditional Total Variation (TV) model with (L^{1}) and (L^{2}) fidelity terms is well-recognized for its effectiveness in such scenarios, but our proposed approach enhances this by allowing the regularization parameters to adapt based on local image characteristics. This ensures that fine details are better preserved while maintaining smoothness in homogeneous areas. The spatially dependent regularization parameters are automatically determined using local discrepancy functions. The discrete minimization problem that arises from this model is efficiently solved using the inexact alternating direction method (IADM). Our numerical experiments show that the proposed algorithm significantly improves the peak signal-to-noise ratio (PSNR) and structural similarity index (SSIM) by enhancing detailed regions and effectively removing both types of noise.
{"title":"Spatially adapted parameters selection based on the local constraints for Gaussian plus impulse image deblurring","authors":"Rong Li, Bing Zheng","doi":"10.1007/s11075-024-01924-7","DOIUrl":"https://doi.org/10.1007/s11075-024-01924-7","url":null,"abstract":"<p>In this paper, we present a novel <span>(L^{1})</span>-<span>(L^{2})</span>-TV model for image deblurring that incorporates spatially varying regularization parameters, addressing the challenge of mixed Gaussian and impulse noise. The traditional Total Variation (TV) model with <span>(L^{1})</span> and <span>(L^{2})</span> fidelity terms is well-recognized for its effectiveness in such scenarios, but our proposed approach enhances this by allowing the regularization parameters to adapt based on local image characteristics. This ensures that fine details are better preserved while maintaining smoothness in homogeneous areas. The spatially dependent regularization parameters are automatically determined using local discrepancy functions. The discrete minimization problem that arises from this model is efficiently solved using the inexact alternating direction method (IADM). Our numerical experiments show that the proposed algorithm significantly improves the peak signal-to-noise ratio (PSNR) and structural similarity index (SSIM) by enhancing detailed regions and effectively removing both types of noise.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"14 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-23DOI: 10.1007/s11075-024-01922-9
Siyuan Shi, Zhaopeng Hao, Rui Du
An efficient finite difference method for the multi-dimensional differential equation with variable-order Riemann-Liouville derivative is studied. Firstly, we construct an efficient discrete approximation for the multi-dimensional variable-order Riemann-Liouville derivative by the generating functions approximation theory. The convergence of the discrete operator in the Barron space is analyzed. Based on it, we present the finite difference method for the elliptic equation with variable-order Riemann-Liouville derivative. The stability and convergence of the method are proven by the maximum principle. Moreover, a fast solver is presented in the computation based on the fast Fourier transform and the multigrid algorithm in order to reduce the storage and speed up the BiCGSTAB method, respectively. We extend this method to time-dependent problems and several numerical examples show that the proposed schemes and the fast solver are efficient.
{"title":"A finite difference method for elliptic equations with the variable-order fractional derivative","authors":"Siyuan Shi, Zhaopeng Hao, Rui Du","doi":"10.1007/s11075-024-01922-9","DOIUrl":"https://doi.org/10.1007/s11075-024-01922-9","url":null,"abstract":"<p>An efficient finite difference method for the multi-dimensional differential equation with variable-order Riemann-Liouville derivative is studied. Firstly, we construct an efficient discrete approximation for the multi-dimensional variable-order Riemann-Liouville derivative by the generating functions approximation theory. The convergence of the discrete operator in the Barron space is analyzed. Based on it, we present the finite difference method for the elliptic equation with variable-order Riemann-Liouville derivative. The stability and convergence of the method are proven by the maximum principle. Moreover, a fast solver is presented in the computation based on the fast Fourier transform and the multigrid algorithm in order to reduce the storage and speed up the BiCGSTAB method, respectively. We extend this method to time-dependent problems and several numerical examples show that the proposed schemes and the fast solver are efficient.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"2013 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-22DOI: 10.1007/s11075-024-01923-8
Pengling Wu, Kit Ian Kou, Hongmin Cai, Zhaoyuan Yu
The low-rank quaternion matrix approximation has been successfully applied in many applications involving signal processing and color image processing. However, the cost of quaternion models for generating low-rank quaternion matrix approximation is sometimes considerable due to the computation of the quaternion singular value decomposition (QSVD), which limits their application to real large-scale data. To address this deficiency, an efficient quaternion matrix CUR (QMCUR) method for low-rank approximation is suggested, which provides significant acceleration in color image processing. We first explore the QMCUR approximation method, which uses actual columns and rows of the given quaternion matrix, instead of the costly QSVD. Additionally, two different sampling strategies are used to sample the above-selected columns and rows. Then, the perturbation analysis is performed on the QMCUR approximation of noisy versions of low-rank quaternion matrices. And we also employ the proposed QMCUR method to color image recovery problem. Extensive experiments on both synthetic and real data further reveal the superiority of the proposed algorithm compared with other algorithms for getting low-rank approximation, in terms of both efficiency and accuracy.
{"title":"Efficient quaternion CUR method for low-rank approximation to quaternion matrix","authors":"Pengling Wu, Kit Ian Kou, Hongmin Cai, Zhaoyuan Yu","doi":"10.1007/s11075-024-01923-8","DOIUrl":"https://doi.org/10.1007/s11075-024-01923-8","url":null,"abstract":"<p>The low-rank quaternion matrix approximation has been successfully applied in many applications involving signal processing and color image processing. However, the cost of quaternion models for generating low-rank quaternion matrix approximation is sometimes considerable due to the computation of the quaternion singular value decomposition (QSVD), which limits their application to real large-scale data. To address this deficiency, an efficient quaternion matrix CUR (QMCUR) method for low-rank approximation is suggested, which provides significant acceleration in color image processing. We first explore the QMCUR approximation method, which uses actual columns and rows of the given quaternion matrix, instead of the costly QSVD. Additionally, two different sampling strategies are used to sample the above-selected columns and rows. Then, the perturbation analysis is performed on the QMCUR approximation of noisy versions of low-rank quaternion matrices. And we also employ the proposed QMCUR method to color image recovery problem. Extensive experiments on both synthetic and real data further reveal the superiority of the proposed algorithm compared with other algorithms for getting low-rank approximation, in terms of both efficiency and accuracy.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"13 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199700","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-21DOI: 10.1007/s11075-024-01918-5
Shashikant Kumar, Sunil Kumar, Pratibhamoy Das
In this work, we present the a priori and a posteriori error analysis of a hybrid difference scheme for integral boundary value problems of nonlinear singularly perturbed parameterized form. The discretization for the nonlinear parameterized equation constitutes a hybrid difference scheme which is based on a suitable combination of the trapezoidal scheme and the backward difference scheme. Further, we employ the composite trapezoidal scheme for the discretization of the nonlocal boundary condition. A priori error estimation is provided for the proposed hybrid scheme, which leads to second-order uniform convergence on various a priori defined meshes. Moreover, a detailed a posteriori error analysis is carried out for the present hybrid scheme which provides a proper discretization of the error equidistribution at each partition. Numerical results strongly validate the theoretical findings for nonlinear problems with integral boundary conditions.
{"title":"Second-order a priori and a posteriori error estimations for integral boundary value problems of nonlinear singularly perturbed parameterized form","authors":"Shashikant Kumar, Sunil Kumar, Pratibhamoy Das","doi":"10.1007/s11075-024-01918-5","DOIUrl":"https://doi.org/10.1007/s11075-024-01918-5","url":null,"abstract":"<p>In this work, we present the <i>a priori</i> and <i>a posteriori</i> error analysis of a hybrid difference scheme for integral boundary value problems of nonlinear singularly perturbed parameterized form. The discretization for the nonlinear parameterized equation constitutes a hybrid difference scheme which is based on a suitable combination of the trapezoidal scheme and the backward difference scheme. Further, we employ the composite trapezoidal scheme for the discretization of the nonlocal boundary condition. <i>A priori</i> error estimation is provided for the proposed hybrid scheme, which leads to second-order uniform convergence on various <i>a priori</i> defined meshes. Moreover, a detailed <i>a posteriori</i> error analysis is carried out for the present hybrid scheme which provides a proper discretization of the error equidistribution at each partition. Numerical results strongly validate the theoretical findings for nonlinear problems with integral boundary conditions.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"8 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-17DOI: 10.1007/s11075-024-01913-w
Saeed Kosari, Peng Xu, Jana Shafi, MohammadHossein Derakhshan
In this article, we study and examine an efficient numerical approach to obtain approximate solutions of the two-dimensional fractional cable model involving the time-fractional operator of distributed order. A hybrid numerical approach is used to approximate the proposed fractional model. For approximating the integral part of the distributed order including Caputo fractional derivative, the combination of Gauss quadrature rule and finite difference are used. As well as, for the integral part of the distributed order including Riemann Liouville fractional derivatives, from the mid-point quadrature rule and shifted Grünwald estimation are applied. Also, to approximate the proposed model in the space direction, the Legendre spectral numerical approach is used in order to calculate the full-discrete numerical approach. In this work, error analysis and convergence are studied. In the end, to show the effectiveness of the proposed approach, two numerical examples are stated and checked.
{"title":"An efficient hybrid numerical approach for solving two-dimensional fractional cable model involving time-fractional operator of distributed order with error analysis","authors":"Saeed Kosari, Peng Xu, Jana Shafi, MohammadHossein Derakhshan","doi":"10.1007/s11075-024-01913-w","DOIUrl":"https://doi.org/10.1007/s11075-024-01913-w","url":null,"abstract":"<p>In this article, we study and examine an efficient numerical approach to obtain approximate solutions of the two-dimensional fractional cable model involving the time-fractional operator of distributed order. A hybrid numerical approach is used to approximate the proposed fractional model. For approximating the integral part of the distributed order including Caputo fractional derivative, the combination of Gauss quadrature rule and finite difference are used. As well as, for the integral part of the distributed order including Riemann Liouville fractional derivatives, from the mid-point quadrature rule and shifted Grünwald estimation are applied. Also, to approximate the proposed model in the space direction, the Legendre spectral numerical approach is used in order to calculate the full-discrete numerical approach. In this work, error analysis and convergence are studied. In the end, to show the effectiveness of the proposed approach, two numerical examples are stated and checked.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"151 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-15DOI: 10.1007/s11075-024-01903-y
Luca Dieci, Daniyar Omarov
In this work, we propose a novel implementation of Newton’s method for solving semi-discrete optimal transport (OT) problems for cost functions which are a positive combination of p-norms, (1<p<infty ). It is well understood that the solution of a semi-discrete OT problem is equivalent to finding a partition of a bounded region in Laguerre cells, and we prove that the Laguerre cells are star-shaped with respect to the target points. By exploiting the geometry of the Laguerre cells, we obtain an efficient and reliable implementation of Newton’s method to find the sought network structure. We provide implementation details and extensive results in support of our technique in 2-d problems, as well as comparison with other approaches used in the literature.
在这项工作中,我们提出了一种新颖的牛顿方法,用于求解成本函数为 p-norms (1<p<infty )的正组合的半离散最优传输(OT)问题。众所周知,半离散 OT 问题的求解等同于在拉盖尔单元中找到一个有界区域的分区,我们证明了拉盖尔单元相对于目标点是星形的。通过利用拉盖尔单元的几何形状,我们获得了牛顿法的高效可靠实现,从而找到了所寻求的网络结构。我们提供了实施细节和大量结果,以支持我们在二维问题中的技术,并与文献中使用的其他方法进行了比较。
{"title":"Solving semi-discrete optimal transport problems: star shapedeness and Newton’s method","authors":"Luca Dieci, Daniyar Omarov","doi":"10.1007/s11075-024-01903-y","DOIUrl":"https://doi.org/10.1007/s11075-024-01903-y","url":null,"abstract":"<p>In this work, we propose a novel implementation of Newton’s method for solving semi-discrete optimal transport (OT) problems for cost functions which are a positive combination of <i>p</i>-norms, <span>(1<p<infty )</span>. It is well understood that the solution of a semi-discrete OT problem is equivalent to finding a partition of a bounded region in Laguerre cells, and we prove that the Laguerre cells are star-shaped with respect to the target points. By exploiting the geometry of the Laguerre cells, we obtain an efficient and reliable implementation of Newton’s method to find the sought network structure. We provide implementation details and extensive results in support of our technique in 2-d problems, as well as comparison with other approaches used in the literature.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"39 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-15DOI: 10.1007/s11075-024-01917-6
Jinxuan Wang, Kejia Pan, Xiaoxin Wu
An efficient extrapolation cascadic multigird (EXCMG) method is developed to solve large linear systems resulting from edge element discretizations of 3D (H(textbf{curl})) problems on rectangular meshes. By treating edge unknowns as defined on the midpoints of edges, following the similar idea of the nodal EXCMG method, we design a new prolongation operator for 3D edge-based discretizations, which is used to construct a high-order approximation to the finite element solution on the refined grid. This good initial guess greatly reduces the number of iterations required by the multigrid smoother. Furthermore, the divergence correction technique is employed to further speed up the convergence of the multigrid method. Numerical examples including problems with high-contrast discontinuous coefficients are presented to validate the effectiveness of the proposed EXCMG method. The edge-based EXCMG method is more efficient than the auxiliary-space Maxwell solver (AMS) for definite problems in the considered geometrical configuration, and it can also efficiently solve large-scale indefinite problems encountered in engineering and scientific fields.
{"title":"An Edge-based cascadic multigrid method for $$H(textbf{curl})$$ problems","authors":"Jinxuan Wang, Kejia Pan, Xiaoxin Wu","doi":"10.1007/s11075-024-01917-6","DOIUrl":"https://doi.org/10.1007/s11075-024-01917-6","url":null,"abstract":"<p>An efficient extrapolation cascadic multigird (EXCMG) method is developed to solve large linear systems resulting from edge element discretizations of 3D <span>(H(textbf{curl}))</span> problems on rectangular meshes. By treating edge unknowns as defined on the midpoints of edges, following the similar idea of the nodal EXCMG method, we design a new prolongation operator for 3D edge-based discretizations, which is used to construct a high-order approximation to the finite element solution on the refined grid. This good initial guess greatly reduces the number of iterations required by the multigrid smoother. Furthermore, the divergence correction technique is employed to further speed up the convergence of the multigrid method. Numerical examples including problems with high-contrast discontinuous coefficients are presented to validate the effectiveness of the proposed EXCMG method. The edge-based EXCMG method is more efficient than the auxiliary-space Maxwell solver (AMS) for definite problems in the considered geometrical configuration, and it can also efficiently solve large-scale indefinite problems encountered in engineering and scientific fields.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"15 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199676","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-13DOI: 10.1007/s11075-024-01910-z
Yaoyao Chen, Hailiang Liu, Nianyu Yi, Peimeng Yin
In this paper, we present several unconditionally energy-stable invariant energy quadratization (IEQ) finite element methods (FEMs) with linear, first- and second-order accuracy for solving both the Cahn-Hilliard equation and the Allen-Cahn equation. For time discretization, we compare three distinct IEQ-FEM schemes that position the intermediate function introduced by the IEQ approach in different function spaces: finite element space, continuous function space, or a combination of these spaces. Rigorous proofs establishing the existence and uniqueness of the numerical solution, along with analyses of energy dissipation for both equations and mass conservation for the Cahn-Hilliard equation, are provided. The proposed schemes’ accuracy, efficiency, and solution properties are demonstrated through numerical experiments.
{"title":"Unconditionally energy stable IEQ-FEMs for the Cahn-Hilliard equation and Allen-Cahn equation","authors":"Yaoyao Chen, Hailiang Liu, Nianyu Yi, Peimeng Yin","doi":"10.1007/s11075-024-01910-z","DOIUrl":"https://doi.org/10.1007/s11075-024-01910-z","url":null,"abstract":"<p>In this paper, we present several unconditionally energy-stable invariant energy quadratization (IEQ) finite element methods (FEMs) with linear, first- and second-order accuracy for solving both the Cahn-Hilliard equation and the Allen-Cahn equation. For time discretization, we compare three distinct IEQ-FEM schemes that position the intermediate function introduced by the IEQ approach in different function spaces: finite element space, continuous function space, or a combination of these spaces. Rigorous proofs establishing the existence and uniqueness of the numerical solution, along with analyses of energy dissipation for both equations and mass conservation for the Cahn-Hilliard equation, are provided. The proposed schemes’ accuracy, efficiency, and solution properties are demonstrated through numerical experiments.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"399 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199677","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-12DOI: 10.1007/s11075-024-01908-7
Fernando Chueca-Díez, Alfonso M. Gañán-Calvo
A highly recurrent traditional bottleneck in applied mathematics, for which the most popular codes (Mathematica, Matlab, and Python as examples) do not offer a solution, is to find all the real solutions of a system of n nonlinear equations in a certain finite domain of the n-dimensional space of variables. We present two similar algorithms of minimum length and computational weight to solve this problem, in which one resembles a graphical tool of edge detection in an image extended to n dimensions. To do this, we discretize the n-dimensional space sector in which the solutions are sought. Once the discretized hypersurfaces (edges) defined by each nonlinear equation of the n-dimensional system have been identified in a single, simultaneous step, the coincidence of the hypersurfaces in each n-dimensional tile or cell containing at least one solution marks the approximate locations of all the hyperpoints that constitute the solutions. This makes the final Newton-Raphson step rapidly convergent to all the existent solutions in the predefined space sector with the desired degree of accuracy.
在应用数学中,一个经常出现的传统瓶颈问题是在 n 维变量空间的某个有限域中找到 n 个非线性方程组的所有实解,而最流行的代码(以 Mathematica、Matlab 和 Python 为例)都无法解决这个问题。我们提出了两种长度和计算量都最小的类似算法来解决这个问题,其中一种类似于扩展到 n 维的图像边缘检测图形工具。为此,我们将求解的 n 维空间扇形离散化。一旦 n 维系统的每个非线性方程所定义的离散化超曲面(边缘)在一个单一的同步步骤中被识别出来,那么在每个包含至少一个解的 n 维平面或单元中,超曲面的重合就标志着构成解的所有超点的近似位置。这样,最后的牛顿-拉夫逊步骤就能以所需的精确度迅速收敛到预定空间扇形中所有存在的解。
{"title":"A fast numerical algorithm for finding all real solutions to a system of N nonlinear equations in a finite domain","authors":"Fernando Chueca-Díez, Alfonso M. Gañán-Calvo","doi":"10.1007/s11075-024-01908-7","DOIUrl":"https://doi.org/10.1007/s11075-024-01908-7","url":null,"abstract":"<p>A highly recurrent traditional bottleneck in applied mathematics, for which the most popular codes (Mathematica, Matlab, and Python as examples) do not offer a solution, is to find all the real solutions of a system of <i>n</i> nonlinear equations in a certain finite domain of the <i>n</i>-dimensional space of variables. We present two similar algorithms of minimum length and computational weight to solve this problem, in which one resembles a graphical tool of edge detection in an image extended to <i>n</i> dimensions. To do this, we discretize the <i>n</i>-dimensional space sector in which the solutions are sought. Once the discretized hypersurfaces (edges) defined by each nonlinear equation of the <i>n</i>-dimensional system have been identified in a single, simultaneous step, the coincidence of the hypersurfaces in each <i>n</i>-dimensional tile or cell containing at least one solution marks the approximate locations of all the hyperpoints that constitute the solutions. This makes the final Newton-Raphson step rapidly convergent to all the existent solutions in the predefined space sector with the desired degree of accuracy.</p>","PeriodicalId":54709,"journal":{"name":"Numerical Algorithms","volume":"23 1","pages":""},"PeriodicalIF":2.1,"publicationDate":"2024-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141935623","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}