A note on uniqueness problem for meromorphic mappings with 2N + 3 hyperplanes

In this paper,a uniqueness theorem for meromorphic mappings partially sharing 2N+3 hyperplanes is proved.For a meromorphic mapping f and a hyperplane H,set E(H,f) = {z|ν(f,H)(z) 0}.Let f and g be two linearly non-degenerate meromorphic mappings and {Hj}j2=N1+ 3be 2N + 3 hyperplanes in general position such that dim f-1(Hi) ∩ f-1(Hj) n-2 for i = j.Assume that E(Hj,f) E(Hj,g) for each j with 1 j 2N +3 and f = g on j2=N1+ 3f-1(Hj).If liminfr→+∞ 2j=N1+ 3N(1f,Hj)(r) j2=N1+ 3N(1g,Hj)(r) NN+1,then f ≡ g.     

Iterated conditional expectations

Consider the probability space ([0,1),B,λ), where B is the Borel σ-algebra on [0,1) and λ the Lebesgue measure. Let f=₁[0,1/2) and g=₁[1/2,1). Then for any ε>0 there exists a finite sequence of sub-σ-algebras Gj⊂B(j=1,…,N), such that putting f₀=f and fj=E(fj−1|Gj), j=1,…,N, we have ‖fN−g_‖∞<ε; here E(⋅|Gj) denotes the operator of conditional expectation given σ-algebra Gj. This is a particular case of a surprising result by Cherny and Grigoriev (2007) [1] in which f and g are arbitrary equidistributed bounded random variables on a nonatomic probability space. The proof given in Cherny and Grigoriev (2007) [1] is very complicated. The purpose of this note is to give a straightforward analytic proof of the above mentioned result, motivated by a simple geometric idea, and then show that the general result is implied by its special case.     

Singularity Spectrum of Generic ��-H?lder Regular Functions After Time Subordination

A question of Yves Meyer motivated the research concerning “time” subordinations of real functions. Denote by B₁^a{\mathcal {B}}_{1}^{\alpha} the metric space of functions with Lipschitz constant 1 defined on [0,1], equipped with the complete metric defined via the supremum norm. Given a function g ? B₁^ag\in {\mathcal {B}}_{1}^{\alpha} one obtains a time subordination of g simply by considering the composite function Z=g○f, where f∈ℳ:={f:f(0)=0, f(1)=1 and f is a continuous nondecreasing function on [0,1]}. The metric space E^a=M×B₁^a\mathcal {E}^{\alpha}=\mathcal {M}\times {\mathcal {B}}_{1}^{\alpha} equipped with the product supremum metric is a complete metric space. In this paper for all α∈[0,1) multifractal properties of g○f are investigated for a generic (typical) element (f,g)∈ℰ ^α . In particular we determine the generic H?lder singularity spectrum of g○f.     

Functional equations in a p-adic context

Recently, in the complex context, several results were obtained concerning functional equations of the form P(f)=Q(g) where P and Q are polynomials of only two or three terms whose coefficients are small functions: in certain cases the equation does not admit any pair of admissible solutions and in other cases it only admits pairs of solutions that are of a very particular type. Here we consider similar questions when the ground field is a p-adic complete algebraically closed field of characteristic 0 and we derive results that are often analogous. For instance, if fn+a₁fn−m+b₁=c(g−n+a₂gn−m+b₂), with ai, bj small functions with regard to f, g and a₂b₂ non-identically 0, then and f=hg with . However, contrary to the complex context, here results apply not only to meromorphic functions defined in the whole field but also to unbounded meromorphic functions defined inside an open disc. The main tool is the p-adic Nevanlinna theory.     

A singular measure on the Cantor group

Let Ω=N{−1,1} and {ωj} be independent random variables taking values in {−1,1} with equal probability. Endowed with the product topology and under the operation of pointwise product, Ω is a compact Abelian group, the so-called Cantor group. Let a,b,c be real numbers with 1+a+b+c>0, 1+a−b−c>0, 1−a+b−c>0 and 1−a−b+c>0. Finite products on Ω,

     

Greedy expansions in Hilbert spaces

