Showing 1–34 of 34 results for author: de Oliveira, B

Mixtures of nonhomogeneous viscoelastic incompressible fluids governed by the Kelvin-Voigt equations

Authors: S. N. Antontsev, H. B. de Oliveira, I. V. Kuznetsov, D. A. Prokudin, Kh. Khompysh

Abstract: An initial-and boundary-value problem for the Kelvin-Voigt system, modeling a mixture of n incompressible and viscoelastic fluids, with non-constant density, is investigated in this work. The existence of global-in-time weak solutions is established: velocity, density and pressure. Under additional regularity assumptions, we also prove the uniqueness of the solution. An initial-and boundary-value problem for the Kelvin-Voigt system, modeling a mixture of n incompressible and viscoelastic fluids, with non-constant density, is investigated in this work. The existence of global-in-time weak solutions is established: velocity, density and pressure. Under additional regularity assumptions, we also prove the uniqueness of the solution. △ Less

Submitted 11 June, 2025; originally announced June 2025.

MSC Class: 35Q35; 76D03; 76T30

Remarks on the Polyak-Lojasiewicz inequality and the convergence of gradient systems

Authors: Arthur Castello B. de Oliveira, Leilei Cui, Eduardo D. Sontag

Abstract: This work explores generalizations of the Polyak-Lojasiewicz inequality (PLI) and their implications for the convergence behavior of gradient flows in optimization problems. Motivated by the continuous-time linear quadratic regulator (CT-LQR) policy optimization problem -- where only a weaker version of the PLI is characterized in the literature -- this work shows that while weaker conditions are… ▽ More This work explores generalizations of the Polyak-Lojasiewicz inequality (PLI) and their implications for the convergence behavior of gradient flows in optimization problems. Motivated by the continuous-time linear quadratic regulator (CT-LQR) policy optimization problem -- where only a weaker version of the PLI is characterized in the literature -- this work shows that while weaker conditions are sufficient for global convergence to, and optimality of the set of critical points of the cost function, the "profile" of the gradient flow solution can change significantly depending on which "flavor" of inequality the cost satisfies. After a general theoretical analysis, we focus on fitting the CT-LQR policy optimization problem to the proposed framework, showing that, in fact, it can never satisfy a PLI in its strongest form. We follow up our analysis with a brief discussion on the difference between continuous- and discrete-time LQR policy optimization, and end the paper with some intuition on the extension of this framework to optimization problems with L1 regularization and solved through proximal gradient flows. △ Less

Submitted 30 March, 2025; originally announced March 2025.

The Change of Variable Formula Integrals, do they have equal value?

Authors: Oswaldo Rio Branco de Oliveira

Abstract: Assuming that the two integrals in the Change of Variable Formula for the Riemann integral on the real line are finite, one can rightfully ask if they have equal value. We give a positive answer to this question. The proof is very easy to follow and to keep in mind. The result is extended to improper Riemann integrals. Three examples are given. Assuming that the two integrals in the Change of Variable Formula for the Riemann integral on the real line are finite, one can rightfully ask if they have equal value. We give a positive answer to this question. The proof is very easy to follow and to keep in mind. The result is extended to improper Riemann integrals. Three examples are given. △ Less

Submitted 21 June, 2025; v1 submitted 18 February, 2025; originally announced February 2025.

Comments: 21 pages (three more than the previous version), 3 figures, two lemmas have been added, a corollary to Theorem 2 has been added, a remark about substitution maps has been added, a remark about Pompeiu derivatives has been added

MSC Class: 26A06; 26A42

Convergence Analysis of Gradient Flow for Overparameterized LQR Formulations

Authors: Arthur Castello B. de Oliveira, Milad Siami, Eduardo D. Sontag

Abstract: Motivated by the growing use of artificial intelligence (AI) tools in control design, this paper analyses the intersection between results from gradient methods for the model-free linear quadratic regulator (LQR), and linear feedforward neural networks (LFFNNs), More specifically, it looks into the case where one wants to find a LFFNN feedback that minimizes a LQR cost. This paper starts by analyz… ▽ More Motivated by the growing use of artificial intelligence (AI) tools in control design, this paper analyses the intersection between results from gradient methods for the model-free linear quadratic regulator (LQR), and linear feedforward neural networks (LFFNNs), More specifically, it looks into the case where one wants to find a LFFNN feedback that minimizes a LQR cost. This paper starts by analyzing the structure of the gradient expression for the parameters of each layer, which implies a key conservation law of the system. This conservation law is then leveraged to generalize existing results on boundedness and global convergence of solutions to critical points, and invariance of the set of stabilizing networks under the training dynamics. This is followed by an analysis of the case where the LFFNN has a single hidden layer, for which the paper proves that the training converges not only to the critical points, but to the optimal feedback control law for all but a set of Lebesgue measure zero of the initializations. These theoretical results are followed by an extensive analysis of a simple version of the problem -- the ``vector case'' -- proving the theoretical properties of accelerated convergence and small-input input-to-state stability (ISS) for this simpler example. Finally, the paper presents numerical evidence of faster convergence of the training of general LFFNNs when compared to non-overparameterized formulations, showing that the acceleration of the solution is observable even when the gradient is not explicitly computed, but estimated from evaluations of the cost function. △ Less

