Opuscula MathematicaA list of articles of the latest volume. The journal Opuscula Mathematica publishes original research articles that are of significant importance in all areas of Discrete Mathematics, Functional Analysis, Differential Equations, Mathematical Physics, Nonlinear Analysis, Numerical Analysis, Probability Theory and Statistics, Theory of Optimal Control and Optimization, Financial Mathematics and Mathematical Economic Theory, Operations Research, and other areas of Applied Mathematics.
http://www.opuscula.agh.edu.pl
AGH University of Science and Technology PressenCopyright AGH University of Science and Technology PressOpuscula Mathematica1232-92742300-6919Copyright AGH University of Science and Technology PressOpuscula Mathematicahttp://www.opuscula.agh.edu.pl/img/opuscula00_0.jpg
http://www.opuscula.agh.edu.pl
On criteria for algebraic independence of collections of functions satisfying algebraic difference relationsThis paper gives conditions for algebraic independence of a collection of functions satisfying a certain kind of algebraic difference relations. As applications, we show algebraic independence of two collections of special functions: (1) Vignéras' multiple gamma functions and derivatives of the gamma function, (2) the logarithmic function, \(q\)-exponential functions and \(q\)-polylogarithm functions. In a similar way, we give a generalization of Ostrowski's theorem.
http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3722.pdf
On criteria for algebraic independence of collections of functions satisfying algebraic difference relationsHiroshi Ogawaradifference algebra; systems of algebraic difference equations; algebraic independence; Vignéras' multiple gamma functions; \(q\)-polylogarithm functionsdoi:10.7494/OpMath.2017.37.3.457Opuscula Math. 37, no. 3 (2017), 457-472, http://dx.doi.org/10.7494/OpMath.2017.37.3.457Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.3.457http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3722.pdf373457472 Title: On criteria for algebraic independence of collections of functions satisfying algebraic difference relations.

Author(s): Hiroshi Ogawara.

Abstract: This paper gives conditions for algebraic independence of a collection of functions satisfying a certain kind of algebraic difference relations. As applications, we show algebraic independence of two collections of special functions: (1) Vignéras' multiple gamma functions and derivatives of the gamma function, (2) the logarithmic function, \(q\)-exponential functions and \(q\)-polylogarithm functions. In a similar way, we give a generalization of Ostrowski's theorem. Keywords: difference algebra, systems of algebraic difference equations, algebraic independence, Vignéras' multiple gamma functions, \(q\)-polylogarithm functions. Mathematics Subject Classification: 12H10, 39A10, 39A13. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 3 (2017), 457-472, http://dx.doi.org/10.7494/OpMath.2017.37.3.457.

]]>On the inverse signed total domination number in graphsIn this paper, we study the inverse signed total domination number in graphs and present new sharp lower and upper bounds on this parameter. For example by making use of the classic theorem of Turán (1941), we present a sharp upper bound on \(K_{r+1}\)-free graphs for \(r\geq 2\). Also, we bound this parameter for a tree from below in terms of its order and the number of leaves and characterize all trees attaining this bound.
http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3721.pdf
On the inverse signed total domination number in graphsD. A. MojdehB. Samadiinverse signed total dominating function; inverse signed total domination number; \(k\)-tuple total domination numberdoi:10.7494/OpMath.2017.37.3.447Opuscula Math. 37, no. 3 (2017), 447-456, http://dx.doi.org/10.7494/OpMath.2017.37.3.447Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.3.447http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3721.pdf373447456 Title: On the inverse signed total domination number in graphs.

Author(s): D. A. Mojdeh, B. Samadi.

Abstract: In this paper, we study the inverse signed total domination number in graphs and present new sharp lower and upper bounds on this parameter. For example by making use of the classic theorem of Turán (1941), we present a sharp upper bound on \(K_{r+1}\)-free graphs for \(r\geq 2\). Also, we bound this parameter for a tree from below in terms of its order and the number of leaves and characterize all trees attaining this bound. Keywords: inverse signed total dominating function, inverse signed total domination number, \(k\)-tuple total domination number. Mathematics Subject Classification: 05C69. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 3 (2017), 447-456, http://dx.doi.org/10.7494/OpMath.2017.37.3.447.

]]>On strongly spanning k-edge-colorable subgraphsA subgraph \(H\) of a multigraph \(G\) is called strongly spanning, if any vertex of \(G\) is not isolated in \(H\). \(H\) is called maximum \(k\)-edge-colorable, if \(H\) is proper \(k\)-edge-colorable and has the largest size. We introduce a graph-parameter \(sp(G)\), that coincides with the smallest \(k\) for which a multigraph \(G\) has a maximum \(k\)-edge-colorable subgraph that is strongly spanning. Our first result offers some alternative definitions of \(sp(G)\). Next, we show that \(\Delta(G)\) is an upper bound for \(sp(G)\), and then we characterize the class of multigraphs \(G\) that satisfy \(sp(G)=\Delta(G)\). Finally, we prove some bounds for \(sp(G)\) that involve well-known graph-theoretic parameters.
http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3720.pdf
On strongly spanning k-edge-colorable subgraphsVahan V. MkrtchyanGagik N. Vardanyan\(k\)-edge-colorable subgraph; maximum \(k\)-edge-colorable subgraph; strongly spanning \(k\)-edge-colorable subgraph; \([1,k]\)-factordoi:10.7494/OpMath.2017.37.3.435Opuscula Math. 37, no. 3 (2017), 435-446, http://dx.doi.org/10.7494/OpMath.2017.37.3.435Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.3.435http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3720.pdf373435446 Title: On strongly spanning k-edge-colorable subgraphs.

Author(s): Vahan V. Mkrtchyan, Gagik N. Vardanyan.