We study the rate of convergence of expansions of elements in a Hilbert space H into series with regard to a given dictionary D. The primary goal of this paper is to study representations of an element f ∈ H by a series f ～ ∑ _j=1 ^∞ c _j (f)g _j (f), $g_j \left( f \right) \in \mathcal{D}$ . Such a representation involves two sequences: {g _j (f)} _j=1 ^∞ and {c _j (f) _j=1 ^∞ . In this paper the construction of {g _j (f)} _j=1 ^∞ is based on ideas used in greedy-type nonlinear approximation, hence the use of the term greedy expansion. An interesting open problem questions, “What is the best possible rate of convergence of greedy expansions for f ∈ A ₁(D)?” Previously it was believed that the rate of convergence was slower than $m^{ - \tfrac{1} {4}}$ . The qualitative result of this paper is that the best possible rate of convergence of greedy expansions for $f \in A_1 \left( \mathcal{D} \right)$ is faster than $m^{ - \tfrac{1} {4}}$ . In fact, we prove it is faster than $m^{ - \tfrac{2} {7}}$ .     

The numerical range of a tridiagonal operator

Let r be a real number and A a tridiagonal operator defined by Aej=ej−1+rjej+1, j=1,2,…, where {e₁,e₂,…} is the standard orthonormal basis for ?²(N). Such tridiagonal operators arise in Rogers-Ramanujan identities. In this paper, we study the numerical ranges of these tridiagonal operators and finite-dimensional tridiagonal matrices. In particular, when r=−1, the numerical range of the finite-dimensional tridiagonal matrix is the convex hull of two explicit ellipses. Applying the result, we obtain that the numerical range of the tridiagonal operator is the square

     

Normal families of meromorphic functions concerning shared values

In this paper we study the problem of normal families of meromorphic functions concerning shared values and prove that a family F of meromorphic functions in a domain D is normal if for each pair of functions f and g in F, f^′−afn and g^′−agn share a value b in D where n is a positive integer and a,b are two finite constants such that n?4 and a≠0. This result is not true when n?3.     

Existence of three positive pseudo-symmetric solutions for a one dimensional p-Laplacian

We apply the Five Functionals Fixed Point Theorem to verify the existence of at least three positive pseudo-symmetric solutions for the three point boundary value problem, (g(u′))′+a(t)f(u)=0, u(0)=0, and u(ν)=u(1), where g(v)=|v|^p−2v, with p>1 and ν∈(0,1).     

Small Divisor Problem in Dynamical Systems and Analytic Solutions of a q-Difference Equation with a Singularity at the Origin

In this paper, we consider a q-difference equation $$\sum_{j=0}^{k}\sum_{t=1}^{\infty}C_{t,j}(z)(y(q^jz))^{t}=G(z)$$ in the complex field ${\mathbb C,}$ where C _t,j (z) and G(z) have a h ₁ order pole and a h ₂ order pole at z = 0, respectively. Under the case 0 < |q| < 1 or |q| = 1, we give the existence of local analytic solutions for the above equation by using small divisor theory in dynamical systems.     

Meromorphic functions sharing small functions

Let f and g be meromorphic functions sharing four small functions a₁, a₂, a₃, a₄ a_1, a_2, a_3, a_4 ignoring multiplicities. If there is a small function a₅a_5 distinct from a_j, j=1, 2, 3, 4, a_j, j=1, 2, 3, 4, such that [`(N)](r,f=a<sub>5</sub>=g) 1 S(r,f) \overline {N}(r,f=a_5=g)\ne S(r,f) , then f=g f=g , where [`(N)](r,f=a₅=g) \overline{N}(r,f=a_5=g) is the counting function of those common zeros of f(z)-a₅(z) f(z)-a_5(z) and g(z)-a₅(z) g(z)-a_5(z) counted only once ignoring multiplicities.     

Some necessary and sufficient conditions for existence of positive solutions for third order singular super-linear multi-point boundary value problems

We mainly study the existence of positive solutions for the following third order singular super-linear multi-point boundary value problem $$ \left \{ \begin{array}{l} x^{(3)}(t)+ f(t, x(t), x'(t))=0,\quad0 where \(0\leq\alpha_{i}\leq\sum_{i=1}^{m_{1}}\alpha_{i}<1\) , i=1,2,…,m ₁, \(0<\xi_{1}< \xi_{2}< \cdots<\xi_{m_{1}}<1\) , \(0\leq\beta_{j}\leq\sum_{i=1}^{m_{2}}\beta_{i}<1\) , j=1,2,…,m ₂, \(0<\eta_{1}< \eta_{2}< \cdots<\eta_{m_{2}}<1\) . And we obtain some necessary and sufficient conditions for the existence of C ¹[0,1] and C ²[0,1] positive solutions by means of the fixed point theorems on a special cone. Our nonlinearity f(t,x,y) may be singular at t=0 and t=1.     

Limiting Spectral Distribution of Random k-Circulants

Consider random k-circulants A _k,n with n????,k=k(n) and whose input sequence {a _l } _l??0 is independent with mean zero and variance one and $\sup_{n}n^{-1}\sum_{l=1}^{n}\mathbb{E}|a_{l}|^{2+\delta}<\infty$ for some ??>0. Under suitable restrictions on the sequence {k(n)} _n??1, we show that the limiting spectral distribution (LSD) of the empirical distribution of suitably scaled eigenvalues exists, and we identify the limits. In particular, we prove the following: Suppose g??1 is fixed and p ₁ is the smallest prime divisor of g. Suppose $P_{g}=\prod_{j=1}^{g}E_{j}$ where {E _j }_1??j??g are i.i.d. exponential random variables with mean one. (i) If k ^g =?1+sn where s=1 if g=1 and $s=o(n^{p_{1}-1})$ if g>1, then the empirical spectral distribution of n ^?1/2 A _k,n converges weakly in probability to $U_{1}P_{g}^{1/(2g)}$ where U ₁ is uniformly distributed over the (2g)th roots of unity, independent of P _g . (ii) If g??2 and k ^g =1+sn with $s=o(n^{p_{1}-1})$ , then the empirical spectral distribution of n ^?1/2 A _k,n converges weakly in probability to $U_{2}P_{g}^{1/(2g)}$ where U ₂ is uniformly distributed over the unit circle in ?², independent of P _g . On the other hand, if k??2, k=n ^o(1) with gcd?(n,k)=1, and the input is i.i.d. standard normal variables, then $F_{n^{-1/2}A_{k,n}}$ converges weakly in probability to the uniform distribution over the circle with center at (0,0) and radius $r=\exp(\mathbb{E}[\log\sqrt{E}_{1}])$ .     

The generating function of a family of the sequences in terms of the continuant

Let a₀, a₁, … , a_r−1 be positive numbers and define a sequence {q_m}, with initial conditions q₀ = 0 and q₁ = 1, and for all m ? 2, q_m = a_tq_m−1 + q_m−2 where m ≡ t(mod r). For r = 2, the author called the sequence {q_m} as the generalized Fibonacci sequences and studied it in [1]. But, it remains open to find a closed form of the generating function for general {q_m}. In this paper, we solve this open problem, that is, we find a closed form of the generating function for {q_m}in terms of the continuant.     

On convex optimization without convex representation

We consider the convex optimization problem P:min_x {f(x) : x ? K}{{\rm {\bf P}}:{\rm min}_{\rm {\bf x}} \{f({\rm {\bf x}})\,:\,{\rm {\bf x}}\in{\rm {\bf K}}\}} where f is convex continuously differentiable, and K ì \mathbb Rⁿ{{\rm {\bf K}}\subset{\mathbb R}^n} is a compact convex set with representation {x ? \mathbb Rⁿ : g_j(x) 3 0, j = 1,?,m}{\{{\rm {\bf x}}\in{\mathbb R}^n\,:\,g_j({\rm {\bf x}})\geq0, j = 1,\ldots,m\}} for some continuously differentiable functions (g _j ). We discuss the case where the g _j ’s are not all concave (in contrast with convex programming where they all are). In particular, even if the g _j are not concave, we consider the log-barrier function f_m{\phi_\mu} with parameter μ, associated with P, usually defined for concave functions (g _j ). We then show that any limit point of any sequence (x_m) ì K{({\rm {\bf x}}_\mu)\subset{\rm {\bf K}}} of stationary points of f_m, m? 0{\phi_\mu, \mu \to 0} , is a Karush–Kuhn–Tucker point of problem P and a global minimizer of f on K.     

Simultaneous approximation by greedy algorithms

We study nonlinear m-term approximation with regard to a redundant dictionary $\mathcal {D}$ in a Hilbert space H. It is known that the Pure Greedy Algorithm (or, more generally, the Weak Greedy Algorithm) provides for each f∈H and any dictionary $\mathcal {D}$ an expansion into a series $$f=\sum_{j=1}^{\infty}c_{j}(f)\varphi_{j}(f),\quad\varphi_{j}(f)\in \mathcal {D},\ j=1,2,\ldots,$$ with the Parseval property: ‖f‖²=∑_j|c _j(f)|². Following the paper of A. Lutoborski and the second author we study analogs of the above expansions for a given finite number of functions f ¹,.?.?.,f ^N with a requirement that the dictionary elements φ_j of these expansions are the same for all f ⁱ, i=1,.?.?.,N. We study convergence and rate of convergence of such expansions which we call simultaneous expansions.     

Padé tables of entire functions of very slow and smooth growth,II

Letf(z):=Σ _j=0 ^∞ a _j z ^j , where a_j ≠ 0,j large enough, and for someq ε C such that ¦q¦ $$q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q,j \to \infty .$$ Define for m,n = 0,1,2,..., the Toeplitz determinant $$D(m/n): = \det (a_{m - j + k} )_{j,k = 1}^n .$$ Given ? > 0, we show that form large enough, and for everyn = 1,2,3,..., $$(1 - \varepsilon )^n \leqslant \left| {{{D(m/n)} \mathord{\left/ {\vphantom {{D(m/n)} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right. \kern-\nulldelimiterspace} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right| \leqslant (1 + \varepsilon )^n .$$ We apply this to show that any sequence of Padé approximants {[m _k /n _k ]} ₁ ^∞ tof, withm _k →∞ ask→ ∞, converges locally uniformly in C. In particular, the diagonal sequence {[n/n]} ₁ ^∞ converges throughout C. Further, under additional assumptions, we give sharper asymptotics forD(m/n).     

Geometric formulas for Smale invariants of codimension two immersions

We give three formulas expressing the Smale invariant of an immersion f of a (4k−1)-sphere into (4k+1)-space. The terms of the formulas are geometric characteristics of any generic smooth map g of any oriented 4k-dimensional manifold, where g restricted to the boundary is an immersion regularly homotopic to f in (6k−1)-space.The formulas imply that if f and g are two non-regularly homotopic immersions of a (4k−1)-sphere into (4k+1)-space then they are also non-regularly homotopic as immersions into (6k−1)-space. Moreover, any generic homotopy in (6k−1)-space connecting f to g must have at least a_k(2k−1)! cusps, where a_k=2 if k is odd and a_k=1 if k is even.     

The structure of the solutions of polynomial Dirac equations in real Clifford analysis

In this paper, the solutionsf of polynomial Dirac equations (D ⁿ + Σ _j=0 ^n?1 b _j D ^j )f = 0 are studied, whereb _j ∈R,D ⁰=I is the identity operator,D is the Dirac operator inR ^m+1,f isA-valuedC _n function defined on a domain Ω?R ^m+1. The results reveal that they are closely connected with monogenic function (i.e., the kernel of operatorD) and with the solutions of the ordinary differential equation $(\frac{{d^n }}{{dx_0^n }} + \sum\nolimits_{j = 0}^{n - 1} { b_j \frac{{d^j }}{{dx_0^j }}} ) g = 0, \frac{{d^0 }}{{dx_0^0 }} = I$ , whereg is a real scalar function ofx ₀. Also, the results in the simpler casesD+λ andD _k are given out. As an application, the solutions of inhomogeneous equationsp(D)f=g on Ω∈R ^m+1 are discussed, whereg is aA-valued continuous function defined on Ω.     

Fast Growing Solutions of Linear Differential Equations in the Unit Disc

For $n \in \mathbb{N}$ , the n-order of an analytic function f in the unit disc D is defined by $$\sigma _{{{M,n}}} (f) = {\mathop {\lim \sup }\limits_{r \to 1^{ - } } }\frac{{\log ^{ + }_{{n + 1}} M(r,f)}} {{ - \log (1 - r)}},$$ where log⁺ x  =  max{log x, 0}, log ⁺ ₁ x  =  log ⁺ x, log ⁺ _n+1 x  =  log ⁺ log ⁺ _n x, and M(r, f) is the maximum modulus of f on the circle of radius r centered at the origin. It is shown, for example, that the solutions f of the complex linear differential equation $$f^{{(k)}} + a_{{k - 1}} (z)f^{{(k - 1)}} + \cdots + a_{1} (z)f^{\prime} + a_{0} (z)f = 0,\quad \quad \quad (\dag)$$ where the coefficients are analytic in D, satisfy σ _M,n+1(f)  ≤  α if and only if σ _M,n (a _j )  ≤  α for all j  =  0, ..., k ? 1. Moreover, if q ∈{0, ..., k ? 1} is the largest index for which $\sigma _{M,n} ( a_{q}) = {\mathop {\max }\limits_{0 \leq j \leq k - 1} }{\left\{ {\sigma _{{M,n}} {\left( {a_{j} } \right)}} \right\}}$ , then there are at least k ? q linearly independent solutions f of ( $\dag$ ) such that σ _M,n+1(f) = σ _M,n (a _q ). Some refinements of these results in terms of the n-type of an analytic function in D are also given.