Submitted 26 May, 2025; v1 submitted 27 August, 2024; originally announced August 2024.

Existence for turbulent flows through permeable media with unbounded turbulent-depending coefficients

Authors: Hermenegildo Borges de Oliveira

Abstract: A mathematical model that governs turbulent flows through permeable media is considered in this work. The model under consideration is based on a double-averaging concept which in turn is described by the time-averaging technique characteristic of the turbulence k-epsilon model and by the volume-averaging methodology that is used to model unstable flows through porous media. The functions of turbu… ▽ More A mathematical model that governs turbulent flows through permeable media is considered in this work. The model under consideration is based on a double-averaging concept which in turn is described by the time-averaging technique characteristic of the turbulence k-epsilon model and by the volume-averaging methodology that is used to model unstable flows through porous media. The functions of turbulence viscosity, turbulence diffusion and turbulence production are assumed to be unbounded with respect to the turbulent kinetic energy. For the associated initial-and boundary-value problem, we prove the existence of suitable weak solutions. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: 28 pages

MSC Class: 76F60; 76S05; 35Q35; 35K55; 35A01; 76D03

Existence and uniqueness of weak solutions for the generalized stochastic Navier-Stokes-Voigt equations

Authors: Ankit Kumar, Hermenegildo Borges de Oliveira, Manil T. Mohan

