Showing 1–7 of 7 results for author: Boza, S

Space-Dependent Fractional Evolution Equations: A New Approach

Authors: Tiago Augusto dos Santos Boza, Paulo Mendes de Carvalho Neto

Abstract: Inspired by the works of \cite{baz2} and \cite{kian}, this study develops an abstract framework for analyzing differential equations with space-dependent fractional time derivatives and bounded operators. Within this framework, we establish existence and uniqueness results for solutions in both linear and semilinear settings. Our findings provide deeper insights into how spatially varying fraction… ▽ More Inspired by the works of \cite{baz2} and \cite{kian}, this study develops an abstract framework for analyzing differential equations with space-dependent fractional time derivatives and bounded operators. Within this framework, we establish existence and uniqueness results for solutions in both linear and semilinear settings. Our findings provide deeper insights into how spatially varying fractional derivatives influence the behavior of differential equations, shedding light on their mathematical properties and potential applications. △ Less

Submitted 18 February, 2025; originally announced February 2025.

MSC Class: 26A33; 35R11; 35A01; 35A02; 35Q92

Homogeneity of rearrangement-invariant norms

Authors: Santiago Boza, Martin Křepela, Javier Soria

Abstract: We study rearrangement-invariant spaces $X$ over $[0,\infty)$ for which there exists a function $h:(0,\infty)\to (0,\infty)$ such that \[ \|D_rf\|_X = h(r)\|f\|_X \] for all $f\in X$ and all $r>0$, where $D_r$ is the dilation operator. It is shown that this may hold only if $h(r)=r^{-\frac1p}$ for all $r>0$, in which case the norm $\|\cdot\|_X$ is called $p$-homogeneous. We investigate which types… ▽ More We study rearrangement-invariant spaces $X$ over $[0,\infty)$ for which there exists a function $h:(0,\infty)\to (0,\infty)$ such that \[ \|D_rf\|_X = h(r)\|f\|_X \] for all $f\in X$ and all $r>0$, where $D_r$ is the dilation operator. It is shown that this may hold only if $h(r)=r^{-\frac1p}$ for all $r>0$, in which case the norm $\|\cdot\|_X$ is called $p$-homogeneous. We investigate which types of r.i. spaces satisfy this condition and show some important embedding properties. △ Less

Submitted 25 March, 2025; v1 submitted 26 January, 2025; originally announced January 2025.

MSC Class: 46E30; 46B42

Lorentz and Gale-Ryser theorems on general measure spaces

Authors: Santiago Boza, Martin Křepela, Javier Soria

Abstract: Based on the Gale-Ryser theorem for the existence of suitable $(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of G. G. Lorentz regarding the characterization of a plane measurable set, in terms of its cross sections, and extend it to general measure spaces. Based on the Gale-Ryser theorem for the existence of suitable $(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of G. G. Lorentz regarding the characterization of a plane measurable set, in terms of its cross sections, and extend it to general measure spaces. △ Less

Submitted 25 June, 2021; v1 submitted 7 March, 2021; originally announced March 2021.

MSC Class: 26D15; 28A35; 46E30

Espaços pseudo-topológicos e descrições do conceito de plausível

Authors: Tiago Augusto dos Santos Boza, Hércules de Araujo Feitosa

Abstract: The structure of almost topological space is a variation of the concept of topological space. It emerged as a formalization of a quantifier first order not definable from the usual existential and universal operators, named the quantifier of the plausible. Later, it sought a formalization in propositional logical context, given a deductive and axiomatic system with algebraic model. We will present… ▽ More The structure of almost topological space is a variation of the concept of topological space. It emerged as a formalization of a quantifier first order not definable from the usual existential and universal operators, named the quantifier of the plausible. Later, it sought a formalization in propositional logical context, given a deductive and axiomatic system with algebraic model. We will present these formal conceptions and as an original contribution, we describe the propositional version of the logic of almost topological spaces in tableaux. △ Less

Submitted 22 March, 2016; originally announced March 2016.

Comments: in Portuguese. arXiv admin note: substantial text overlap with arXiv:1603.07606

Um modelo algébrico do quantificador da Ubiquidade

Authors: Tiago Augusto dos Santos Boza, Hércules de Araujo Feitosa

Abstract: The aim of this article is a deepening of quantification notions in the aspect of the modular logic. Therefore, it approaches modulated logic of the plausible that seeks to formalize the quantifier of ubiquity. The text presents a proposal, introduced by Paul Halmos, to interpret a classical quantifier in algebraic models and as a original contribution, extends this model to an algebraic model for… ▽ More The aim of this article is a deepening of quantification notions in the aspect of the modular logic. Therefore, it approaches modulated logic of the plausible that seeks to formalize the quantifier of ubiquity. The text presents a proposal, introduced by Paul Halmos, to interpret a classical quantifier in algebraic models and as a original contribution, extends this model to an algebraic model for the quantifier of ubiquity. △ Less

Submitted 22 March, 2016; originally announced March 2016.

Comments: in Portuguese

Semântica relacional para a lógica proposicional do plausível

Authors: Tiago Augusto dos Santos Boza, Hércules de Araujo Feitosa

Abstract: This article aims to present a neighborhood semantic for a modal logic, namely, propositional logic of the plausible. As a subnormal character modal logic, not admits a Kripke semantics. However, the authors show that this neighborhood semantic, reach a relational semantics for propositional logic of the plausible. This article aims to present a neighborhood semantic for a modal logic, namely, propositional logic of the plausible. As a subnormal character modal logic, not admits a Kripke semantics. However, the authors show that this neighborhood semantic, reach a relational semantics for propositional logic of the plausible. △ Less

Submitted 22 March, 2016; originally announced March 2016.

Comments: in Portuguese

Rearrangement transformations on general measure spaces

Authors: Santiago Boza, Javier Soria

Abstract: For a general set transformation ${\cal R}$ between two measure spaces, we define the rearrangement of a measurable function by means of the Layer's cake formula. We study some functional properties of the Lorentz spaces defined in terms of ${\cal R}$, giving a unified approach to the classical rearrangement, Steiner's symmetrization, the multidimensional case, and the discrete setting of trees. For a general set transformation ${\cal R}$ between two measure spaces, we define the rearrangement of a measurable function by means of the Layer's cake formula. We study some functional properties of the Lorentz spaces defined in terms of ${\cal R}$, giving a unified approach to the classical rearrangement, Steiner's symmetrization, the multidimensional case, and the discrete setting of trees. △ Less

Submitted 5 September, 2007; originally announced September 2007.

Comments: 17 pages

MSC Class: 46E30; 46B42