Abstract: A subgraph \(H\) of a multigraph \(G\) is called strongly spanning, if any vertex of \(G\) is not isolated in \(H\). \(H\) is called maximum \(k\)-edge-colorable, if \(H\) is proper \(k\)-edge-colorable and has the largest size. We introduce a graph-parameter \(sp(G)\), that coincides with the smallest \(k\) for which a multigraph \(G\) has a maximum \(k\)-edge-colorable subgraph that is strongly spanning. Our first result offers some alternative definitions of \(sp(G)\). Next, we show that \(\Delta(G)\) is an upper bound for \(sp(G)\), and then we characterize the class of multigraphs \(G\) that satisfy \(sp(G)=\Delta(G)\). Finally, we prove some bounds for \(sp(G)\) that involve well-known graph-theoretic parameters. Keywords: \(k\)-edge-colorable subgraph, maximum \(k\)-edge-colorable subgraph, strongly spanning \(k\)-edge-colorable subgraph, \([1,k]\)-factor. Mathematics Subject Classification: 05C70, 05C15. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 3 (2017), 435-446, http://dx.doi.org/10.7494/OpMath.2017.37.3.435.

]]>Positive solutions of a singular fractional boundary value problem with a fractional boundary conditionFor \(\alpha\in(1,2]\), the singular fractional boundary value problem \[D^{\alpha}_{0^+}x+f\left(t,x,D^{\mu}_{0^+}x\right)=0,\quad 0\lt t\lt 1,\] satisfying the boundary conditions \(x(0)=D^{\beta}_{0^+}x(1)=0\), where \(\beta\in(0,\alpha-1]\), \(\mu\in(0,\alpha-1]\), and \(D^{\alpha}_{0^+}\), \(D^{\beta}_{0^+}\) and \(D^{\mu}_{0^+}\) are Riemann-Liouville derivatives of order \(\alpha\), \(\beta\) and \(\mu\) respectively, is considered. Here \(f\) satisfies a local Carathéodory condition, and \(f(t,x,y)\) may be singular at the value 0 in its space variable \(x\). Using regularization and sequential techniques and Krasnosel'skii's fixed point theorem, it is shown this boundary value problem has a positive solution. An example is given.
http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3719.pdf
Positive solutions of a singular fractional boundary value problem with a fractional boundary conditionJeffrey W. LyonsJeffrey T. Neugebauerfractional differential equation; singular problem; fixed pointdoi:10.7494/OpMath.2017.37.3.421Opuscula Math. 37, no. 3 (2017), 421-434, http://dx.doi.org/10.7494/OpMath.2017.37.3.421Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.3.421http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3719.pdf373421434 Title: Positive solutions of a singular fractional boundary value problem with a fractional boundary condition.

Author(s): Jeffrey W. Lyons, Jeffrey T. Neugebauer.

Abstract: For \(\alpha\in(1,2]\), the singular fractional boundary value problem \[D^{\alpha}_{0^+}x+f\left(t,x,D^{\mu}_{0^+}x\right)=0,\quad 0\lt t\lt 1,\] satisfying the boundary conditions \(x(0)=D^{\beta}_{0^+}x(1)=0\), where \(\beta\in(0,\alpha-1]\), \(\mu\in(0,\alpha-1]\), and \(D^{\alpha}_{0^+}\), \(D^{\beta}_{0^+}\) and \(D^{\mu}_{0^+}\) are Riemann-Liouville derivatives of order \(\alpha\), \(\beta\) and \(\mu\) respectively, is considered. Here \(f\) satisfies a local Carathéodory condition, and \(f(t,x,y)\) may be singular at the value 0 in its space variable \(x\). Using regularization and sequential techniques and Krasnosel'skii's fixed point theorem, it is shown this boundary value problem has a positive solution. An example is given. Keywords: fractional differential equation, singular problem, fixed point. Mathematics Subject Classification: 26A33, 34A08, 34B16. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 3 (2017), 421-434, http://dx.doi.org/10.7494/OpMath.2017.37.3.421.

]]>Sufficient conditions for optimality for a mathematical model of drug treatment with pharmacodynamicsWe consider an optimal control problem for a general mathematical model of drug treatment with a single agent. The control represents the concentration of the agent and its effect (pharmacodynamics) is modelled by a Hill function (i.e., Michaelis-Menten type kinetics). The aim is to minimize a cost functional consisting of a weighted average related to the state of the system (both at the end and during a fixed therapy horizon) and to the total amount of drugs given. The latter is an indirect measure for the side effects of treatment. It is shown that optimal controls are continuous functions of time that change between full or no dose segments with connecting pieces that take values in the interior of the control set. Sufficient conditions for the strong local optimality of an extremal controlled trajectory in terms of the existence of a solution to a piecewise defined Riccati differential equation are given.
http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3718.pdf
Sufficient conditions for optimality for a mathematical model of drug treatment with pharmacodynamicsMaciej LeszczyńskiElżbieta RatajczykUrszula LedzewiczHeinz Schättleroptimal control; sufficient conditions for optimality; method of characteristics; pharmacodynamic modeldoi:10.7494/OpMath.2017.37.3.403Opuscula Math. 37, no. 3 (2017), 403-419, http://dx.doi.org/10.7494/OpMath.2017.37.3.403Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.3.403http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3718.pdf373403419 Title: Sufficient conditions for optimality for a mathematical model of drug treatment with pharmacodynamics.

Author(s): Maciej Leszczyński, Elżbieta Ratajczyk, Urszula Ledzewicz, Heinz Schättler.