Abstract: In this work, we consider the incompressible generalized Navier-Stokes-Voigt equations in a bounded domain $\mathcal{O}\subset\mathbb{R}^d$, $d\geq 2$, driven by a multiplicative Gaussian noise. The considered momentum equation is given by: \begin{align*} \mathrm{d}\left(\boldsymbol{u} - κΔ\boldsymbol{u}\right) = \left[\boldsymbol{f} +\operatorname{div} \left(-π\mathbf{I}+ν|\mathbf{D}(\boldsym… ▽ More In this work, we consider the incompressible generalized Navier-Stokes-Voigt equations in a bounded domain $\mathcal{O}\subset\mathbb{R}^d$, $d\geq 2$, driven by a multiplicative Gaussian noise. The considered momentum equation is given by: \begin{align*} \mathrm{d}\left(\boldsymbol{u} - κΔ\boldsymbol{u}\right) = \left[\boldsymbol{f} +\operatorname{div} \left(-π\mathbf{I}+ν|\mathbf{D}(\boldsymbol{u})|^{p-2}\mathbf{D}(\boldsymbol{u})-\boldsymbol{u}\otimes \boldsymbol{u}\right)\right]\mathrm{d} t + Φ(\boldsymbol{u})\mathrm{d} \mathrm{W}(t). \end{align*} In the case of $d=2,3$, $\boldsymbol{u}$ accounts for the velocity field, $π$ is the pressure, $\boldsymbol{f}$ is a body force and the final term stay for the stochastic forces. Here, $κ$ and $ν$ are given positive constants that account for the kinematic viscosity and relaxation time, and the power-law index $p$ is another constant (assumed $p>1$) that characterizes the flow. We use the usual notation $\mathbf{I}$ for the unit tensor and $\mathbf{D}(\boldsymbol{u}):=\frac{1}{2}\left(\nabla \boldsymbol{u} + (\nabla \boldsymbol{u})^{\top}\right)$ for the symmetric part of velocity gradient. For $p\in\big(\frac{2d}{d+2},\infty\big)$, we first prove the existence of a martingale solution. Then we show the pathwise uniqueness of solutions. We employ the classical Yamada-Watanabe theorem to ensure the existence of a unique probabilistic strong solution.Then we show the pathwise uniqueness of solutions. We employ the classical Yamada-Watanabe theorem to ensure the existence of a unique probabilistic strong solution. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Surface quotient singularities and bigness of the cotangent bundle: Part II

Authors: Yohannes D. Asega, Bruno De Oliveira, Michael Weiss

Abstract: In two parts, we present a bigness criterion for the cotangent bundle of resolutions of orbifold surfaces of general type. As a corollary, we obtain the \textit{canonical model singularities} (CMS) criterion that can be applied to determine when a birational class of surfaces has smooth representatives with big cotangent bundle and compare it with other known criteria. We then apply this criterion… ▽ More In two parts, we present a bigness criterion for the cotangent bundle of resolutions of orbifold surfaces of general type. As a corollary, we obtain the \textit{canonical model singularities} (CMS) criterion that can be applied to determine when a birational class of surfaces has smooth representatives with big cotangent bundle and compare it with other known criteria. We then apply this criterion to the problem of finding the minimal degrees $d$ for which the deformation equivalence class of a smooth hypersurface of degree d in $\PP^3$ has a representative with big cotangent bundle; applications to the minimal resolutions of cyclic covers of $\PP^2$ branched along line arrangements in general position are also obtained. The CMS criterion involves invariants of canonical singularities whose values were unknown. In this part of the work, we describe a method of finding these invariants and obtain formulas for $A_n$-singularities. We also use our approach to derive several extension results for symmetric differentials on the complement of the exceptional locus $E$ of the minimal resolution of an $A_n$-singularity; namely, we characterize the precise extent to which the poles along $E$ of symmetric differentials on the complement are milder than logarithmic poles. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 40 pages

Strong solutions for the Navier-Stokes-Voigt equations with non-negative density

Authors: Hermenegildo Borges de Oliveira, Khonatbek Khompysh, Aidos Ganizhanuly Shakir

Abstract: The aim of this work is to study the Navier-Stokes-Voigt equations that govern flows with non-negative density of incompressible fluids with elastic properties. For the associated non-linear initial-and boundary-value problem, we prove the global-in-time existence of strong solutions (velocity, density and pressure). We also establish some other regularity properties of these solutions and find th… ▽ More The aim of this work is to study the Navier-Stokes-Voigt equations that govern flows with non-negative density of incompressible fluids with elastic properties. For the associated non-linear initial-and boundary-value problem, we prove the global-in-time existence of strong solutions (velocity, density and pressure). We also establish some other regularity properties of these solutions and find the conditions that guarantee the uniqueness of velocity and density. The main novelty of this work is the hypothesis that, in some subdomain of space, there may be a vacuum at the initial moment, that is, the possibility of the initial density vanishing in some part of the space domain. △ Less

Submitted 1 September, 2023; originally announced September 2023.

Comments: 29 pages

MSC Class: 35Q35; 76D03; 76A05; 76N10

Wedderburn Decomposition and Idempotents of some finite metacyclic group algebras

Authors: F. E. Brochero Martínez, L. Batista de Oliveira, C. R. Giraldo Vergara

Abstract: In this article, we show explicitly the Wedderburn decomposition of the metacyclic group algebra $\mathbb F_qG$, where $G$ has a cyclic subgroup of index 2 and $\gcd(|G|,q)=1$. We also construct the complete set of central and left idempotents of these group algebras. In this article, we show explicitly the Wedderburn decomposition of the metacyclic group algebra $\mathbb F_qG$, where $G$ has a cyclic subgroup of index 2 and $\gcd(|G|,q)=1$. We also construct the complete set of central and left idempotents of these group algebras. △ Less

Submitted 13 October, 2022; originally announced October 2022.

MSC Class: 20C05; 16S34

Ensemble pruning via an integer programming approach with diversity constraints

Authors: Marcelo Antônio Mendes Bastos, Humberto Brandão César de Oliveira, Cristiano Arbex Valle

Abstract: Ensemble learning combines multiple classifiers in the hope of obtaining better predictive performance. Empirical studies have shown that ensemble pruning, that is, choosing an appropriate subset of the available classifiers, can lead to comparable or better predictions than using all classifiers. In this paper, we consider a binary classification problem and propose an integer programming (IP) ap… ▽ More Ensemble learning combines multiple classifiers in the hope of obtaining better predictive performance. Empirical studies have shown that ensemble pruning, that is, choosing an appropriate subset of the available classifiers, can lead to comparable or better predictions than using all classifiers. In this paper, we consider a binary classification problem and propose an integer programming (IP) approach for selecting optimal classifier subsets. We propose a flexible objective function to adapt to desired criteria of different datasets. We also propose constraints to ensure minimum diversity levels in the ensemble. Despite the general case of IP being NP-Hard, state-of-the-art solvers are able to quickly obtain good solutions for datasets with up to 60000 data points. Our approach yields competitive results when compared to some of the best and most used pruning methods in literature. △ Less

Submitted 2 May, 2022; originally announced May 2022.

Resolutions of surfaces with big cotangent bundle and $A_2$ singularities

Authors: Bruno De Oliveira, Michael L Weiss

Abstract: We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of $d$ for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in $\mathbb{P}^3$ of degree $d$. We give a new criterion for when a resolution of a surface of general type with canonical singularities has big cotangent bundle and a new lower bound for the values of $d$ for which there is a surface with big cotangent bundle that is deformation equivalent to a smooth hypersurface in $\mathbb{P}^3$ of degree $d$. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 14 pages

Journal ref: Boletim da SPM 77 (December 2019)

The Exponential Matrix: an explicit formula by an elementary method

Authors: Oswaldo Rio Branco de Oliveira

Abstract: We show an explicit formula, with a quite easy deduction, for the exponential matrix $e^{tA}$ of a real square matrix $A$ of order $n\times n$. The elementary method developed requires neither Jordan canonical form, nor eigenvectors, nor resolution of linear systems of differential equations, nor resolution of linear systems with constant coefficients, nor matrix inversion, nor complex integration… ▽ More We show an explicit formula, with a quite easy deduction, for the exponential matrix $e^{tA}$ of a real square matrix $A$ of order $n\times n$. The elementary method developed requires neither Jordan canonical form, nor eigenvectors, nor resolution of linear systems of differential equations, nor resolution of linear systems with constant coefficients, nor matrix inversion, nor complex integration, nor functional analysis. The basic tools are power series and the method of partial fraction decomposition. Two examples are given. A proof of one well-known stability result is given. △ Less

Submitted 29 March, 2018; originally announced March 2018.

Comments: 11 pages

MSC Class: 15-01; 34-01; 34-01; 34A30; 15A16; 65F60

Journal ref: Real Analysis Exchange, Vol. 46(1), 2021, pp. 99-106

The Implicit Function Theorem for maps that are only differentiable: an elementary proof

Authors: Oswaldo R. B. de Oliveira

Abstract: This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial derivatives of $F$. The proof employs determinants theory, the mean-value theorem, the intermediate-value theorem, and Darboux's property (the intermediate-value pro… ▽ More This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial derivatives of $F$. The proof employs determinants theory, the mean-value theorem, the intermediate-value theorem, and Darboux's property (the intermediate-value property for derivatives). The proof avoids compactness arguments, fixed-point theorems, and integration theory. A stronger than the classical version of the Inverse Function Theorem is also shown. An example is given. △ Less

Submitted 4 August, 2017; originally announced August 2017.

Comments: 12 pages. arXiv admin note: text overlap with arXiv:1312.2445

MSC Class: 26B10; 26B12

Journal ref: Real Analysis Exchange, Vol. 43(2), 2018, pp. 429-444

A stochastic two-stage innovation diffusion model on a lattice

Authors: Cristian F. Coletti, Karina B. E. de Oliveira, Pablo M. Rodriguez

Abstract: We propose a stochastic model describing a process of awareness, evaluation and decision-making by agents on the d-dimensional integer lattice. Each agent may be in any of the three states belonging to the set {0, 1, 2}. In this model 0 stands for ignorants, 1 for aware and 2 for adopters. Aware and adopters inform its nearest ignorant neighbors about a new product innovation at rate lambda. At ra… ▽ More We propose a stochastic model describing a process of awareness, evaluation and decision-making by agents on the d-dimensional integer lattice. Each agent may be in any of the three states belonging to the set {0, 1, 2}. In this model 0 stands for ignorants, 1 for aware and 2 for adopters. Aware and adopters inform its nearest ignorant neighbors about a new product innovation at rate lambda. At rate alpha an agent in aware state becomes an adopter due to the influence of adopters neighbors. Finally, aware and adopters forget the information about the new product, thus becoming ignorant, at rate one. Our purpose is to analyze the influence of the parameters on the qualitative behavior of the process. We obtain sufficient conditions under which the innovation diffusion (and adoption) either becomes extinct or propagates through the population with positive probability. △ Less

Submitted 4 February, 2016; v1 submitted 23 August, 2015; originally announced August 2015.

Comments: Theorem 2.4 has been improved and some minor changes have been made. To appear in J. Appl. Probab

Local structure of closed symmetric 2-differentials

Authors: Fedor Bogomolov, Bruno De Oliveira

Abstract: In the authors's previous work on symmetric differentials and their connection to the topological properties of the ambient manifold, a class of symmetric differentials was introduced: closed symmetric differentials ([BoDeO11] and [BoDeO13]). In this article we give a description of the local structure of closed symmetric 2-differentials on complex surfaces, with an emphasis towards the local deco… ▽ More In the authors's previous work on symmetric differentials and their connection to the topological properties of the ambient manifold, a class of symmetric differentials was introduced: closed symmetric differentials ([BoDeO11] and [BoDeO13]). In this article we give a description of the local structure of closed symmetric 2-differentials on complex surfaces, with an emphasis towards the local decompositions as products of 1-differentials. We show that a closed symmetric 2-differential $w$ of rank 2 (i.e. defines two distinct foliations at the general point) has a subvariety $B_w\subset X$ outside of which $w$ is locally the product of closed holomorphic 1-differentials. The main result, theorem 2.6, gives a complete description of a (locally split) closed symmetric 2-differential in a neighborhood of a general point of $B_w$. A key feature of theorem 2.6 is that closed symmetric 2-differentials still have a decomposition as a product of 2 closed 1-differentials (in a generalized sense) even at the points of $B_w$. The (possibly multi-valued) closed 1-differentials can have essential singularities along $B_w$, but one still has a control on these essential singularities. The essential singularities come from exponentials of meromorphic functions acquiring poles along the irreducible components of $B_w$ of order bounded by the order of contact of the 2 foliations defined by the symmetric 2-differential along that irreducible component. △ Less

Submitted 3 October, 2014; originally announced October 2014.

Comments: 19 pages

MSC Class: 14F10; 14B99; 14C21; 14J99; 14F45; 32C38; 32S65

Explicit factorization of $x^n-1\in \mathbb F_q[x]$

Authors: F. E. Brochero Martínez, C. R. Giraldo Vergara, L. Batista de Oliveira

Abstract: Let $\mathbb F_q$ be a finite field and $n$ a positive integer. In this article, we prove that, under some conditions on $q$ and $n$, the polynomial $x^n-1$ can be split into irreducible binomials $x^t-a$ and an explicit factorization into irreducible factors is given. Finally, weakening one of our hypothesis, we also obtain factors of the form $x^{2t}-ax^t+b$ and explicit splitting of $x^n-1$ i… ▽ More Let $\mathbb F_q$ be a finite field and $n$ a positive integer. In this article, we prove that, under some conditions on $q$ and $n$, the polynomial $x^n-1$ can be split into irreducible binomials $x^t-a$ and an explicit factorization into irreducible factors is given. Finally, weakening one of our hypothesis, we also obtain factors of the form $x^{2t}-ax^t+b$ and explicit splitting of $x^n-1$ into irreducible factors is given. △ Less

Submitted 18 May, 2014; v1 submitted 24 April, 2014; originally announced April 2014.

Comments: Submitted to Designs, Codes and Cryptography. 9 pages

MSC Class: 12E05(primary) and 94B05(secondary)

A Complex Primitive $N$th Root Of Unity: A Very Elementary Approach

Authors: Oswaldo Rio Branco de Oliveira

Abstract: This paper presents a primitive $n$th root of unity in $\mathbb C$. The approach is very elementary and avoids the following: the complex exponential function, trigonometry, and group theory. It also avoids differentiation, integration, and series. The presentation of the primitive is indirect. This paper presents a primitive $n$th root of unity in $\mathbb C$. The approach is very elementary and avoids the following: the complex exponential function, trigonometry, and group theory. It also avoids differentiation, integration, and series. The presentation of the primitive is indirect. △ Less

Submitted 17 February, 2014; originally announced February 2014.

Comments: 5 pages

MSC Class: 97F50; 97I80

The Implicit Function Theorem when the matrix $\frac{\partial F}{\partial y}(x,y)$ is only continuous at the base point

Authors: Oswaldo R. B. de Oliveira

Abstract: This article presents an elementary proof of the Implicit Function Theorem for differentiable maps F(x,y), defined on a finite-dimensional Euclidean space, with $\frac{\partial F}{\partial y}(x,y)$ only continuous at the base point. In the case of a single scalar equation this continuity hypothesis is not required. The Inverse Function Theorem is also shown. The proofs rely on the mean-value and t… ▽ More This article presents an elementary proof of the Implicit Function Theorem for differentiable maps F(x,y), defined on a finite-dimensional Euclidean space, with $\frac{\partial F}{\partial y}(x,y)$ only continuous at the base point. In the case of a single scalar equation this continuity hypothesis is not required. The Inverse Function Theorem is also shown. The proofs rely on the mean-value and the intermediate-value theorems and Darboux's property (the intermediate-value property for derivatives). These proofs avoid compactness arguments, fixed-point theorems, and integration theory. △ Less

Submitted 31 August, 2015; v1 submitted 9 December, 2013; originally announced December 2013.

Comments: 9 pages - new version with 10 pages, two added references on section 1, corrected grammar

MSC Class: 26B10; 90C30

Journal ref: Real Analysis Exchange, Vol. 41(2), 2016, pp. 377-388

Closed symmetric 2-differentials of the 1st kind

Authors: Fedor Bogomolov, Bruno De Oliveira

Abstract: A closed symmetric differential of the 1st kind is a differential that locally is the product of closed holomorphic 1-forms. We show that closed symmetric 2-differentials of the 1st kind on a projective manifold $X$ come from maps of $X$ to cyclic or dihedral quotients of Abelian varieties and that their presence implies that the fundamental group of $X$ (case of rank 2) or of the complement… ▽ More A closed symmetric differential of the 1st kind is a differential that locally is the product of closed holomorphic 1-forms. We show that closed symmetric 2-differentials of the 1st kind on a projective manifold $X$ come from maps of $X$ to cyclic or dihedral quotients of Abelian varieties and that their presence implies that the fundamental group of $X$ (case of rank 2) or of the complement $X\setminus E$ of a divisor $E$ with negative properties (case of rank 1) contains subgroup of finite index with infinite abelianization. Other results include: i) the identification of the differential operator characterizing closed symmetric 2-differentials on surfaces (which provides in this case a connection to flat Riemannian metrics) and ii) projective manifolds $X$ having symmetric 2-differentials $w$ that are the product of two closed meromorphic 1-forms are irregular, in fact if $w$ is not of the 1st kind (which can happen), then $X$ has a fibration $f:X \to C$ over a curve of genus $\ge 1$. △ Less

Submitted 30 September, 2013; originally announced October 2013.

MSC Class: 14F10; 14F45; 14C21; 32J18

The Implicit and the Inverse Function theorems: easy proofs

Authors: Oswaldo Rio Branco de Oliveira

Abstract: This article presents simple and easy proofs of the Implicit Function Theorem and the Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean space, that employ only the Intermediate Value Theorem and the Mean-Value Theorem. These proofs avoid compactness arguments, the contraction principle, and fixed-point theorems. This article presents simple and easy proofs of the Implicit Function Theorem and the Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean space, that employ only the Intermediate Value Theorem and the Mean-Value Theorem. These proofs avoid compactness arguments, the contraction principle, and fixed-point theorems. △ Less

Submitted 10 December, 2012; originally announced December 2012.

Comments: 10 pages

MSC Class: 26B10; 26B12; 97I40; 97I60

Journal ref: Real Analysis Exchange vol. 39(1), 2013/2014, pp. 207-218

Some Simplifications in Basic Complex Analysis

Authors: Oswaldo Rio Branco de Oliveira

Abstract: This paper presents very simple and easy integration-free proofs in the context of Weierstrass's theory of functions, of the Maximum and Minimum Modulus Principles and Gutzmer-Parseval Inequalities for polynomials and for functions developable in complex power series at every point in their domains, as well as a trivial proof of the Open Mapping Theorem, an intuitive version of Liouville's Theorem… ▽ More This paper presents very simple and easy integration-free proofs in the context of Weierstrass's theory of functions, of the Maximum and Minimum Modulus Principles and Gutzmer-Parseval Inequalities for polynomials and for functions developable in complex power series at every point in their domains, as well as a trivial proof of the Open Mapping Theorem, an intuitive version of Liouville's Theorem, an easy proof of Weierstrass's Theorem on Double Series, a modest extension of Schwarz's Lemma, and some other related results. It also presents easy proofs of the Pólya-Szegö and P. Erdös' Anti-Calculus Proposition, a theorem on saddle points by Bak-Ding-Newman, and the well-known Clunie-Jack Lemma. △ Less

Submitted 9 August, 2012; v1 submitted 15 July, 2012; originally announced July 2012.

Comments: 28 pages, corrected typos, a revised argument in section 2, result unchanged; a revised argument in section 6, result unchanged; a remark changed in section 7

MSC Class: 30-01; 30A10; 30B10

Some Simplifications in the Presentations of Complex Power Series and Unordered Sums

Authors: Oswaldo Rio Branco de Oliveira

Abstract: This text provides very easy and short proofs of some basic properties of complex power series (addition, subtraction, multiplication, division, rearrangement, composition, differentiation, uniqueness, Taylor's series, Principle of Identity, Principle of Isolated Zeros, and Binomial Series). This is done by simplifying the usual presentation of unordered sums of a (countable) family of complex num… ▽ More This text provides very easy and short proofs of some basic properties of complex power series (addition, subtraction, multiplication, division, rearrangement, composition, differentiation, uniqueness, Taylor's series, Principle of Identity, Principle of Isolated Zeros, and Binomial Series). This is done by simplifying the usual presentation of unordered sums of a (countable) family of complex numbers. All the proofs avoid formal power series, double series, iterated series, partial series, asymptotic arguments, complex integration theory, and uniform continuity. The use of function continuity as well as epsilons and deltas is kept to a minimum. △ Less

Submitted 27 July, 2012; v1 submitted 5 July, 2012; originally announced July 2012.

Comments: 18 pages, corrected typos, notations removed in sections 3 and 4, a lemma introduced and a result improved both in section 8, a name added in Acknowledgments

MSC Class: 30B10; 40B05; 40C15; 40-01; 97I80

Existence for the steady problem of a mixture of two power-law fluids

Authors: Hermenegildo Borges de Oliveira

Abstract: The steady problem resulting from a mixture of two distinct fluids of power-law type is analyzed in this work. Mathematically, the problem results from the superposition of two power laws, one for a constant power-law index with other for a variable one. For the associated boundary-value problem, we prove the existence of very weak solutions, provided the variable power-law index is bounded from a… ▽ More The steady problem resulting from a mixture of two distinct fluids of power-law type is analyzed in this work. Mathematically, the problem results from the superposition of two power laws, one for a constant power-law index with other for a variable one. For the associated boundary-value problem, we prove the existence of very weak solutions, provided the variable power-law index is bounded from above by the constant one. This result requires the lowest possible assumptions on the variable power-law index and, as a particular case, extends the existence result by Ladyzhenskaya dated from 1969 to the case of a variable exponent and for all zones of the pseudoplastic region. In a distinct result, we extend a classical theorem on the existence of weak solutions to the case of our problem. △ Less

Submitted 26 April, 2012; originally announced April 2012.

Comments: 22. arXiv admin note: substantial text overlap with arXiv:1203.6799

MSC Class: 76D03; 76D05; 35J60; 35Q30; 35Q35

A note about existence for a class of viscous fluid problems

Authors: Hermenegildo Borges de Oliveira

Abstract: In this work the existence of weak solutions for a class of non-Newtonian viscous fluid problems is analyzed. The problem is modeled by the steady case of the generalized Navier-Stokes equations, where the exponent $q$ that characterizes the flow depends on the space variable: $q=q(\mathbf{x})$. For the associated boundary-value problem we show that, in some situations, the log-Hölder continuity c… ▽ More In this work the existence of weak solutions for a class of non-Newtonian viscous fluid problems is analyzed. The problem is modeled by the steady case of the generalized Navier-Stokes equations, where the exponent $q$ that characterizes the flow depends on the space variable: $q=q(\mathbf{x})$. For the associated boundary-value problem we show that, in some situations, the log-Hölder continuity condition on $q$ can be dropped and the result of the existence of weak solutions still remain valid for any variable exponent $q\geqα>\frac{2N}{N+2}$, where $α=\mathrm{ess}\inf q$. △ Less

Submitted 30 March, 2012; originally announced March 2012.

Comments: 14 pages

MSC Class: 76D03; 76D05; 35J60; 35Q30; 35Q35

On the existence of weak solutions for steady flows of generalized viscous fluids

Authors: Hermenegildo Borges de Oliveira

Abstract: In this work we investigate the existence of weak solutions for steady flows of generalized incompressible and homogeneous viscous fluids. The problem is modeled by the steady case of the generalized Navier-Stokes equations, where the exponent $q$ that characterizes the flow depends on the space variable: $q=q(\mathbf{x})$. For the associated boundary-value problem we prove the existence of weak s… ▽ More In this work we investigate the existence of weak solutions for steady flows of generalized incompressible and homogeneous viscous fluids. The problem is modeled by the steady case of the generalized Navier-Stokes equations, where the exponent $q$ that characterizes the flow depends on the space variable: $q=q(\mathbf{x})$. For the associated boundary-value problem we prove the existence of weak solutions for any variable exponent $q\geqα>\frac{2N}{N+2}$, where $α=\mathrm{ess}\inf q$. This work improves all the known existence results in the sense that the lowest possible bound of $q$ is attained and no other assumption on the regularity of $q$ is required. △ Less

Submitted 14 November, 2011; v1 submitted 10 November, 2011; originally announced November 2011.

Comments: This paper has been withdrawn by the author due to a crucial error in equation (9.7)

MSC Class: 76D03; 76D05; 35J60; 35Q30; 35Q35

An Alternative Method for the Undetermined Coefficients and the Annihilator Methods

Authors: Oswaldo Rio Branco de Oliveira

Abstract: This paper exhibits a very simple formula for a particular solution of a linear ordinary differential equation with constant real coefficients, P(d/dt)x = f, f a function given by a linear combination of polynomials, trigonometrical and exponential real functions products. This is done by solving lower triangular linear systems with constant coefficients. Two examples are given. This paper exhibits a very simple formula for a particular solution of a linear ordinary differential equation with constant real coefficients, P(d/dt)x = f, f a function given by a linear combination of polynomials, trigonometrical and exponential real functions products. This is done by solving lower triangular linear systems with constant coefficients. Two examples are given. △ Less

Submitted 7 November, 2011; v1 submitted 19 October, 2011; originally announced October 2011.

Comments: 7 pages; 2 examples; corrected typos; added references

MSC Class: 34A30

Journal ref: International Journal of Mathematical Education in Science and Technology, 44:3, 2012, pp. 462-468

The Fundamental Theorem of Algebra: From The Four Basic Operations

Authors: Oswaldo Rio Branco de Oliveira

Abstract: This paper presents an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima, that avoids: every root extraction, angle, non-algebraic functions, differentiation, integration, series and arguments by induction. This paper presents an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima, that avoids: every root extraction, angle, non-algebraic functions, differentiation, integration, series and arguments by induction. △ Less

Submitted 2 October, 2011; originally announced October 2011.

Comments: 6 pages

MSC Class: 12D05; 30A10

Journal ref: The American Mathematical Monthly 119 no. 9 (2012) 753-758

Existence of weak solutions for the generalized Navier-Stokes equations with damping

Authors: Hermenegildo Borges de Oliveira

Abstract: In this work we consider the generalized Navier-Stoke equations with the presence of a damping term in the momentum equation. % The problem studied here derives from the set of equations which govern the isothermal flow of incompressible, homogeneous and non-Newtonian fluids. % For the generalized Navier-Stokes problem with damping, we prove the existence of weak solutions by using regularization… ▽ More In this work we consider the generalized Navier-Stoke equations with the presence of a damping term in the momentum equation. % The problem studied here derives from the set of equations which govern the isothermal flow of incompressible, homogeneous and non-Newtonian fluids. % For the generalized Navier-Stokes problem with damping, we prove the existence of weak solutions by using regularization techniques, the theory of monotone operators and compactness arguments together with the local decomposition of the pressure and the Lipschitz-truncation method. The existence result proved here holds for any $q>\frac{2N}{N+2}$ and any $σ>1$, where $q$ is the exponent of the diffusion term and $σ$ is the exponent which characterizes the damping term. △ Less

Submitted 23 September, 2011; originally announced September 2011.

Comments: 24 pages, https://arxiv.boxedpaper.com/submit/0324386/pdf

MSC Class: 35D05; 35K55; 35Q30; 76D03; 76D05

The fundamental theorem of algebra: A most elementary proof

Authors: Oswaldo Rio Branco de Oliveira

Abstract: This paper shows an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima and the Binomial Formula, that avoids: any root extraction other than the one used to define the modulus function over the complex plane, trigonometry, differentiation, integration, series, arguments by induction and arguments using epsilon's and delta's. This paper shows an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima and the Binomial Formula, that avoids: any root extraction other than the one used to define the modulus function over the complex plane, trigonometry, differentiation, integration, series, arguments by induction and arguments using epsilon's and delta's. △ Less

Submitted 7 September, 2011; originally announced September 2011.

Comments: 5 pages

MSC Class: 12D05; 30A10

Journal ref: American Mathematical Monthly 119:9 (2012) 753-758

The Navier-Stokes problem modified by an absorption term

Authors: Hermenegildo Borges de Oliveira

Abstract: In this work we consider the Navier-Stokes problem modified by the absorption term $|\textbf{u}|^{σ-2}\textbf{u}$, where $σ>1$, which is introduced in the momentum equation. % For this new problem, we prove the existence of weak solutions for any dimension $N\geq 2$ and its uniqueness for N=2. % Then we prove that, for zero body forces, the weak solutions extinct in a finite time if $1<σ<2$, exp… ▽ More In this work we consider the Navier-Stokes problem modified by the absorption term $|\textbf{u}|^{σ-2}\textbf{u}$, where $σ>1$, which is introduced in the momentum equation. % For this new problem, we prove the existence of weak solutions for any dimension $N\geq 2$ and its uniqueness for N=2. % Then we prove that, for zero body forces, the weak solutions extinct in a finite time if $1<σ<2$, exponentially decay in time if $σ=2$ and decay with a power-time rate if $σ>2$. % We prove also that for a general non-zero body forces, the weak solutions exponentially decay in time for any $σ>1$. In the special case of a suitable forces field which vanishes at some instant, we prove that the weak solutions extinct at the same instant provided $1<σ<2$. △ Less

Submitted 31 March, 2009; originally announced March 2009.

Comments: 22 pages

MSC Class: 35Q30; 76D03; 35B40

Symmetric tensors and the geometry of subvarieties of $\Bbb P^N$

Authors: Fedor Bogomolov, Bruno De Oliveira

Abstract: This paper following a geometric approach proves new, and reproves old, vanishing and nonvanishing results on the space of twisted symmetric differentials, $H^0(X,S^mΩ^1_X\otimes \Cal O_X(k))$ with $k\le m$, on subvarieties $X\subset \Bbb P^N$. The case of $k=m$ is special and the nonvanishing results are related to the space of quadrics containing $X$ and lead to interesting geometrical objects… ▽ More This paper following a geometric approach proves new, and reproves old, vanishing and nonvanishing results on the space of twisted symmetric differentials, $H^0(X,S^mΩ^1_X\otimes \Cal O_X(k))$ with $k\le m$, on subvarieties $X\subset \Bbb P^N$. The case of $k=m$ is special and the nonvanishing results are related to the space of quadrics containing $X$ and lead to interesting geometrical objects associated to $X$, as for example the variety of all tangent trisecant lines of $X$. The same techniques give results on the symmetric differentials of subvarieties of abelian varieties. The paper ends with new results and examples about the jump along smooth families of projective varieties $X_t$ of the symmetric plurigenera, $Q_m(X)= \dim H^0(X,S^mΩ^1_X)$, or of the $α$-twisted symmetric plurigenera, $Q_{α,m}(X)= \dim H^0(X,S^m(Ω^1_X\otimes αK_X))$. △ Less

Submitted 18 September, 2006; originally announced September 2006.

MSC Class: 14F10; 14J10; 14N05; 32C38; 51N35

Convexity of coverings of projective varieties and vanishing theorems

Authors: F. Bogomolov, B. De Oliveira

Abstract: This article is concerned with the convexity properties of universal covers of projective varieties. We study the relation between the convexity properties of the universal cover of X and the properties of the pullback map sending vector bundles on X to vector bundles on its universal cover. Our approach motivates a weakened version of the Shafarevich conjecture. We prove this conjecture for pro… ▽ More This article is concerned with the convexity properties of universal covers of projective varieties. We study the relation between the convexity properties of the universal cover of X and the properties of the pullback map sending vector bundles on X to vector bundles on its universal cover. Our approach motivates a weakened version of the Shafarevich conjecture. We prove this conjecture for projective varieties X whose pullback map identifies a nontrivial extension of a negative vector bundle $V$ by the trivial line bundle with the trivial extension. We prove the following pivotal result: if a universal cover of a projective variety has no nonconstant holomorphic functions then the pullback map of vector bundles is almost an imbedding. Our methods also give a new proof of the vanishing of the first cohomology for negative vector bundles $V$ over a compact complex manifold $X$ whose rank is smaller than the dimension of X. △ Less

Submitted 4 May, 2004; originally announced May 2004.

MSC Class: 14F05; 32Q30; 32E05; 14E20

Deformations of large fundamental groups

Authors: B. de Oliveira, L. Katzarkov, M. Ramachandran

Abstract: A projective variety has a large fundamental group if its universal covering has no compact subvarieties. In this paper we investigate whether the property of a variety having a large fundamental groups is stable under Kähler deformations. A projective variety has a large fundamental group if its universal covering has no compact subvarieties. In this paper we investigate whether the property of a variety having a large fundamental groups is stable under Kähler deformations. △ Less

Submitted 26 October, 2001; originally announced October 2001.

MSC Class: 14C30;32E05

Complex cobordism and embeddability of CR-manifolds

Authors: Bruno De Oliveira

Abstract: This paper studies complex cobordisms between compact, three dimensional, strictly pseudoconvex Cauchy-Riemann manifolds. Suppose the complex cobordism is given by a complex 2-manifold X with one pseudoconvex and one pseudoconcave end. We answer the following questions. What is the relation between the embeddability of the pseudoconvex end and the embeddability of the pseudoconcave end of X? Do… ▽ More This paper studies complex cobordisms between compact, three dimensional, strictly pseudoconvex Cauchy-Riemann manifolds. Suppose the complex cobordism is given by a complex 2-manifold X with one pseudoconvex and one pseudoconcave end. We answer the following questions. What is the relation between the embeddability of the pseudoconvex end and the embeddability of the pseudoconcave end of X? Do all CR-functions on the pseudoconvex end of X extend to holomorphic functions on the interior of X? We prove that embeddability of a strictly pseudoconvex Cauchy-Riemann 3-manifold is not a complex-cobordism invariant. We show that a new phenomenon occurs: there are CR-functions on the pseudoconvex end that do not extend to holomorphic functions on X. We also show that the extendability of the CR-functions from the pseudoconvex end is necessary but not sufficient for embeddability to be preserved under complex cobordisms. △ Less

Submitted 19 October, 2001; originally announced October 2001.

MSC Class: 32V30; 32V25