Revista Integración

Bajo condiciones en el signo de la curvatura de Ricci, encontramos cotas para el primer valor propio de Steklov en una bola n-dimensional dotada con una métrica rotacionalmente invariante

Under conditions on the sign of the Ricci curvature, we find bounds for the first Steklov eigenvalue, in a n-dimensional ball endowed with a rotationally invariant metric

Se estudia un problema de difusión no local con término de absorción y condiciones de frontera de Neumann. Se analiza la existencia y unicidad de las soluciones, y se da un principio de comparación para ellas. Se analiza la extinción de la solución para algunos términos de absorción

We study a nonlocal diffusion problem with absorption term and Neumann boundary conditions. We prove the existence and uniqueness of solutions, and give a comparison principle for them. The quenching phenomena of solutions is analyzed for some absorption term

The aim of this paper is to compute the Jacobson's radical of skew PBW extensions over domains. As a consequence of this result we obtain a direct relation between these extensions and the Jacobson's conjecture, which implies that skew PBW extensions over domains satisfy this conjecture

El propósito de este artículo es calcular el radical de Jacobson de las extensiones PBW torcidas sobre dominios. Como consecuencia de este resultado obtenemos una relación directa entre estas extensiones y la conjetura de Jacobson, lo cual nos permite mostrar que las extensiones PBW torcidas sobre dominios satisfacen esta conjetura

This year Leslie VALIANT becomes sixty five years old; we celebrate his fest with this work in which we analyze some of his major achievements. We focus our attention on those of his works for which a strong influence of Volker Strassen can be easily detected. Strassen's work has had a strong and lasting influence on Valiant. It does not means, as the title could suggest, that the manyfaced, relevant and complex work of Leslie Valiant can be understood as a corollary to Strassen

Este año Leslie VALIANT cumple 65 años y nosotros queremos celebrar este importante aniversario con este trabajo en el que se analiza su obra. Centramos nuestra atención en aquellos de sus trabajos en los que una clara influencia de Volker STRASSEN puede ser detectada. Es patente la influencia de Strassen en la obra de Valiant, pero esto no quiere decir que el trabajo de Valiant, complejo y multifacético, sea un simple corolario a la obra del primero

Dada una colección P de puntos en el plano, una descomposición convexa de P es un conjunto Γ de polígonos convexos con vértices en P que satisfacen lo siguiente: La unión de todos los elementos de es el cierre convexo de P, cada elemento de Γ es vacío (no contiene a ningún otro elemento de P en su interior) y para cualesquiera 2 elementos diferentes en Γ sus interiores son disjuntos (se intersecarán en a lo más una arista). Únicamente se sabe que existen descomposiciones convexas con a lo más elementos para toda colección de n puntos. En este trabajo diremos cómo obtener una descomposición convexa específica de P con a lo más elementos

Given a point set P on the plane, a convex decomposition of P is a set of convex polygons with vertices inP satisfying the following conditions: The union of all elements in is the convex hull ofP, every element in is empty (that is, they no contain any element of P in its interior), and any given 2 elements in its interiors are disjoint intersecting them in at most one edge. It is known that if P has n elements, then there exists a convex decomposition of P with at most elements. In this work we give a procedure to find a specific convex decomposition of P with at most elements

En este artículo desarrollamos una teoría general de convergencia de un método secante para resolver ecuaciones matriciales no lineales. Además, presentamos condiciones suficientes para que este método proporcione un algoritmo local y superlinealmente convergente

In this paper we develop a general theory of convergence of a secant method to solve nonlinear matrix equations. In addition, we give sufficient conditions in order to this method provide a local and superlinearly convergent algorithm

Recientemente, la especificación de un problema en ciencias de la computación -un paso intermedio entre el problema dado y su aplicación como un sistema de software que garantiza su solución- utiliza el álgebra universal y la teoría de coálgebras para su descripción. Esta etapa incluye componentes sintácticas y semánticas, que tienen como resultado un sistema lógico. En [3], se propone la lógica ecuacional multitipada para la especificación de problemas. Dualmente, en [9] se estudia una lógica de comportamiento abstracto, la cual modela procesos y comportamiento de sistemas coalgebraicos. En ambas lógicas los componentes sintáctico y semántico son conectados por medio de una relación de satisfacción, caracterizada por el siguiente principio: la verdad se preserva bajo transformaciones del lenguaje. En un marco general y moderno, hoy contamos con las instituciones en la especificación algebraica y coinstituciones en la especificación coalgebraica. El propósito del presente artículo es estudiar un caso particular de la lógica de comportamiento abstracto presentada en [9], en donde las coálgebras las restringimos a funtores polinomiales. Identificamos la respectiva coinstitución coalgebraica, detallando sus componentes y explícitamente presentaremos la relación de satisfacción como un resultado final

Recently, the specification of a problem in computer sciences -an intermediate step between the given problem and its implementation as a software system that guarantees its solution- uses universal algebra and coalgebra theories for its description. This stage includes a syntactic and a semantic component, having a logic system as result. In [3], the case of many-sorted equational logic is studied for the purpose of specification problems. Dually, in [9] an abstract behavioral logic, which models processes and coalgebraic systems behavior is studied. In both logics, the syntactic and semantic components are connected via a satisfaction relation, characterized by the following principle: the truth of formulas is invariant under language translations. In a general and modern framework, we use the institutions in algebraic specification and coinstitutions in coalgebraic specification. We research a particular case of behavioral abstract logic presented in [9], in which coalgebras are restricted to polinomial functors. We identify the respective algebraic coinstitution, detail all its components, and explicitly present the satisfaction relation as the final result

En este artículo introducimos una extensión de la distribución de probabilidad de Maxwell. Esta extensión se genera utilizando el mapa de transmutación de rango cuadrático, estudiado por Shaw y Buckley en [13], considerando como función base la función de distribución acumulada del modelo de Maxwell. Estudiamos propiedades probabilísticas, realizamos inferencia estadística y estudiamos una aplicación con datos reales

In this paper we introduce an extension of the Maxwell probability distribution. This extension is generated using the quadratic rank transmutation map studied by Shaw and Buckley in [13], considering as the basis function the cumulative distribution function of the Maxwell model. We study probabilistic properties, we perform statistical inference and study an application with real data