Abstract: We consider an optimal control problem for a general mathematical model of drug treatment with a single agent. The control represents the concentration of the agent and its effect (pharmacodynamics) is modelled by a Hill function (i.e., Michaelis-Menten type kinetics). The aim is to minimize a cost functional consisting of a weighted average related to the state of the system (both at the end and during a fixed therapy horizon) and to the total amount of drugs given. The latter is an indirect measure for the side effects of treatment. It is shown that optimal controls are continuous functions of time that change between full or no dose segments with connecting pieces that take values in the interior of the control set. Sufficient conditions for the strong local optimality of an extremal controlled trajectory in terms of the existence of a solution to a piecewise defined Riccati differential equation are given. Keywords: optimal control, sufficient conditions for optimality, method of characteristics, pharmacodynamic model. Mathematics Subject Classification: 49K15, 93C15, 92C45. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 3 (2017), 403-419, http://dx.doi.org/10.7494/OpMath.2017.37.3.403.

]]>General solutions of second-order linear difference equations of Euler typeThe purpose of this paper is to give general solutions of linear difference equations which are related to the Euler-Cauchy differential equation \(y^{\prime\prime}+(\lambda/t^2)y=0\) or more general linear differential equations. We also show that the asymptotic behavior of solutions of the linear difference equations are similar to solutions of the linear differential equations.
http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3717.pdf
General solutions of second-order linear difference equations of Euler typeAkane HongyoNaoto YamaokaEuler-Cauchy equations; oscillation; conditionally oscillatorydoi:10.7494/OpMath.2017.37.3.389Opuscula Math. 37, no. 3 (2017), 389-402, http://dx.doi.org/10.7494/OpMath.2017.37.3.389Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.3.389http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3717.pdf373389402 Title: General solutions of second-order linear difference equations of Euler type.

Author(s): Akane Hongyo, Naoto Yamaoka.

Abstract: The purpose of this paper is to give general solutions of linear difference equations which are related to the Euler-Cauchy differential equation \(y^{\prime\prime}+(\lambda/t^2)y=0\) or more general linear differential equations. We also show that the asymptotic behavior of solutions of the linear difference equations are similar to solutions of the linear differential equations. Keywords: Euler-Cauchy equations, oscillation, conditionally oscillatory. Mathematics Subject Classification: 39A06, 39A12, 39A21. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 3 (2017), 389-402, http://dx.doi.org/10.7494/OpMath.2017.37.3.389.

]]>On the uniform perfectness of equivariant diffeomorphism groups for principal G manifolds We proved in [K. Abe, K. Fukui, On commutators of equivariant diffeomorphisms, Proc. Japan Acad. 54 (1978), 52-54] that the identity component \(\text{Diff}\,^r_{G,c}(M)_0\) of the group of equivariant \(C^r\)-diffeomorphisms of a principal \(G\) bundle \(M\) over a manifold \(B\) is perfect for a compact connected Lie group \(G\) and \(1 \leq r \leq \infty\) (\(r \neq \dim B + 1\)). In this paper, we study the uniform perfectness of the group of equivariant \(C^r\)-diffeomorphisms for a principal \(G\) bundle \(M\) over a manifold \(B\) by relating it to the uniform perfectness of the group of \(C^r\)-diffeomorphisms of \(B\) and show that under a certain condition, \(\text{Diff}\,^r_{G,c}(M)_0\) is uniformly perfect if \(B\) belongs to a certain wide class of manifolds. We characterize the uniform perfectness of the group of equivariant \(C^r\)-diffeomorphisms for principal \(G\) bundles over closed manifolds of dimension less than or equal to 3, and in particular we prove the uniform perfectness of the group for the 3-dimensional case and \(r\neq 4\).
http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3716.pdf
On the uniform perfectness of equivariant diffeomorphism groups for principal G manifoldsKazuhiko Fukuiuniform perfectness; principal \(G\) manifold; equivariant diffeomorphismdoi:10.7494/OpMath.2017.37.3.381Opuscula Math. 37, no. 3 (2017), 381-388, http://dx.doi.org/10.7494/OpMath.2017.37.3.381Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.3.381http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3716.pdf373381388 Title: On the uniform perfectness of equivariant diffeomorphism groups for principal G manifolds.

Author(s): Kazuhiko Fukui.

Abstract: We proved in [K. Abe, K. Fukui, On commutators of equivariant diffeomorphisms, Proc. Japan Acad. 54 (1978), 52-54] that the identity component \(\text{Diff}\,^r_{G,c}(M)_0\) of the group of equivariant \(C^r\)-diffeomorphisms of a principal \(G\) bundle \(M\) over a manifold \(B\) is perfect for a compact connected Lie group \(G\) and \(1 \leq r \leq \infty\) (\(r \neq \dim B + 1\)). In this paper, we study the uniform perfectness of the group of equivariant \(C^r\)-diffeomorphisms for a principal \(G\) bundle \(M\) over a manifold \(B\) by relating it to the uniform perfectness of the group of \(C^r\)-diffeomorphisms of \(B\) and show that under a certain condition, \(\text{Diff}\,^r_{G,c}(M)_0\) is uniformly perfect if \(B\) belongs to a certain wide class of manifolds. We characterize the uniform perfectness of the group of equivariant \(C^r\)-diffeomorphisms for principal \(G\) bundles over closed manifolds of dimension less than or equal to 3, and in particular we prove the uniform perfectness of the group for the 3-dimensional case and \(r\neq 4\). Keywords: uniform perfectness, principal \(G\) manifold, equivariant diffeomorphism. Mathematics Subject Classification: 58D05, 57R30. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 3 (2017), 381-388, http://dx.doi.org/10.7494/OpMath.2017.37.3.381.

]]>Existence of three solutions for impulsive multi-point boundary value problemsThis paper is devoted to the study of the existence of at least three classical solutions for a second-order multi-point boundary value problem with impulsive effects. We use variational methods for smooth functionals defined on reflexive Banach spaces in order to achieve our results. Also by presenting an example, we ensure the applicability of our results.
http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3715.pdf
Existence of three solutions for impulsive multi-point boundary value problemsMartin BohnerShapour HeidarkhaniAmjad SalariGiuseppe Caristimulti-point boundary value problem; impulsive condition; classical solution; variational method; three critical points theoremdoi:10.7494/OpMath.2017.37.3.353Opuscula Math. 37, no. 3 (2017), 353-379, http://dx.doi.org/10.7494/OpMath.2017.37.3.353Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.3.353http://www.opuscula.agh.edu.pl/vol37/3/art/opuscula_math_3715.pdf373353379 Title: Existence of three solutions for impulsive multi-point boundary value problems.

