Pub Date : 2024-07-15DOI: 10.1134/s0001434624050080
V. V. Yevstafyeva
Abstract
We consider an (n)-dimensional system of first-order ordinary differential equations with a constant matrix having real, simple, and nonzero eigenvalues, with a discontinuous nonlinearity of two-position relay type with positive hysteresis and a continuous bounded perturbation function. We study continuous two-point oscillatory solutions with a certain period for the representative point to be returned to the switching hyperplane in the state space. When solving the Cauchy problem with initial condition at the switching point, we use the fitting method. We construct a system of transcendental equations for the switching instants and points. We prove a criterion for the existence and uniqueness of a solution with some fixed return period. For a system in the canonical form with diagonal matrix and with feedback vector of a special form, we obtain conditions for the solvability of a system of transcendental equations for the first switching instant for a given return period and formulas for the switching points. For a three-dimensional system, we give a numerical example to illustrate the theoretical results.
{"title":"On One Type of Oscillatory Solutions of a Nonautonomous System with Relay Hysteresis","authors":"V. V. Yevstafyeva","doi":"10.1134/s0001434624050080","DOIUrl":"https://doi.org/10.1134/s0001434624050080","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> We consider an <span>(n)</span>-dimensional system of first-order ordinary differential equations with a constant matrix having real, simple, and nonzero eigenvalues, with a discontinuous nonlinearity of two-position relay type with positive hysteresis and a continuous bounded perturbation function. We study continuous two-point oscillatory solutions with a certain period for the representative point to be returned to the switching hyperplane in the state space. When solving the Cauchy problem with initial condition at the switching point, we use the fitting method. We construct a system of transcendental equations for the switching instants and points. We prove a criterion for the existence and uniqueness of a solution with some fixed return period. For a system in the canonical form with diagonal matrix and with feedback vector of a special form, we obtain conditions for the solvability of a system of transcendental equations for the first switching instant for a given return period and formulas for the switching points. For a three-dimensional system, we give a numerical example to illustrate the theoretical results. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"24 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719629","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s0001434624050365
V. T. Shevaldin
Abstract
On a uniform grid on the real axis, we study the Yanenko–Stechkin–Subbotin problem of extremal function interpolation in the mean in the space (L_p(mathbb R)), (1<p<infty), of two-way real sequences with the least value of the norm of a linear formally self-adjoint differential operator ({mathcal L}_n) of order (n) with constant real coefficients. In case of even (n), the value of the least norm in the space (L_p(mathbb R)), (1<p<infty), of the extremal interpolant is calculated exactly if the grid step (h) and the averaging step (h_1) are related by the inequality (h<h_1le 2h).
{"title":"Yu. N. Subbotin’s Method in the Problem of Extremal Interpolation in the Mean in the Space $$L_p(mathbb R)$$ with Overlapping Averaging Intervals","authors":"V. T. Shevaldin","doi":"10.1134/s0001434624050365","DOIUrl":"https://doi.org/10.1134/s0001434624050365","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> On a uniform grid on the real axis, we study the Yanenko–Stechkin–Subbotin problem of extremal function interpolation in the mean in the space <span>(L_p(mathbb R))</span>, <span>(1<p<infty)</span>, of two-way real sequences with the least value of the norm of a linear formally self-adjoint differential operator <span>({mathcal L}_n)</span> of order <span>(n)</span> with constant real coefficients. In case of even <span>(n)</span>, the value of the least norm in the space <span>(L_p(mathbb R))</span>, <span>(1<p<infty)</span>, of the extremal interpolant is calculated exactly if the grid step <span>(h)</span> and the averaging step <span>(h_1)</span> are related by the inequality <span>(h<h_1le 2h)</span>. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"18 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s0001434624050110
E. Yu. Mashkov
Abstract
In a finite-dimensional space, we consider a linear stochastic differential equation in Itô form with a singular constant matrix on the left-hand side. Taking into account various economic applications of such equations, they are classified as Leontief type equations, since under some additional assumptions, a deterministic analog of the equation in question describes the famous Leontief input–output balance model taking into account reserves. In the literature, these systems are more often called differential–algebraic or descriptor systems. In general, to study this type of equations, one needs higher-order derivatives of the right-hand side. This means that one must consider derivatives of the Wiener process, which exist in the generalized sense. In the previous papers, these equations were studied using the technique of Nelson mean derivatives of random processes, whose description does not require generalized functions. It is well known that mean derivatives depend on the (sigma)-algebra used to find them. In the present paper, the study of this equation is carried out using mean derivatives with respect to a new (sigma)-algebra that was not considered in the previous papers.
{"title":"An Approach to Studying Leontief Type Stochastic Differential Equations","authors":"E. Yu. Mashkov","doi":"10.1134/s0001434624050110","DOIUrl":"https://doi.org/10.1134/s0001434624050110","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> In a finite-dimensional space, we consider a linear stochastic differential equation in Itô form with a singular constant matrix on the left-hand side. Taking into account various economic applications of such equations, they are classified as Leontief type equations, since under some additional assumptions, a deterministic analog of the equation in question describes the famous Leontief input–output balance model taking into account reserves. In the literature, these systems are more often called differential–algebraic or descriptor systems. In general, to study this type of equations, one needs higher-order derivatives of the right-hand side. This means that one must consider derivatives of the Wiener process, which exist in the generalized sense. In the previous papers, these equations were studied using the technique of Nelson mean derivatives of random processes, whose description does not require generalized functions. It is well known that mean derivatives depend on the <span>(sigma)</span>-algebra used to find them. In the present paper, the study of this equation is carried out using mean derivatives with respect to a new <span>(sigma)</span>-algebra that was not considered in the previous papers. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"11 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719631","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s0001434624050031
E. S. Baranovskii
Abstract
We study a boundary value problem for a mathematical model describing the nonisothermal steady-state flow of a viscous fluid in a 3D (or 2D) bounded domain with locally Lipschitz boundary. The heat and mass transfer model considered here has the feature that a regularized Rayleigh dissipation function is used in the energy balance equation. This permits taking into account the energy dissipation due to the viscous friction effect. A theorem on the existence of a weak solution is proved under natural assumptions on the model data. Moreover, we establish extra conditions guaranteeing that the weak solution is unique and/or strong.
{"title":"The Stationary Navier–Stokes–Boussinesq System with a Regularized Dissipation Function","authors":"E. S. Baranovskii","doi":"10.1134/s0001434624050031","DOIUrl":"https://doi.org/10.1134/s0001434624050031","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> We study a boundary value problem for a mathematical model describing the nonisothermal steady-state flow of a viscous fluid in a 3D (or 2D) bounded domain with locally Lipschitz boundary. The heat and mass transfer model considered here has the feature that a regularized Rayleigh dissipation function is used in the energy balance equation. This permits taking into account the energy dissipation due to the viscous friction effect. A theorem on the existence of a weak solution is proved under natural assumptions on the model data. Moreover, we establish extra conditions guaranteeing that the weak solution is unique and/or strong. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"54 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141722306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s0001434624050225
R. R. Akopyan, V. V. Arestov, V. G. Timofeev
Abstract
Stechkin’s problem of the best approximation of differentiation operators by bounded linear operators on the half-line in the uniform norm is studied. The structure of the best approximation operator is investigated, and its relationship to the spline dual (in the sense of N. P. Kuptsov) to the extremal spline in the Landau–Kolmogorov inequality on the half-line is examined.
摘要 研究了斯泰奇金提出的用均匀规范半线上的有界线性算子对微分算子进行最佳逼近的问题。研究了最佳近似算子的结构,并探讨了它与半线上的 Landau-Kolmogorov 不等式中极值样条的对偶(N. P. Kuptsov 意义上的)样条的关系。
{"title":"Stechkin’s Problem on Approximation of the Differentiation Operator in the Uniform Norm on the Half-Line","authors":"R. R. Akopyan, V. V. Arestov, V. G. Timofeev","doi":"10.1134/s0001434624050225","DOIUrl":"https://doi.org/10.1134/s0001434624050225","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> Stechkin’s problem of the best approximation of differentiation operators by bounded linear operators on the half-line in the uniform norm is studied. The structure of the best approximation operator is investigated, and its relationship to the spline dual (in the sense of N. P. Kuptsov) to the extremal spline in the Landau–Kolmogorov inequality on the half-line is examined. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s0001434624050018
M. V. Artem’eva, M. O. Korpusov
Abstract
We consider one thermal-electrical ((1+1))-dimensional model of heating a semiconductor in an electric field. For the corresponding Cauchy problem, we prove the existence of a classical solution nonextendable in time and obtain a global-in-time a priori estimate.
{"title":"On the Existence of a Nonextendable Solution of the Cauchy problem for a $$(1+1)$$ -Dimensional Thermal-Electrical Model","authors":"M. V. Artem’eva, M. O. Korpusov","doi":"10.1134/s0001434624050018","DOIUrl":"https://doi.org/10.1134/s0001434624050018","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> We consider one thermal-electrical <span>((1+1))</span>-dimensional model of heating a semiconductor in an electric field. For the corresponding Cauchy problem, we prove the existence of a classical solution nonextendable in time and obtain a global-in-time a priori estimate. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"71 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719624","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s0001434624050262
Sibel Ersan
Abstract
In this paper, we study the ideal strong lacunary ward compactness of a subset of a 2-normed space (X) and the ideal strongly lacunary ward continuity of a function (f) on (X). Here a subset (E) of (X) is said to be ideal strong lacunary ward compact if any sequence in (E) has an ideal strong lacunary quasi-Cauchy subsequence. Additionally, a function on (X) is said to be ideal strong lacunary ward continuous if it preserves ideal strong lacunary quasi-Cauchy sequences; an ideal is defined to be a hereditary and additive family of subsets of (mathbb{N}). We find that a subset (E) of (X) with a countable Hamel basis is totally bounded if and only if it is ideal strong lacunary ward compact.
{"title":"A Study on Strongly Lacunary Ward Continuity in 2-Normed Spaces","authors":"Sibel Ersan","doi":"10.1134/s0001434624050262","DOIUrl":"https://doi.org/10.1134/s0001434624050262","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> In this paper, we study the ideal strong lacunary ward compactness of a subset of a 2-normed space <span>(X)</span> and the ideal strongly lacunary ward continuity of a function <span>(f)</span> on <span>(X)</span>. Here a subset <span>(E)</span> of <span>(X)</span> is said to be ideal strong lacunary ward compact if any sequence in <span>(E)</span> has an ideal strong lacunary quasi-Cauchy subsequence. Additionally, a function on <span>(X)</span> is said to be ideal strong lacunary ward continuous if it preserves ideal strong lacunary quasi-Cauchy sequences; an ideal is defined to be a hereditary and additive family of subsets of <span>(mathbb{N})</span>. We find that a subset <span>(E)</span> of <span>(X)</span> with a countable Hamel basis is totally bounded if and only if it is ideal strong lacunary ward compact. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"66 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719700","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s000143462405002x
G. A. Banaru, M. B. Banaru
Abstract
We prove that if a quasi-Kähler manifold satisfies the (eta)-quasi-umbilical quasi-Sasakian hypersurfaces axiom, then it is a Kähler manifold. We also prove that the quasi-Sasakian structure on an (eta)-quasi-umbilical hypersurface in a quasi-Kähler manifold is either cosymplectic or homothetic to a Sasakian structure.
{"title":"On a Property of Quasi-Kähler Manifolds","authors":"G. A. Banaru, M. B. Banaru","doi":"10.1134/s000143462405002x","DOIUrl":"https://doi.org/10.1134/s000143462405002x","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> We prove that if a quasi-Kähler manifold satisfies the <span>(eta)</span>-quasi-umbilical quasi-Sasakian hypersurfaces axiom, then it is a Kähler manifold. We also prove that the quasi-Sasakian structure on an <span>(eta)</span>-quasi-umbilical hypersurface in a quasi-Kähler manifold is either cosymplectic or homothetic to a Sasakian structure. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"21 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719766","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s0001434624050134
V. I. Murashka
Abstract
The chief factor (H/K) of a group (G) is said to be (mathfrak{F})-central if
$$(H/K)rtimes (G/C_G(H/K))inmathfrak{F}.$$
The (mathfrak{F})-hypercenter of a group (G) is defined to be a maximal normal subgroup of (G) such that all (G)-composition factors below it are (mathfrak{F})-central in (G). In 1995, at the Gomel algebraic seminar, L. A. Shemetkov formulated the problem of describing formations of finite groups (mathfrak{F}) for which, in any group, the intersection of (mathfrak{F})-maximal subgroups coincides with the (mathfrak{F})-hypercenter. In the present paper, new properties of such formations are obtained. In particular, a series of hereditary nonsaturated formations of soluble groups is constructed, which answer Shemetkov’s problem.
{"title":"On Shemetkov’s Question about the $$mathfrak{F}$$ -Hypercenter","authors":"V. I. Murashka","doi":"10.1134/s0001434624050134","DOIUrl":"https://doi.org/10.1134/s0001434624050134","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> The chief factor <span>(H/K)</span> of a group <span>(G)</span> is said to be <span>(mathfrak{F})</span>-central if </p><span>$$(H/K)rtimes (G/C_G(H/K))inmathfrak{F}.$$</span><p> The <span>(mathfrak{F})</span>-hypercenter of a group <span>(G)</span> is defined to be a maximal normal subgroup of <span>(G)</span> such that all <span>(G)</span>-composition factors below it are <span>(mathfrak{F})</span>-central in <span>(G)</span>. In 1995, at the Gomel algebraic seminar, L. A. Shemetkov formulated the problem of describing formations of finite groups <span>(mathfrak{F})</span> for which, in any group, the intersection of <span>(mathfrak{F})</span>-maximal subgroups coincides with the <span>(mathfrak{F})</span>-hypercenter. In the present paper, new properties of such formations are obtained. In particular, a series of hereditary nonsaturated formations of soluble groups is constructed, which answer Shemetkov’s problem. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"16 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-15DOI: 10.1134/s0001434624050237
Z. N. Berberler, M. Çerezci
Abstract
Let (G = (V,E)) be a graph of order (n). For (S subseteq V(G)), the set (N_e(S)) is defined as the external neighborhood of (S) such that all vertices in (V(G)backslash S) have at least one neighbor in (S). The differential of (S) is defined to be (partial(S)=|N_e(S)|-|S|), and the 2-packing differential of a graph is defined as
$$partial_{2p}(G) =max{partial(S)colon S subseteq V(G) text{ is a 2-packing}}.$$
A function (fcolon V(G) to {0,1,2}) with the sets (V_0,V_1,V_2), where
$$V_i ={vin V(G)colon f(v) = i},qquad i in {0,1,2},$$
is a unique response Roman dominating function if (x in V_0 ) implies that (| N( x ) cap V_2 | = 1) and (x in V_1 cup V_2 ) implies that (N( x ) cap V_2 = emptyset). The unique response Roman domination number of (G), denoted by (mu_R(G)), is the minimum weight among all unique response Roman dominating functions on (G). Let (bar{G}) be the complement of a graph (G). The complementary prism (Gbar {G}) of (G) is the graph formed from the disjoint union of (G) and (bar {G}) by adding the edges of a perfect matching between the respective vertices of (G) and (bar {G}). The present paper deals with the computation of the 2-packing differential and the unique response Roman domination of the complementary prisms (Gbar {G}) by the use of a proven Gallai-type theorem. Particular attention is given to the complementary prims of special types of graphs. Furthermore, the graphs (G) such that (partial_{2p} ( Gbar G)) and (mu _R(Gbar G)) are small are characterized.
Abstract Let (G = (V,E)) be a graph of order (n).对于 (S subseteq V(G)), 集合 (N_e(S)) 被定义为 (S) 的外部邻域,使得 (V(G)backslash S) 中的所有顶点在 (S) 中至少有一个邻域。(S)的微分被定义为(partial(S)=|N_e(S)|-|S|),图的 2-packing 微分被定义为 $$partial_{2p}(G) =max{partial(S)colon S subseteq V(G) text{ is a 2-packing}}.一个函数(f/colon V(G)/to/{0,1,2}/)的集合是(V_0,V_1,V_2),其中$$V_i ={vin V(G)colon f(v) = i},qquad i in {0,1,2}、如果 (x in V_0 ) 意味着 (| N( x ) cap V_2 | = 1) 并且 (x in V_1 cup V_2 ) 意味着 (N( x ) cap V_2 = emptyset),那么 $$就是唯一的响应罗马支配函数。G) 的唯一响应罗马支配数用 (mu_R(G)) 表示,它是(G) 上所有唯一响应罗马支配函数中的最小权值。让 (bar{G}) 成为图 (G) 的补集。G 的互补棱图是由(G)和(bar {G})的互不相交的联合图通过添加(G)和(bar {G})各自顶点之间完美匹配的边而形成的图。本文通过使用已被证明的伽来定理,讨论了互补棱柱 (Gbar {G})的 2-packing differential 和 unique response Roman domination 的计算。我们特别关注了特殊类型图的补捯。此外,还描述了使(partial_{2p} ( Gbar G))和(mu _R(Gbar G))都很小的图(G)的特征。
{"title":"Unique Response Roman Domination Versus 2-Packing Differential in Complementary Prisms","authors":"Z. N. Berberler, M. Çerezci","doi":"10.1134/s0001434624050237","DOIUrl":"https://doi.org/10.1134/s0001434624050237","url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p> Let <span>(G = (V,E))</span> be a graph of order <span>(n)</span>. For <span>(S subseteq V(G))</span>, the set <span>(N_e(S))</span> is defined as the external neighborhood of <span>(S)</span> such that all vertices in <span>(V(G)backslash S)</span> have at least one neighbor in <span>(S)</span>. The differential of <span>(S)</span> is defined to be <span>(partial(S)=|N_e(S)|-|S|)</span>, and the 2-packing differential of a graph is defined as </p><span>$$partial_{2p}(G) =max{partial(S)colon S subseteq V(G) text{ is a 2-packing}}.$$</span><p> A function <span>(fcolon V(G) to {0,1,2})</span> with the sets <span>(V_0,V_1,V_2)</span>, where </p><span>$$V_i ={vin V(G)colon f(v) = i},qquad i in {0,1,2},$$</span><p> is a unique response Roman dominating function if <span>(x in V_0 )</span> implies that <span>(| N( x ) cap V_2 | = 1)</span> and <span>(x in V_1 cup V_2 )</span> implies that <span>(N( x ) cap V_2 = emptyset)</span>. The unique response Roman domination number of <span>(G)</span>, denoted by <span>(mu_R(G))</span>, is the minimum weight among all unique response Roman dominating functions on <span>(G)</span>. Let <span>(bar{G})</span> be the complement of a graph <span>(G)</span>. The complementary prism <span>(Gbar {G})</span> of <span>(G)</span> is the graph formed from the disjoint union of <span>(G)</span> and <span>(bar {G})</span> by adding the edges of a perfect matching between the respective vertices of <span>(G)</span> and <span>(bar {G})</span>. The present paper deals with the computation of the 2-packing differential and the unique response Roman domination of the complementary prisms <span>(Gbar {G})</span> by the use of a proven Gallai-type theorem. Particular attention is given to the complementary prims of special types of graphs. Furthermore, the graphs <span>(G)</span> such that <span>(partial_{2p} ( Gbar G))</span> and <span>(mu _R(Gbar G))</span> are small are characterized. </p>","PeriodicalId":18294,"journal":{"name":"Mathematical Notes","volume":"48 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}