首页 > 最新文献

Axioms最新文献

英文 中文
Some Results on Zinbiel Algebras and Rota–Baxter Operators 关于津比尔代数和罗塔-巴克斯特算子的若干结果
Pub Date : 2024-05-10 DOI: 10.3390/axioms13050314
Jizhong Gao, Junna Ni, Jianhua Yu
Rota–Baxter operators (RBOs) play a substantial role in many subfields of mathematics, especially in mathematical physics. In the article, RBOs on Zinbiel algebras (ZAs) and their sub-adjacent algebras are first investigated. Moreover, all the RBOs on two and three-dimensional ZAs are presented. Finally, ZAs are also realized in low dimensions of the RBOs of commutative associative algebras. It was found that not all ZAs can be attained in this way.
罗塔-巴克斯特算子(Rota-Baxter operator,RBO)在数学的许多分支领域,尤其是数学物理中发挥着重要作用。文章首先研究了津比尔代数(ZA)及其子邻接代数上的 RBO。此外,还介绍了二维和三维 ZAs 上的所有 RBO。最后,在交换关联代数的 RBO 的低维度中也实现了 ZA。研究发现,并非所有的 ZA 都可以通过这种方式实现。
{"title":"Some Results on Zinbiel Algebras and Rota–Baxter Operators","authors":"Jizhong Gao, Junna Ni, Jianhua Yu","doi":"10.3390/axioms13050314","DOIUrl":"https://doi.org/10.3390/axioms13050314","url":null,"abstract":"Rota–Baxter operators (RBOs) play a substantial role in many subfields of mathematics, especially in mathematical physics. In the article, RBOs on Zinbiel algebras (ZAs) and their sub-adjacent algebras are first investigated. Moreover, all the RBOs on two and three-dimensional ZAs are presented. Finally, ZAs are also realized in low dimensions of the RBOs of commutative associative algebras. It was found that not all ZAs can be attained in this way.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":" 44","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140993440","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Parameter Estimation in Spatial Autoregressive Models with Missing Data and Measurement Errors 有缺失数据和测量误差的空间自回归模型的参数估计
Pub Date : 2024-05-10 DOI: 10.3390/axioms13050315
Tengjun Li, Zhikang Zhang, Yunquan Song
This study addresses the problem of parameter estimation in spatial autoregressive models with missing data and measurement errors in covariates. Specifically, a corrected likelihood estimation approach is employed to rectify the bias in the log-maximum likelihood function induced by measurement errors. Additionally, a combination of inverse probability weighting (IPW) and mean imputation is utilized to mitigate the bias caused by missing data. Under several mild conditions, it is demonstrated that the proposed estimators are consistent and possess oracle properties. The efficacy of the proposed parameter estimation process is assessed through Monte Carlo simulation studies. Finally, the applicability of the proposed method is further substantiated using the Boston Housing Dataset.
本研究解决了协变量中存在数据缺失和测量误差的空间自回归模型的参数估计问题。具体来说,采用了一种校正似然估计方法来纠正测量误差引起的对数最大似然函数偏差。此外,还采用了反概率加权(IPW)和平均估算相结合的方法来减轻缺失数据造成的偏差。在几种温和的条件下,证明了所提出的估计器是一致的,并具有甲骨文特性。通过蒙特卡罗模拟研究评估了所提出的参数估计过程的有效性。最后,利用波士顿住房数据集进一步证实了所提方法的适用性。
{"title":"Parameter Estimation in Spatial Autoregressive Models with Missing Data and Measurement Errors","authors":"Tengjun Li, Zhikang Zhang, Yunquan Song","doi":"10.3390/axioms13050315","DOIUrl":"https://doi.org/10.3390/axioms13050315","url":null,"abstract":"This study addresses the problem of parameter estimation in spatial autoregressive models with missing data and measurement errors in covariates. Specifically, a corrected likelihood estimation approach is employed to rectify the bias in the log-maximum likelihood function induced by measurement errors. Additionally, a combination of inverse probability weighting (IPW) and mean imputation is utilized to mitigate the bias caused by missing data. Under several mild conditions, it is demonstrated that the proposed estimators are consistent and possess oracle properties. The efficacy of the proposed parameter estimation process is assessed through Monte Carlo simulation studies. Finally, the applicability of the proposed method is further substantiated using the Boston Housing Dataset.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":" 18","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140990342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Study of the Six-Compartment Nonlinear COVID-19 Model with the Homotopy Perturbation Method 用同调扰动法研究六室非线性 COVID-19 模型
Pub Date : 2024-05-09 DOI: 10.3390/axioms13050311
M. Rafiullah, Muhammad Asif, Dure Jabeen, M. A. Ibrahim
The current study aims to utilize the homotopy perturbation method (HPM) to solve nonlinear dynamical models, with a particular focus on models related to predicting and controlling pandemics, such as the SIR model. Specifically, we apply this method to solve a six-compartment model for the novel coronavirus (COVID-19), which includes susceptible, exposed, asymptomatic infected, symptomatic infected, and recovered individuals, and the concentration of COVID-19 in the environment is indicated by S(t), E(t), A(t), I(t), R(t), and B(t), respectively. We present the series solution of this model by varying the controlling parameters and representing them graphically. Additionally, we verify the accuracy of the series solution (up to the (n−1)th-degree polynomial) that satisfies both the initial conditions and the model, with all coefficients correct at 18 decimal places. Furthermore, we have compared our results with the Runge–Kutta fourth-order method. Based on our findings, we conclude that the homotopy perturbation method is a promising approach to solve nonlinear dynamical models, particularly those associated with pandemics. This method provides valuable insight into how the control of various parameters can affect the model. We suggest that future studies can expand on our work by exploring additional models and assessing the applicability of other analytical methods.
本研究旨在利用同调扰动法(HPM)求解非线性动力学模型,尤其关注与预测和控制流行病相关的模型,如 SIR 模型。具体来说,我们应用该方法求解了新型冠状病毒(COVID-19)的六室模型,其中包括易感者、暴露者、无症状感染者、有症状感染者和康复者,环境中 COVID-19 的浓度分别用 S(t)、E(t)、A(t)、I(t)、R(t)和 B(t) 表示。我们通过改变控制参数并用图形表示,给出了该模型的序列解。此外,我们还验证了满足初始条件和模型的序列解(直到 (n-1)th 阶多项式)的准确性,所有系数均精确到小数点后 18 位。此外,我们还将结果与 Runge-Kutta 四阶方法进行了比较。根据我们的研究结果,我们得出结论:同调扰动法是解决非线性动力学模型,尤其是与大流行病相关模型的一种很有前途的方法。该方法为了解控制各种参数如何影响模型提供了宝贵的见解。我们建议今后的研究可以通过探索更多模型和评估其他分析方法的适用性来扩展我们的工作。
{"title":"Study of the Six-Compartment Nonlinear COVID-19 Model with the Homotopy Perturbation Method","authors":"M. Rafiullah, Muhammad Asif, Dure Jabeen, M. A. Ibrahim","doi":"10.3390/axioms13050311","DOIUrl":"https://doi.org/10.3390/axioms13050311","url":null,"abstract":"The current study aims to utilize the homotopy perturbation method (HPM) to solve nonlinear dynamical models, with a particular focus on models related to predicting and controlling pandemics, such as the SIR model. Specifically, we apply this method to solve a six-compartment model for the novel coronavirus (COVID-19), which includes susceptible, exposed, asymptomatic infected, symptomatic infected, and recovered individuals, and the concentration of COVID-19 in the environment is indicated by S(t), E(t), A(t), I(t), R(t), and B(t), respectively. We present the series solution of this model by varying the controlling parameters and representing them graphically. Additionally, we verify the accuracy of the series solution (up to the (n−1)th-degree polynomial) that satisfies both the initial conditions and the model, with all coefficients correct at 18 decimal places. Furthermore, we have compared our results with the Runge–Kutta fourth-order method. Based on our findings, we conclude that the homotopy perturbation method is a promising approach to solve nonlinear dynamical models, particularly those associated with pandemics. This method provides valuable insight into how the control of various parameters can affect the model. We suggest that future studies can expand on our work by exploring additional models and assessing the applicability of other analytical methods.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":" 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140997508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Canonical Metrics on Twisted Quiver Bundles over a Class of Non-Compact Gauduchon Manifold 一类非紧凑高杜洪流形上的扭转曲束上的典范度量
Pub Date : 2024-05-09 DOI: 10.3390/axioms13050312
Shi-Fan Cai, S. Chaubey, Xin Xu, Pan Zhang, Zhi-Heng Zhang
The aim of this paper is to prove a theorem for holomorphic twisted quiver bundles over a special non-compact Gauduchon manifold, connecting the existence of (σ,τ)-Hermite–Yang–Mills metric in differential geometry and the analytic (σ,τ)-stability in algebraic geometry. The proof of the theorem relies on the flow method and the Uhlenbeck–Yau’s continuity method.
本文旨在证明特殊非紧密高都松流形上的全形扭曲四维束的一个定理,将微分几何学中的(σ,τ)-赫米特-杨-米尔斯公设的存在与代数几何学中的(σ,τ)-解析稳定性联系起来。定理的证明依赖于流动方法和乌伦贝克-尤氏连续性方法。
{"title":"Canonical Metrics on Twisted Quiver Bundles over a Class of Non-Compact Gauduchon Manifold","authors":"Shi-Fan Cai, S. Chaubey, Xin Xu, Pan Zhang, Zhi-Heng Zhang","doi":"10.3390/axioms13050312","DOIUrl":"https://doi.org/10.3390/axioms13050312","url":null,"abstract":"The aim of this paper is to prove a theorem for holomorphic twisted quiver bundles over a special non-compact Gauduchon manifold, connecting the existence of (σ,τ)-Hermite–Yang–Mills metric in differential geometry and the analytic (σ,τ)-stability in algebraic geometry. The proof of the theorem relies on the flow method and the Uhlenbeck–Yau’s continuity method.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":" 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140995434","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Short Note on Generating a Random Sample from Finite Mixture Distributions 关于从有限混合分布生成随机样本的简短说明
Pub Date : 2024-05-08 DOI: 10.3390/axioms13050307
L. Al-Labadi, Anna Ly
Computational statistics is a critical skill for professionals in fields such as data science, statistics, and related disciplines. One essential aspect of computational statistics is the ability to simulate random variables from specified probability distributions. Commonly employed techniques for sampling random variables include the inverse transform method, acceptance–rejection method, and Box–Muller transformation, all of which rely on sampling from the uniform (0,1) distribution. A significant concept in statistics is the finite mixture model, characterized by a convex combination of multiple probability density functions. In this paper, we introduce a modified version of the composition method, a standard approach for sampling finite mixture models. Our modification offers the advantage of relying on sampling from the uniform (0,1) distribution, aligning with prevalent methods in computational statistics. This alignment simplifies teaching computational statistics courses, as well as having other benefits. We offer several examples to illustrate the approach.
计算统计学是数据科学、统计学和相关学科等领域专业人员的一项重要技能。计算统计学的一个重要方面是模拟指定概率分布的随机变量的能力。常用的随机变量采样技术包括反变换法、接受-拒绝法和箱-穆勒变换,所有这些技术都依赖于从均匀分布(0,1)中采样。统计学中的一个重要概念是有限混合模型,其特点是多个概率密度函数的凸组合。在本文中,我们介绍了组合法的一个改进版本,这是一种对有限混合物模型进行采样的标准方法。我们的改进版具有从均匀(0,1)分布采样的优势,与计算统计中流行的方法一致。这种一致性简化了计算统计课程的教学,同时还有其他好处。我们举几个例子来说明这种方法。
{"title":"A Short Note on Generating a Random Sample from Finite Mixture Distributions","authors":"L. Al-Labadi, Anna Ly","doi":"10.3390/axioms13050307","DOIUrl":"https://doi.org/10.3390/axioms13050307","url":null,"abstract":"Computational statistics is a critical skill for professionals in fields such as data science, statistics, and related disciplines. One essential aspect of computational statistics is the ability to simulate random variables from specified probability distributions. Commonly employed techniques for sampling random variables include the inverse transform method, acceptance–rejection method, and Box–Muller transformation, all of which rely on sampling from the uniform (0,1) distribution. A significant concept in statistics is the finite mixture model, characterized by a convex combination of multiple probability density functions. In this paper, we introduce a modified version of the composition method, a standard approach for sampling finite mixture models. Our modification offers the advantage of relying on sampling from the uniform (0,1) distribution, aligning with prevalent methods in computational statistics. This alignment simplifies teaching computational statistics courses, as well as having other benefits. We offer several examples to illustrate the approach.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":"5 11","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141001674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Study on SEAI Model of COVID-19 Based on Asymptomatic Infection 基于无症状感染的 COVID-19 SEAI 模型研究
Pub Date : 2024-05-08 DOI: 10.3390/axioms13050309
Lidong Huang, Yue Xia, Wenjie Qin
In this paper, an SEAI epidemic model with asymptomatic infection is studied under the background of mass transmission of COVID-19. First, we use the next-generation matrix method to obtain the basic reproductive number R0 and calculate the equilibrium point. Secondly, when R0<1, the local asymptotic stability of the disease-free equilibrium is proved by Hurwitz criterion, and the global asymptotic stability of the disease-free equilibrium is proved by constructing the Lyapunov function. When R0>1, the system has a unique endemic equilibrium point and is locally asymptotically stable, and it is also proved that the system is uniformly persistent. Then, the application of optimal control theory is carried out, and the expression of the optimal control solution is obtained. Finally, in order to verify the correctness of the theory, the stability of the equilibrium point is numerically simulated and the sensitivity of the parameters of R0 is analyzed. We also simulated the comparison of the number of asymptomatic infected people and symptomatic infected people before and after adopting the optimal control strategy. This shows that the infection of asymptomatic people cannot be underestimated in the spread of COVID-19 virus, and an isolation strategy should be adopted to control the spread speed of the disease.
本文以 COVID-19 大规模传播为背景,研究了无症状感染的 SEAI 流行模型。首先,我们利用新一代矩阵法得到基本繁殖数 R0 并计算出平衡点。其次,当 R01 时,系统具有唯一的流行平衡点,且局部渐近稳定,同时证明系统具有均匀持久性。然后,应用最优控制理论,得到最优控制解的表达式。最后,为了验证理论的正确性,对平衡点的稳定性进行了数值模拟,并分析了 R0 参数的敏感性。我们还模拟了采用最优控制策略前后无症状感染者和有症状感染者数量的对比。这表明在 COVID-19 病毒传播过程中不能低估无症状人群的感染率,应采取隔离策略来控制疾病的传播速度。
{"title":"Study on SEAI Model of COVID-19 Based on Asymptomatic Infection","authors":"Lidong Huang, Yue Xia, Wenjie Qin","doi":"10.3390/axioms13050309","DOIUrl":"https://doi.org/10.3390/axioms13050309","url":null,"abstract":"In this paper, an SEAI epidemic model with asymptomatic infection is studied under the background of mass transmission of COVID-19. First, we use the next-generation matrix method to obtain the basic reproductive number R0 and calculate the equilibrium point. Secondly, when R0<1, the local asymptotic stability of the disease-free equilibrium is proved by Hurwitz criterion, and the global asymptotic stability of the disease-free equilibrium is proved by constructing the Lyapunov function. When R0>1, the system has a unique endemic equilibrium point and is locally asymptotically stable, and it is also proved that the system is uniformly persistent. Then, the application of optimal control theory is carried out, and the expression of the optimal control solution is obtained. Finally, in order to verify the correctness of the theory, the stability of the equilibrium point is numerically simulated and the sensitivity of the parameters of R0 is analyzed. We also simulated the comparison of the number of asymptomatic infected people and symptomatic infected people before and after adopting the optimal control strategy. This shows that the infection of asymptomatic people cannot be underestimated in the spread of COVID-19 virus, and an isolation strategy should be adopted to control the spread speed of the disease.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":" 45","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141000169","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Recent Advances in Fractional Calculus 分数微积分的最新进展
Pub Date : 2024-05-08 DOI: 10.3390/axioms13050310
Péter Kórus, J. N. Nápoles Valdés
This Special Issue of the scientific journal Axioms, entitled “Recent Advances in Fractional Calculus”, is dedicated to one of the most dynamic areas of mathematical sciences today [...]
本期科学杂志《公理》特刊题为 "分数微积分的最新进展",专门讨论当今数学科学中最具活力的领域之一 [...] 。
{"title":"Recent Advances in Fractional Calculus","authors":"Péter Kórus, J. N. Nápoles Valdés","doi":"10.3390/axioms13050310","DOIUrl":"https://doi.org/10.3390/axioms13050310","url":null,"abstract":"This Special Issue of the scientific journal Axioms, entitled “Recent Advances in Fractional Calculus”, is dedicated to one of the most dynamic areas of mathematical sciences today [...]","PeriodicalId":502355,"journal":{"name":"Axioms","volume":" 115","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141000699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Semi-Vector Spaces and Semi-Algebras with Applications in Fuzzy Automata 论半向量空间和半代数及其在模糊自动机中的应用
Pub Date : 2024-05-08 DOI: 10.3390/axioms13050308
G. G. La Guardia, J. Chagas, E. Lenzi, L. Pires, Nicolás Zumelzu, Benjamín R. C. Bedregal
In this paper, we expand the theory of semi-vector spaces and semi-algebras, both over the semi-field of nonnegative real numbers R0+. More precisely, we prove several new results concerning these theories. We introduce to the literature the concept of eigenvalues and eigenvectors of a semi-linear operator, describing how to compute them. The topological properties of semi-vector spaces, such as completeness and separability, are also investigated here. New families of semi-vector spaces derived from the semi-metric, semi-norm and semi-inner product, among others, are exhibited. Furthermore, we show several new results concerning semi-algebras. After this theoretical approach, we apply such a theory in fuzzy automata. More precisely, we describe the semi-algebra of A-fuzzy regular languages and we apply the theory of fuzzy automata for counting patterns in DNA sequences.
在本文中,我们扩展了非负实数半域 R0+ 上的半向量空间和半代数理论。更确切地说,我们证明了有关这些理论的几个新结果。我们向文献介绍了半线性算子的特征值和特征向量的概念,描述了如何计算它们。我们还研究了半矢量空间的拓扑特性,如完备性和可分性。我们展示了由半度量、半规范和半内积等衍生出的半矢量空间新族。此外,我们还展示了有关半代数的几个新结果。在这种理论方法之后,我们将这种理论应用于模糊自动机。更确切地说,我们描述了 A-模糊正则表达式语言的半代数,并将模糊自动机理论应用于 DNA 序列的计数模式。
{"title":"On Semi-Vector Spaces and Semi-Algebras with Applications in Fuzzy Automata","authors":"G. G. La Guardia, J. Chagas, E. Lenzi, L. Pires, Nicolás Zumelzu, Benjamín R. C. Bedregal","doi":"10.3390/axioms13050308","DOIUrl":"https://doi.org/10.3390/axioms13050308","url":null,"abstract":"In this paper, we expand the theory of semi-vector spaces and semi-algebras, both over the semi-field of nonnegative real numbers R0+. More precisely, we prove several new results concerning these theories. We introduce to the literature the concept of eigenvalues and eigenvectors of a semi-linear operator, describing how to compute them. The topological properties of semi-vector spaces, such as completeness and separability, are also investigated here. New families of semi-vector spaces derived from the semi-metric, semi-norm and semi-inner product, among others, are exhibited. Furthermore, we show several new results concerning semi-algebras. After this theoretical approach, we apply such a theory in fuzzy automata. More precisely, we describe the semi-algebra of A-fuzzy regular languages and we apply the theory of fuzzy automata for counting patterns in DNA sequences.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":"14 10","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141001375","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Conditional Axioms and Associated Inference Rules 论条件公理和相关推理规则
Pub Date : 2024-05-07 DOI: 10.3390/axioms13050306
Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara-Martín
In the present paper, we address the following general question in the framework of classical first-order logic. Assume that a certain mathematical principle can be formalized in a first-order language by a set E of conditional formulas of the form α(v)→β(v). Given a base theory T, we can use the set of conditional formulas E to extend the base theory in two natural ways. Either we add to T each formula in E as a new axiom (thus obtaining a theory denoted by T+E) or we extend T by using the formulas in E as instances of an inference rule (thus obtaining a theory denoted by T+E–Rule). The theory T+E will be stronger than T+E–Rule, but how much stronger can T+E be? More specifically, is T+E conservative over T+E–Rule for theorems of some fixed syntactical complexity Γ? Under very general assumptions on the set of conditional formulas E, we obtain two main conservation results in this regard. Firstly, if the formulas in E have low syntactical complexity with respect to some prescribed class of formulas Π and in the applications of E–Rule side formulas from the class Π and can be eliminated (in a certain precise sense), then T+E is ∀B(Π)-conservative over T+E–Rule. Secondly, if, in addition, E is a finite set with m conditional sentences, then nested applications of E–Rule of a depth at most of m suffice to obtain ∀B(Π) conservativity. These conservation results between axioms and inference rules extend well-known conservation theorems for fragments of first-order arithmetics to a general, purely logical framework.
在本文中,我们将在经典一阶逻辑的框架内探讨以下一般性问题。假设某个数学原理可以通过一组形式为 α(v)→β(v) 的条件式 E 在一阶语言中形式化。给定一个基础理论 T,我们可以用条件式集 E 以两种自然的方式扩展基础理论。要么把 E 中的每个公式作为新公理加到 T 中(从而得到一个用 T+E 表示的理论),要么把 E 中的公式作为推理规则的实例来扩展 T(从而得到一个用 T+E-Rule 表示的理论)。理论 T+E 将比 T+E-Rule 更强,但 T+E 能强到什么程度呢?更具体地说,对于某些固定句法复杂度 Γ 的定理,T+E 比 T+E-Rule 保守吗?在条件公式集 E 的非常一般的假设下,我们在这方面得到了两个主要的守恒结果。首先,如果 E 中的公式相对于某种规定的公式类 Π 具有较低的语法复杂性,并且在 E 规则的应用中,来自类 Π 的边公式可以被消除(在某种精确的意义上),那么 T+E 对 T+E 规则是∀B(Π)保守的。其次,如果 E 是一个包含 m 个条件句的有限集,那么 E-Rule 深度最多为 m 的嵌套应用足以获得∀B(Π) 保守性。这些公理与推理规则之间的守恒结果将著名的一阶算术学片段守恒定理扩展到了一般的纯逻辑框架。
{"title":"On Conditional Axioms and Associated Inference Rules","authors":"Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara-Martín","doi":"10.3390/axioms13050306","DOIUrl":"https://doi.org/10.3390/axioms13050306","url":null,"abstract":"In the present paper, we address the following general question in the framework of classical first-order logic. Assume that a certain mathematical principle can be formalized in a first-order language by a set E of conditional formulas of the form α(v)→β(v). Given a base theory T, we can use the set of conditional formulas E to extend the base theory in two natural ways. Either we add to T each formula in E as a new axiom (thus obtaining a theory denoted by T+E) or we extend T by using the formulas in E as instances of an inference rule (thus obtaining a theory denoted by T+E–Rule). The theory T+E will be stronger than T+E–Rule, but how much stronger can T+E be? More specifically, is T+E conservative over T+E–Rule for theorems of some fixed syntactical complexity Γ? Under very general assumptions on the set of conditional formulas E, we obtain two main conservation results in this regard. Firstly, if the formulas in E have low syntactical complexity with respect to some prescribed class of formulas Π and in the applications of E–Rule side formulas from the class Π and can be eliminated (in a certain precise sense), then T+E is ∀B(Π)-conservative over T+E–Rule. Secondly, if, in addition, E is a finite set with m conditional sentences, then nested applications of E–Rule of a depth at most of m suffice to obtain ∀B(Π) conservativity. These conservation results between axioms and inference rules extend well-known conservation theorems for fragments of first-order arithmetics to a general, purely logical framework.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":"99 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141003890","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Construction of Fractional Pseudospectral Differentiation Matrices with Applications 构建分数伪谱微分矩阵及其应用
Pub Date : 2024-05-04 DOI: 10.3390/axioms13050305
Wenbin Li, Hongjun Ma, Tinggang Zhao
Differentiation matrices are an important tool in the implementation of the spectral collocation method to solve various types of problems involving differential operators. Fractional differentiation of Jacobi orthogonal polynomials can be expressed explicitly through Jacobi–Jacobi transformations between two indexes. In the current paper, an algorithm is presented to construct a fractional differentiation matrix with a matrix representation for Riemann–Liouville, Caputo and Riesz derivatives, which makes the computation stable and efficient. Applications of the fractional differentiation matrix with the spectral collocation method to various problems, including fractional eigenvalue problems and fractional ordinary and partial differential equations, are presented to show the effectiveness of the presented method.
微分矩阵是采用频谱配位法解决涉及微分算子的各类问题的重要工具。雅各比正交多项式的分数微分可以通过两个指数之间的雅各比-雅各比变换来明确表达。本文提出了一种构建分数微分矩阵的算法,该矩阵具有黎曼-黎乌韦尔导数、卡普托导数和里兹导数的矩阵表示,使得计算稳定而高效。本文介绍了分数微分矩阵与谱配位法在各种问题上的应用,包括分数特征值问题、分数常微分方程和偏微分方程,以展示所提出方法的有效性。
{"title":"Construction of Fractional Pseudospectral Differentiation Matrices with Applications","authors":"Wenbin Li, Hongjun Ma, Tinggang Zhao","doi":"10.3390/axioms13050305","DOIUrl":"https://doi.org/10.3390/axioms13050305","url":null,"abstract":"Differentiation matrices are an important tool in the implementation of the spectral collocation method to solve various types of problems involving differential operators. Fractional differentiation of Jacobi orthogonal polynomials can be expressed explicitly through Jacobi–Jacobi transformations between two indexes. In the current paper, an algorithm is presented to construct a fractional differentiation matrix with a matrix representation for Riemann–Liouville, Caputo and Riesz derivatives, which makes the computation stable and efficient. Applications of the fractional differentiation matrix with the spectral collocation method to various problems, including fractional eigenvalue problems and fractional ordinary and partial differential equations, are presented to show the effectiveness of the presented method.","PeriodicalId":502355,"journal":{"name":"Axioms","volume":"36 12","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141013876","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Axioms
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1