Author(s): Martin Bohner, Shapour Heidarkhani, Amjad Salari, Giuseppe Caristi.

Abstract: This paper is devoted to the study of the existence of at least three classical solutions for a second-order multi-point boundary value problem with impulsive effects. We use variational methods for smooth functionals defined on reflexive Banach spaces in order to achieve our results. Also by presenting an example, we ensure the applicability of our results. Keywords: multi-point boundary value problem, impulsive condition, classical solution, variational method, three critical points theorem. Mathematics Subject Classification: 34B10, 34B15, 34A37. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 3 (2017), 353-379, http://dx.doi.org/10.7494/OpMath.2017.37.3.353.

]]>The interaction between PDE and graphs in multiscale modelingIn this article an upscaling model is presented for complex networks with highly clustered regions exchanging/trading quantities of interest at both, microscale and macroscale level. Such an intricate system is approximated by a partitioned open map in \(\mathbb{R}^{2}\) or \(\mathbb{R}^{3}\). The behavior of the quantities is modeled as flowing in the map constructed and thus it is subject to be described using partial differential equations. We follow this approach using the Darcy Porous Media, saturated fluid flow model in mixed variational formulation.
http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3714.pdf
The interaction between PDE and graphs in multiscale modelingFernando A. MoralesSebastián Naranjo Álvarezcoupled PDE systems; mixed formulations; porous media; analytic graph theory; complex networksdoi:10.7494/OpMath.2017.37.2.327Opuscula Math. 37, no. 2 (2017), 327-345, http://dx.doi.org/10.7494/OpMath.2017.37.2.327Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.2.327http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3714.pdf372327345 Title: The interaction between PDE and graphs in multiscale modeling.

Author(s): Fernando A. Morales, Sebastián Naranjo Álvarez.

Abstract: In this article an upscaling model is presented for complex networks with highly clustered regions exchanging/trading quantities of interest at both, microscale and macroscale level. Such an intricate system is approximated by a partitioned open map in \(\mathbb{R}^{2}\) or \(\mathbb{R}^{3}\). The behavior of the quantities is modeled as flowing in the map constructed and thus it is subject to be described using partial differential equations. We follow this approach using the Darcy Porous Media, saturated fluid flow model in mixed variational formulation. Keywords: coupled PDE systems, mixed formulations, porous media, analytic graph theory, complex networks. Mathematics Subject Classification: 05C82, 05C10, 35R02, 35J50. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 2 (2017), 327-345, http://dx.doi.org/10.7494/OpMath.2017.37.2.327.

]]>Control system defined by some integral operatorIn the paper we consider a nonlinear control system governed by the Volterra integral operator. Using a version of the global implicit function theorem we prove that the control system under consideration is well-posed and robust, i.e. for any admissible control \(u\) there exists a uniquely defined trajectory \(x_{u}\) which continuously depends on control \(u\) and the operator \(u\mapsto x_{u}\) is continuously differentiable. The novelty of this paper is, among others, the application of the Bielecki norm in the space of solutions which allows us to weaken standard assumptions.
http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3713.pdf
Control system defined by some integral operatorMarek MajewskiVolterra equation; implicit function theorem; sensitivitydoi:10.7494/OpMath.2017.37.2.313Opuscula Math. 37, no. 2 (2017), 313-325, http://dx.doi.org/10.7494/OpMath.2017.37.2.313Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.2.313http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3713.pdf372313325 Title: Control system defined by some integral operator.

Author(s): Marek Majewski.

Abstract: In the paper we consider a nonlinear control system governed by the Volterra integral operator. Using a version of the global implicit function theorem we prove that the control system under consideration is well-posed and robust, i.e. for any admissible control \(u\) there exists a uniquely defined trajectory \(x_{u}\) which continuously depends on control \(u\) and the operator \(u\mapsto x_{u}\) is continuously differentiable. The novelty of this paper is, among others, the application of the Bielecki norm in the space of solutions which allows us to weaken standard assumptions. Keywords: Volterra equation, implicit function theorem, sensitivity. Mathematics Subject Classification: 45D05, 34A12, 47J07, 46T20. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 2 (2017), 313-325, http://dx.doi.org/10.7494/OpMath.2017.37.2.313.

]]>Compact generalized weighted composition operators on the Bergman spaceWe characterize the compactness of the generalized weighted composition operators acting on the Bergman space.
http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3712.pdf
Compact generalized weighted composition operators on the Bergman spaceQinghua HuXiangling ZhuBergman space; generalized weighted composition operator; compactnessdoi:10.7494/OpMath.2017.37.2.303Opuscula Math. 37, no. 2 (2017), 303-312, http://dx.doi.org/10.7494/OpMath.2017.37.2.303Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.2.303http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3712.pdf372303312 Title: Compact generalized weighted composition operators on the Bergman space.

Author(s): Qinghua Hu, Xiangling Zhu.

