Related papers: A characterization of a class of border continuous…

We present two companion results: Phragm\'en-Lindel\"of type tight bounds on the minimal possible growth of subharmonic functions with recurrent zero set, and tight bounds on the maximal possible decay of the harmonic measure of the outer…

We study the dynamics of a family of non cohomologically hyperbolic automorphisms $f$ of $\mathbb{C}^3$. We construct a compactification $X$ of $\mathbb{C}^3$ where their extensions are algebraically stable. We finally construct canonical…

A Boolean network is a function $f:\{0,1\}^n\to\{0,1\}^n$ from which several dynamics can be derived, depending on the context. The most classical ones are the synchronous and asynchronous dynamics. Both are digraphs on $\{0,1\}^n$, but the…

The function f:X -> Y is called k-monotonically increasing if there is a partition X = X_1 U ... U X_k such that f|X_i : X_i -> Y is monotonically increasing for i=1,...,k. It is proved that a one-to-one function f:N -> N is k-monotonically…

We call a function $f$ in $C(X)$ to be hard-bounded if $f$ is bounded on every hard subset, a special kind of closed subset, of $X$. We call a subset $T$ of $X$ to be $S$-embedded if every hard-bounded continuous function of $T$ can be…

We consider AF-flows, i.e., one-parameter automorphism groups of a unital simple C*-algebra which leave invariant the dense union of an increasing sequence of finite-dimensional *-subalgebras, and derive two properties for these; an absence…

Let No be Conway's class of surreal numbers. I will make explicit the notion of a function f on No recursively defined over some family of functions. Under some "tameness" and uniformity condition, f must satisfy some interesting…

The aim of this paper is to introduce and investigate a new class of functions called weakly almost contra-$T^*$-continuity which is defined as a function from an operator topological space $(X, \tau, T)$ into an arbitrary topological space…

According to a celebrated result by L\"owner, a real-valued function $f$ is operator monotone if and only if its L\"owner matrix, which is the matrix of divided differences $L_f=(\frac{f(x_i)-f(x_j)}{x_i-x_j})_{i,j=1}^N$, is positive…

The existence of a smooth, nonnegative, compactly supported function with monotone (on the half-line) Fourier transform satisfying two-sided decay bounds is demonstrated.

These are classified by the direction of approximation (from above or below), the set family types (partition or covering) of simple functions, the coefficient signature (non-negative or signed), and cardinal number of terms of simple…

Given a tree map $f:T\to T$, we study the dynamics of subcontinua of $T$ under action of $f$. In particular, we prove that a subcontinuum of $T$ is either asymptotically periodic or asymptotically degenerate. As an application of this…

This paper is dedicated to the introduction in a circle of ideas and methods, which are connected with the notion of characteristic function of a non-selfadjoint operator. We start with the consideration of closed and open systems…

Let $\ID$ denote the open unit disk and $f:\,\ID\TO\BAR\IC$ be meromorphic and univalent in $\ID$ with the simple pole at $p\in (0,1)$ and satisfying the standard normalization $f(0)=f'(0)-1=0$. Also, let $f$ have the expansion…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

Let $(X,T)$ be a topological dynamical system with metric $d$. We define a new function $\overline{F}(x,y)=\limsup\limits_{n \to +\infty} \inf\limits_{\sigma \in S_n} \frac 1n \sum\limits_{k=1}^n d(T^k x,T^{\sigma(k)} y)$ by using…

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…

It is known that the function $f(e^x)/g(e^x)$ is positive definite for some functions $f,g$ implies the operator norm inequality related to $f,g$. We treat functions which have the following form: $f(t) = t^{(1-\sum_{i=1}^n…

In this note, we extend a simple criteria for uniform tightness in $C(0,1)$, the class of real continuous functions defined on $(0,1)$, given in Theorem 8.3 of Billingsley to the asymptotic tightness in $\ell^{+\infty}([a,b])$, the class of…

In this paper we propose and lay the foundations of a functorial framework for representing signals. By incorporating additional category-theoretic relative and generative perspective alongside the classic set-theoretic measure theory the…