Abstract: We characterize the compactness of the generalized weighted composition operators acting on the Bergman space. Keywords: Bergman space, generalized weighted composition operator, compactness. Mathematics Subject Classification: 30H30, 47B33. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 2 (2017), 303-312, http://dx.doi.org/10.7494/OpMath.2017.37.2.303.

]]>Existence of three solutions for impulsive nonlinear fractional boundary value problemsIn this work we present new criteria on the existence of three solutions for a class of impulsive nonlinear fractional boundary-value problems depending on two parameters. We use variational methods for smooth functionals defined on reflexive Banach spaces in order to achieve our results.
http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3711.pdf
Existence of three solutions for impulsive nonlinear fractional boundary value problemsShapour HeidarkhaniMassimiliano FerraraGiuseppe CaristiAmjad Salarifractional differential equation; impulsive condition; classical solution; variational methods; critical point theorydoi:10.7494/OpMath.2017.37.2.281Opuscula Math. 37, no. 2 (2017), 281-301, http://dx.doi.org/10.7494/OpMath.2017.37.2.281Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.2.281http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3711.pdf372281301 Title: Existence of three solutions for impulsive nonlinear fractional boundary value problems.

Author(s): Shapour Heidarkhani, Massimiliano Ferrara, Giuseppe Caristi, Amjad Salari.

Abstract: In this work we present new criteria on the existence of three solutions for a class of impulsive nonlinear fractional boundary-value problems depending on two parameters. We use variational methods for smooth functionals defined on reflexive Banach spaces in order to achieve our results. Keywords: fractional differential equation, impulsive condition, classical solution, variational methods, critical point theory. Mathematics Subject Classification: 34A08, 34B37, 58E05, 58E30, 26A33. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 2 (2017), 281-301, http://dx.doi.org/10.7494/OpMath.2017.37.2.281.

]]>Fractional boundary value problems on the half lineIn this paper, we focus on the solvability of a fractional boundary value problem at resonance on an unbounded interval. By constructing suitable operators, we establish an existence theorem upon the coincidence degree theory of Mawhin. The obtained results are illustrated by an example.
http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3710.pdf
Fractional boundary value problems on the half lineAssia FriouiAssia Guezane-LakoudRabah Khaldiboundary value problem at resonance; existence of solution; unbounded interval; coincidence degree of Mawhin; fractional differential equationdoi:10.7494/OpMath.2017.37.2.265Opuscula Math. 37, no. 2 (2017), 265-280, http://dx.doi.org/10.7494/OpMath.2017.37.2.265Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.2.265http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3710.pdf372265280 Title: Fractional boundary value problems on the half line.

Abstract: In this paper, we focus on the solvability of a fractional boundary value problem at resonance on an unbounded interval. By constructing suitable operators, we establish an existence theorem upon the coincidence degree theory of Mawhin. The obtained results are illustrated by an example. Keywords: boundary value problem at resonance, existence of solution, unbounded interval, coincidence degree of Mawhin, fractional differential equation. Mathematics Subject Classification: 34B40, 34B15. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 2 (2017), 265-280, http://dx.doi.org/10.7494/OpMath.2017.37.2.265.

]]>Non-factorizable C-valued functions induced by finite connected graphsIn this paper, we study factorizability of \(\mathbb{C}\)-valued formal series at fixed vertices, called the graph zeta functions, induced by the reduced length on the graph groupoids of given finite connected directed graphs. The construction of such functions is motivated by that of Redei zeta functions. In particular, we are interested in (i) "non-factorizability" of such functions, and (ii) certain factorizable functions induced by non-factorizable functions. By constructing factorizable functions from our non-factorizable functions, we study relations between graph zeta functions and well-known number-theoretic objects, the Riemann zeta function and the Euler totient function.
http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3709.pdf
Non-factorizable C-valued functions induced by finite connected graphsIlwoo Chodirected graphs; graph groupoids; Redei zeta functions; graph zeta functions; non-factorizable graphs; gluing on graphsdoi:10.7494/OpMath.2017.37.2.225Opuscula Math. 37, no. 2 (2017), 225-263, http://dx.doi.org/10.7494/OpMath.2017.37.2.225Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.2.225http://www.opuscula.agh.edu.pl/vol37/2/art/opuscula_math_3709.pdf372225263 Title: Non-factorizable C-valued functions induced by finite connected graphs.

Author(s): Ilwoo Cho.

Abstract: In this paper, we study factorizability of \(\mathbb{C}\)-valued formal series at fixed vertices, called the graph zeta functions, induced by the reduced length on the graph groupoids of given finite connected directed graphs. The construction of such functions is motivated by that of Redei zeta functions. In particular, we are interested in (i) "non-factorizability" of such functions, and (ii) certain factorizable functions induced by non-factorizable functions. By constructing factorizable functions from our non-factorizable functions, we study relations between graph zeta functions and well-known number-theoretic objects, the Riemann zeta function and the Euler totient function. Keywords: directed graphs, graph groupoids, Redei zeta functions, graph zeta functions, non-factorizable graphs, gluing on graphs. Mathematics Subject Classification: 05E15, 11G15, 11R47, 11R56, 46L10, 46L40, 46L54. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 2 (2017), 225-263, http://dx.doi.org/10.7494/OpMath.2017.37.2.225.

]]>Hankel and Toeplitz operators: continuous and discrete representationsWe find a relation guaranteeing that Hankel operators realized in the space of sequences \(\mathcal{l}^2 (\mathbb{Z}_{+})\) and in the space of functions \(L^2 (\mathbb{R}_{+})\) are unitarily equivalent. This allows us to obtain exhaustive spectral results for two classes of unbounded Hankel operators in the space \(\mathcal{l}^2 (\mathbb{Z}_{+})\) generalizing in different directions the classical Hilbert matrix. We also discuss a link between representations of Toeplitz operators in the spaces \(\mathcal{l}^2 (\mathbb{Z}_{+})\) and \(L^2 (\mathbb{R}_{+})\).
http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3708.pdf
Hankel and Toeplitz operators: continuous and discrete representationsDmitri R. Yafaevunbounded Hankel and Toeplitz operators; various representations; moment problems; generalized Hilbert matricesdoi:10.7494/OpMath.2017.37.1.189Opuscula Math. 37, no. 1 (2017), 189-218, http://dx.doi.org/10.7494/OpMath.2017.37.1.189Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.1.189http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3708.pdf371189218 Title: Hankel and Toeplitz operators: continuous and discrete representations.

Author(s): Dmitri R. Yafaev.

Abstract: We find a relation guaranteeing that Hankel operators realized in the space of sequences \(\mathcal{l}^2 (\mathbb{Z}_{+})\) and in the space of functions \(L^2 (\mathbb{R}_{+})\) are unitarily equivalent. This allows us to obtain exhaustive spectral results for two classes of unbounded Hankel operators in the space \(\mathcal{l}^2 (\mathbb{Z}_{+})\) generalizing in different directions the classical Hilbert matrix. We also discuss a link between representations of Toeplitz operators in the spaces \(\mathcal{l}^2 (\mathbb{Z}_{+})\) and \(L^2 (\mathbb{R}_{+})\). Keywords: unbounded Hankel and Toeplitz operators, various representations, moment problems, generalized Hilbert matrices. Mathematics Subject Classification: 47B25, 47B35. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 1 (2017), 189-218, http://dx.doi.org/10.7494/OpMath.2017.37.1.189.

]]>The inverse scattering transform in the form of a Riemann-Hilbert problem for the Dullin-Gottwald-Holm equationThe Cauchy problem for the Dullin-Gottwald-Holm (DGH) equation \[u_t-\alpha^2 u_{xxt}+2\omega u_x +3uu_x+\gamma u_{xxx}=\alpha^2 (2u_x u_{xx} + uu_{xxx})\] with zero boundary conditions (as \(|x|\to\infty\)) is treated by the Riemann-Hilbert approach to the inverse scattering transform method. The approach allows us to give a representation of the solution to the Cauchy problem, which can be efficiently used for further studying the properties of the solution, particularly, in studying its long-time behavior. Using the proposed formalism, smooth solitons as well as non-smooth cuspon solutions are presented.
http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3707.pdf
The inverse scattering transform in the form of a Riemann-Hilbert problem for the Dullin-Gottwald-Holm equationDmitry ShepelskyLech ZielinskiDullin-Gottwald-Holm equation; Camassa-Holm equation; inverse scattering transform; Riemann-Hilbert problemdoi:10.7494/OpMath.2017.37.1.167Opuscula Math. 37, no. 1 (2017), 167-187, http://dx.doi.org/10.7494/OpMath.2017.37.1.167Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.1.167http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3707.pdf371167187 Title: The inverse scattering transform in the form of a Riemann-Hilbert problem for the Dullin-Gottwald-Holm equation.

Author(s): Dmitry Shepelsky, Lech Zielinski.

Abstract: The Cauchy problem for the Dullin-Gottwald-Holm (DGH) equation \[u_t-\alpha^2 u_{xxt}+2\omega u_x +3uu_x+\gamma u_{xxx}=\alpha^2 (2u_x u_{xx} + uu_{xxx})\] with zero boundary conditions (as \(|x|\to\infty\)) is treated by the Riemann-Hilbert approach to the inverse scattering transform method. The approach allows us to give a representation of the solution to the Cauchy problem, which can be efficiently used for further studying the properties of the solution, particularly, in studying its long-time behavior. Using the proposed formalism, smooth solitons as well as non-smooth cuspon solutions are presented. Keywords: Dullin-Gottwald-Holm equation, Camassa-Holm equation, inverse scattering transform, Riemann-Hilbert problem. Mathematics Subject Classification: 35Q53, 37K15, 35Q15, 35B40, 35Q51, 37K40. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 1 (2017), 167-187, http://dx.doi.org/10.7494/OpMath.2017.37.1.167.

]]>The basis property of eigenfunctions in the problem of a nonhomogeneous damped stringThe equation which describes the small vibrations of a nonhomogeneous damped string can be rewritten as an abstract Cauchy problem for the densely defined closed operator \(i A\). We prove that the set of root vectors of the operator \(A\) forms a basis of subspaces in a certain Hilbert space \(H\). Furthermore, we give the rate of convergence for the decomposition with respect to this basis. In the second main result we show that with additional assumptions the set of root vectors of the operator \(A\) is a Riesz basis for \(H\).
http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3706.pdf
The basis property of eigenfunctions in the problem of a nonhomogeneous damped stringŁukasz Rzepnickinonhomogeneous damped string; Hilbert space; Riesz basis; modulus of continuity; basis with parentheses; basis of subspaces; string equationdoi:10.7494/OpMath.2017.37.1.141Opuscula Math. 37, no. 1 (2017), 141-165, http://dx.doi.org/10.7494/OpMath.2017.37.1.141Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.1.141http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3706.pdf371141165 Title: The basis property of eigenfunctions in the problem of a nonhomogeneous damped string.

Author(s): Łukasz Rzepnicki.

Abstract: The equation which describes the small vibrations of a nonhomogeneous damped string can be rewritten as an abstract Cauchy problem for the densely defined closed operator \(i A\). We prove that the set of root vectors of the operator \(A\) forms a basis of subspaces in a certain Hilbert space \(H\). Furthermore, we give the rate of convergence for the decomposition with respect to this basis. In the second main result we show that with additional assumptions the set of root vectors of the operator \(A\) is a Riesz basis for \(H\). Keywords: nonhomogeneous damped string, Hilbert space, Riesz basis, modulus of continuity, basis with parentheses, basis of subspaces, string equation. Mathematics Subject Classification: 34L10, 34B08. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 1 (2017), 141-165, http://dx.doi.org/10.7494/OpMath.2017.37.1.141.

]]>Eigenvalue asymptotics for the Sturm-Liouville operator with potential having a strong local negative singularityWe find asymptotic formulas for the eigenvalues of the Sturm-Liouville operator on the finite interval, with potential having a strong negative singularity at one endpoint. This is the case of limit circle in H. Weyl sense. We establish that, unlike the case of an infinite interval, the asymptotics for positive eigenvalues does not depend on the potential and it is the same as in the regular case. The asymptotics of the negative eigenvalues may depend on the potential quite strongly, however there are always asymptotically fewer negative eigenvalues than positive ones. By unknown reasons this type of problems had not been studied previously.
http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3705.pdf
Eigenvalue asymptotics for the Sturm-Liouville operator with potential having a strong local negative singularityMedet NursultanovGrigori RozenblumSturm-Liouville operator; singular potential; asymptotics of eigenvaluesdoi:10.7494/OpMath.2017.37.1.109Opuscula Math. 37, no. 1 (2017), 109-139, http://dx.doi.org/10.7494/OpMath.2017.37.1.109Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.1.109http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3705.pdf371109139 Title: Eigenvalue asymptotics for the Sturm-Liouville operator with potential having a strong local negative singularity.

Author(s): Medet Nursultanov, Grigori Rozenblum.

Abstract: We find asymptotic formulas for the eigenvalues of the Sturm-Liouville operator on the finite interval, with potential having a strong negative singularity at one endpoint. This is the case of limit circle in H. Weyl sense. We establish that, unlike the case of an infinite interval, the asymptotics for positive eigenvalues does not depend on the potential and it is the same as in the regular case. The asymptotics of the negative eigenvalues may depend on the potential quite strongly, however there are always asymptotically fewer negative eigenvalues than positive ones. By unknown reasons this type of problems had not been studied previously. Keywords: Sturm-Liouville operator, singular potential, asymptotics of eigenvalues. Mathematics Subject Classification: 34L20, 34L40. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 1 (2017), 109-139, http://dx.doi.org/10.7494/OpMath.2017.37.1.109.

]]>Seminormal systems of operators in Clifford environmentsThe primary goal of our article is to implement some standard spin geometry techniques related to the study of Dirac and Laplace operators on Dirac vector bundles into the multidimensional theory of Hilbert space operators. The transition from spin geometry to operator theory relies on the use of Clifford environments, which essentially are Clifford algebra augmentations of unital complex \(C^*\)-algebras that enable one to set up counterparts of the geometric Bochner-Weitzenböck and Bochner-Kodaira-Nakano curvature identities for systems of elements of a \(C^*\)-algebra. The so derived self-commutator identities in conjunction with Bochner's method provide a natural motivation for the definitions of several types of seminormal systems of operators. As part of their study, we single out certain spectral properties, introduce and analyze a singular integral model that involves Riesz transforms, and prove some self-commutator inequalities.
http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3704.pdf
Seminormal systems of operators in Clifford environmentsMircea Martinmultidimensional operator theory; joint seminormality; Riesz transforms; Putnam inequalitydoi:10.7494/OpMath.2017.37.1.81Opuscula Math. 37, no. 1 (2017), 81-107, http://dx.doi.org/10.7494/OpMath.2017.37.1.81Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.1.81http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3704.pdf37181107 Title: Seminormal systems of operators in Clifford environments.

Author(s): Mircea Martin.

Abstract: The primary goal of our article is to implement some standard spin geometry techniques related to the study of Dirac and Laplace operators on Dirac vector bundles into the multidimensional theory of Hilbert space operators. The transition from spin geometry to operator theory relies on the use of Clifford environments, which essentially are Clifford algebra augmentations of unital complex \(C^*\)-algebras that enable one to set up counterparts of the geometric Bochner-Weitzenböck and Bochner-Kodaira-Nakano curvature identities for systems of elements of a \(C^*\)-algebra. The so derived self-commutator identities in conjunction with Bochner's method provide a natural motivation for the definitions of several types of seminormal systems of operators. As part of their study, we single out certain spectral properties, introduce and analyze a singular integral model that involves Riesz transforms, and prove some self-commutator inequalities. Keywords: multidimensional operator theory, joint seminormality, Riesz transforms, Putnam inequality. Mathematics Subject Classification: 47B20, 47A13, 47A63, 44A15. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 1 (2017), 81-107, http://dx.doi.org/10.7494/OpMath.2017.37.1.81.

]]>Towards theory of C-symmetriesThe concept of \(\mathcal{C}\)-symmetry originally appeared in \(\mathcal{PT}\)-symmetric quantum mechanics is studied within the Krein spaces framework.
http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3703.pdf
Towards theory of C-symmetriesS. KuzhelV. SudilovskayaKrein space; \(J\)-self-adjoint operator; \(J\)-symmetric operator; Friedrichs extension; \(\mathcal{C}\)-symmetrydoi:10.7494/OpMath.2017.37.1.65Opuscula Math. 37, no. 1 (2017), 65-80, http://dx.doi.org/10.7494/OpMath.2017.37.1.65Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.1.65http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3703.pdf3716580 Title: Towards theory of C-symmetries.

Author(s): S. Kuzhel, V. Sudilovskaya.

Abstract: The concept of \(\mathcal{C}\)-symmetry originally appeared in \(\mathcal{PT}\)-symmetric quantum mechanics is studied within the Krein spaces framework. Keywords: Krein space, \(J\)-self-adjoint operator, \(J\)-symmetric operator, Friedrichs extension, \(\mathcal{C}\)-symmetry. Mathematics Subject Classification: 47A55, 47B25, 47A57, 81Q15. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 1 (2017), 65-80, http://dx.doi.org/10.7494/OpMath.2017.37.1.65.

]]>The LQ/KYP problem for infinite-dimensional systemsOur aim is to present a solution to a general linear-quadratic (LQ) problem as well as to a Kalman-Yacubovich-Popov (KYP) problem for infinite-dimensional systems with bounded operators. The results are then applied, via the reciprocal system approach, to the question of solvability of some Lur'e resolving equations arising in the stability theory of infinite-dimensional systems in factor form with unbounded control and observation operators. To be more precise the Lur'e resolving equations determine a Lyapunov functional candidate for some closed-loop feedback systems on the base of some properties of an uncontrolled (open-loop) system. Our results are illustrated in details by an example of a temperature of a rod stabilization automatic control system.
http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3702.pdf
The LQ/KYP problem for infinite-dimensional systemsPiotr Grabowskicontrol of infinite-dimensional systems; semigroups; infinite-time LQ-control problem; Lur'e feedback systemsdoi:10.7494/OpMath.2017.37.1.21Opuscula Math. 37, no. 1 (2017), 21-64, http://dx.doi.org/10.7494/OpMath.2017.37.1.21Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.1.21http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3702.pdf3712164 Title: The LQ/KYP problem for infinite-dimensional systems.

Author(s): Piotr Grabowski.

Abstract: Our aim is to present a solution to a general linear-quadratic (LQ) problem as well as to a Kalman-Yacubovich-Popov (KYP) problem for infinite-dimensional systems with bounded operators. The results are then applied, via the reciprocal system approach, to the question of solvability of some Lur'e resolving equations arising in the stability theory of infinite-dimensional systems in factor form with unbounded control and observation operators. To be more precise the Lur'e resolving equations determine a Lyapunov functional candidate for some closed-loop feedback systems on the base of some properties of an uncontrolled (open-loop) system. Our results are illustrated in details by an example of a temperature of a rod stabilization automatic control system. Keywords: control of infinite-dimensional systems, semigroups, infinite-time LQ-control problem, Lur'e feedback systems. Mathematics Subject Classification: 49N10, 93B05, 93C25. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 1 (2017), 21-64, http://dx.doi.org/10.7494/OpMath.2017.37.1.21.

]]>Limit-point criteria for the matrix Sturm-Liouville operator and its powersWe consider matrix Sturm-Liouville operators generated by the formal expression \[l[y]=-(P(y^{\prime}-Ry))^{\prime}-R^*P(y^{\prime}-Ry)+Qy,\] in the space \(L^2_n(I)\), \(I:=[0, \infty)\). Let the matrix functions \(P:=P(x)\), \(Q:=Q(x)\) and \(R:=R(x)\) of order \(n\) (\(n \in \mathbb{N}\)) be defined on \(I\), \(P\) is a nondegenerate matrix, \(P\) and \(Q\) are Hermitian matrices for \(x \in I\) and the entries of the matrix functions \(P^{-1}\), \(Q\) and \(R\) are measurable on \(I\) and integrable on each of its closed finite subintervals. The main purpose of this paper is to find conditions on the matrices \(P\), \(Q\) and \(R\) that ensure the realization of the limit-point case for the minimal closed symmetric operator generated by \(l^k[y]\) (\(k \in \mathbb{N}\)). In particular, we obtain limit-point conditions for Sturm-Liouville operators with matrix-valued distributional coefficients.
http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3701.pdf
Limit-point criteria for the matrix Sturm-Liouville operator and its powersIrina N. Braeutigamquasi-derivative; quasi-differential operator; matrix Sturm-Liouville operator; deficiency numbers; distributionsdoi:10.7494/OpMath.2017.37.1.5Opuscula Math. 37, no. 1 (2017), 5-19, http://dx.doi.org/10.7494/OpMath.2017.37.1.5Copyright AGH University of Science and Technology Press, Krakow 2017Opuscula Mathematica20172017http://dx.doi.org/10.7494/OpMath.2017.37.1.5http://www.opuscula.agh.edu.pl/vol37/1/art/opuscula_math_3701.pdf371519 Title: Limit-point criteria for the matrix Sturm-Liouville operator and its powers.

Author(s): Irina N. Braeutigam.

Abstract: We consider matrix Sturm-Liouville operators generated by the formal expression \[l[y]=-(P(y^{\prime}-Ry))^{\prime}-R^*P(y^{\prime}-Ry)+Qy,\] in the space \(L^2_n(I)\), \(I:=[0, \infty)\). Let the matrix functions \(P:=P(x)\), \(Q:=Q(x)\) and \(R:=R(x)\) of order \(n\) (\(n \in \mathbb{N}\)) be defined on \(I\), \(P\) is a nondegenerate matrix, \(P\) and \(Q\) are Hermitian matrices for \(x \in I\) and the entries of the matrix functions \(P^{-1}\), \(Q\) and \(R\) are measurable on \(I\) and integrable on each of its closed finite subintervals. The main purpose of this paper is to find conditions on the matrices \(P\), \(Q\) and \(R\) that ensure the realization of the limit-point case for the minimal closed symmetric operator generated by \(l^k[y]\) (\(k \in \mathbb{N}\)). In particular, we obtain limit-point conditions for Sturm-Liouville operators with matrix-valued distributional coefficients. Keywords: quasi-derivative, quasi-differential operator, matrix Sturm-Liouville operator, deficiency numbers, distributions. Mathematics Subject Classification: 34L05, 34B24, 47E05. Journal: Opuscula Mathematica. Citation: Opuscula Math. 37, no. 1 (2017), 5-19, http://dx.doi.org/10.7494/OpMath.2017.37.1.5.