Sectorial oscillation theory of linear differential equations

In this paper, the sectorial oscillation of the solutions of higher order homogeneous linear differential equations

f(k) + A_n-2(z)f(k-2) + ? + A₁(z)f^/ + A₀(z)f = 0$f^{\left(k\right)}\hspace{0.17em}+\hspace{0.17em}{A}_{n-2}\left(z\right)f^{\left(k-2\right)}\hspace{0.17em}+\hspace{0.17em}?\hspace{0.17em}+\hspace{0.17em}{A}_1\left(z\right)f^{/}\hspace{0.17em}+\hspace{0.17em}{A}_0\left(z\right)f\hspace{0.17em}=\hspace{0.17em}0$

with infinite order entire function coefficients is studied. Results are obtained to extend some results in [19] and [18].     

Exact finite-difference schemes for two-dimensional linear systems with constant coefficients

An exact finite-difference scheme for a system of two linear differential equations with constant coefficients, (d/dt)x(t)=Ax(t)$(\mathrm{d}/\mathrm{d}t)\mathbf{x}(t)=A\mathbf{x}(t)$, is proposed. The scheme is different from what was proposed by Mickens [Nonstandard Finite Difference Models of Differential Equations, World Scientific, New Jersey, 1994, p. 147], in which the derivatives of the two equations are formed differently. Our exact scheme is in the form of (1/φ(h))(_xk+1-_xk)=A[θ_xk+1+(1-θ)_xk]$(1/\phi (h))({\mathbf{x}}_{k+1}-{\mathbf{x}}_k)=A[\theta {\mathbf{x}}_{k+1}+(1-\theta ){\mathbf{x}}_k]$; both derivatives are in the same form of (_xk+1-_xk)/φ(h)$(x_{k+1}-x_k)/\phi (h)$.     

On spaces of modular forms spanned by eta-quotients

An eta-quotient of level N   is a modular form of the shape f(z)=_∏δ|Nη(δz)^_rδ$f(z)={\prod }_{\delta |N}\eta {(\delta z)}^{r_{\delta }}$. We study the problem of determining levels N   for which the graded ring of holomorphic modular forms for _Γ0(N)${\Gamma }_0(N)$ is generated by (holomorphic, respectively weakly holomorphic) eta-quotients of level N  . In addition, we prove that if f(z)$f(z)$ is a holomorphic modular form that is non-vanishing on the upper half plane and has integer Fourier coefficients at infinity, then f(z)$f(z)$ is an integer multiple of an eta-quotient. Finally, we use our results to determine the structure of the cuspidal subgroup of _J0(2^k)(Q)$J_0(2^k)(\mathbb{Q})$.     

Simple geometry facilitates iterative solution of a nonlinear equation via a special transformation to accelerate convergence to third order

Direct substitution _xk+1=g(_xk)$x_{k+1}=g(x_k)$ generally represents iterative techniques for locating a root z   of a nonlinear equation f(x)$f(x)$. At the solution, f(z)=0$f(z)=0$ and g(z)=z$g(z)=z$. Efforts continue worldwide both to improve old iterators and create new ones. This is a study of convergence acceleration by generating secondary solvers through the transformation _gm(x)=(g(x)-m(x)x)/(1-m(x))$g_m(x)=(g(x)-m(x)x)/(1-m(x))$ or, equivalently, through partial substitution _gmps(x)=x+G(x)(g-x)$g_{m\mathrm{ps}}(x)=x+G(x)(g-x)$, G(x)=1/(1-m(x))$G(x)=1/(1-m(x))$. As a matter of fact, _gm(x)≡_gmps(x)$g_m(x)\equiv g_{m\mathrm{ps}}(x)$ is the point of intersection of a linearised g   with the g=x$g=x$ line. Aitken's and Wegstein's accelerators are special cases of _gm$g_m$. Simple geometry suggests that m(x)=(g^′(x)+g^′(z))/2$m(x)=(g^{\prime }(x)+g^{\prime }(z))/2$ is a good approximation for the ideal slope of the linearised g  . Indeed, this renders a third-order _gm$g_m$. The pertinent asymptotic error constant has been determined. The theoretical background covers a critical review of several partial substitution variants of the well-known Newton's method, including third-order Halley's and Chebyshev's solvers. The new technique is illustrated using first-, second-, and third-order primaries. A flexible algorithm is added to facilitate applications to any solver. The transformed Newton's method is identical to Halley's. The use of m(x)=(g^′(x)+g^′(z))/2$m(x)=(g^{\prime }(x)+g^{\prime }(z))/2$ thus obviates the requirement for the second derivative of f(x)$f(x)$. Comparison and combination with Halley's and Chebyshev's solvers are provided. Numerical results are from the square root and cube root examples.     

Symmetrization for linear and nonlinear fractional parabolic equations of porous medium type

We establish symmetrization results for the solutions of the linear fractional diffusion equation _∂tu+(−Δ)^σ/2u=f${\partial }_{t}u+{(-\mathrm{\Delta })}^{\sigma /2}u=f$ and its elliptic counterpart hv+(−Δ)^σ/2v=f$hv+{(-\mathrm{\Delta })}^{\sigma /2}v=f$, h>0$h>0$, using the concept of comparison of concentrations. The results extend to the nonlinear version, _∂tu+(−Δ)^σ/2A(u)=f${\partial }_{t}u+{(-\mathrm{\Delta })}^{\sigma /2}A(u)=f$, but only when the nondecreasing function A:_R+→_R+$A:{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ is concave. In the elliptic case, complete symmetrization results are proved for B(v)+(−Δ)^σ/2v=f$B(v)+{(-\mathrm{\Delta })}^{\sigma /2}v=f$ when B(v)$B(v)$ is a convex nonnegative function for v>0$v>0$ with B(0)=0$B(0)=0$, and partial results hold when B is concave. Remarkable counterexamples are constructed for the parabolic equation when A is convex, resp. for the elliptic equation when B   is concave. Such counterexamples do not exist in the standard diffusion case σ=2$\sigma =2$.     

S-Noetherian properties on amalgamated algebras along an ideal

Let A and B   be commutative rings with identity, f:A→B$f:A\to B$ a ring homomorphism and J an ideal of B  . Then the subring A?^fJ:={(a,f(a)+j)|a∈A and j∈J}$A{?}^{f}J:=\{(a,f(a)+j)|a\in A\text{and}j\in J\}$ of A×B$A\times B$ is called the amalgamation of A with B along with J with respect to f. In this paper, we investigate a general concept of the Noetherian property, called the S  -Noetherian property which was introduced by Anderson and Dumitrescu, on the ring A?^fJ$A{?}^{f}J$ for a multiplicative subset S   of A?^fJ$A{?}^{f}J$. As particular cases of the amalgamation, we also devote to study the transfers of the S  -Noetherian property to the constructions D+(_X1,…,_Xn)E[_X1,…,_Xn]$D+(X_1,\dots ,X_n)E[X_1,\dots ,X_n]$ and D+(_X1,…,_Xn)E?_X1,…,_Xn?$D+(X_1,\dots ,X_n)E?X_1,\dots ,X_n?$ and Nagata?s idealization.     

Two-colorings with many monochromatic cliques in both colors

Color the edges of the n-vertex complete graph in red and blue, and suppose that red k-cliques are fewer than blue k-cliques. We show that the number of red k  -cliques is always less than _ckn^k$c_k{n}^k$, where _ck∈(0,1)$c_k\in (0,1)$ is the unique root of the equation z^k=(1−z)^k+kz(1−z)^k−1$z^k={(1-z)}^k+kz{(1-z)}^{k-1}$. On the other hand, we construct a coloring in which there are at least _ckn^k−O(n^k−1)$c_k{n}^k-O(n^{k-1})$ red k-cliques and at least the same number of blue k-cliques.     

A note on value distribution of difference polynomials of meromorphic functions

In this paper, we investigate the value distribution of the difference counterpart Δf(z)-afn(z)of f^′(z) -afn(z)$\Delta f(z)-af{(z)}^n\text{o}\text{f}\hspace{0.17em}{f}^{\prime }(z)\hspace{0.17em}-af{(z)}^n$ and obtain an almost direct difference analogue of result of Hayman.     

On some relative convexities

We study two types of relative convexities of convex functions f and g. We say that f is convex relative to g   in the sense of Palmer (2002, 2003), if f=h(g)$f=h(g)$, where h   is strictly increasing and convex, and denote it by f_?(1)g$f{?}_{(1)}g$. Similarly, if f is convex relative to g   in the sense studied in Rajba (2011), that is if the function f−g$f-g$ is convex then we denote it by f_?(2)g$f{?}_{(2)}g$. The relative convexity relation _?(2)${?}_{(2)}$ of a function f   with respect to the function g(x)=cx²$g(x)=c{x}^2$ means the strong convexity of f. We analyze the relationships between these two types of relative convexities. We characterize them in terms of right derivatives of functions f and g, as well as in terms of distributional derivatives, without any additional assumptions of twice differentiability. We also obtain some probabilistic characterizations. We give a generalization of strong convexity of functions and obtain some Jensen-type inequalities.     

Asymptotic expansions for elliptic-like regularizations of semilinear evolution equations

Consider in a real Hilbert space H the Cauchy problem (_P0$P_0$): u^′(t)+Au(t)+Bu(t)=f(t)$u^{\prime }(t)+Au(t)+Bu(t)=f(t)$, 0≤t≤T$0\le t\le T$; u(0)=_u0$u(0)=u_0$, where −A   is the infinitesimal generator of a _C0$C_0$-semigroup of contractions, B is a nonlinear monotone operator, and f is a given H-valued function. Inspired by the excellent book on singular perturbations by J.L. Lions, we associate with problem (_P0$P_0$) the following regularization (_Pε$P_{\epsilon }$): −εu^″(t)+u^′(t)+Au(t)+Bu(t)=f(t)$-\epsilon u^{″}(t)+u^{\prime }(t)+Au(t)+Bu(t)=f(t)$, 0≤t≤T$0\le t\le T$; u(0)=_u0$u(0)=u_0$, u^′(T)=_uT$u^{\prime }(T)=u_T$, where ε>0$\epsilon >0$ is a small parameter. We investigate existence, uniqueness and higher regularity for problem (_Pε$P_{\epsilon }$). Then we establish asymptotic expansions of order zero, and of order one, for the solution of (_Pε$P_{\epsilon }$). Problem (_Pε$P_{\epsilon }$) turns out to be regularly perturbed of order zero, and singularly perturbed of order one, with respect to the norm of C([0,T];H)$C([0,T];H)$. However, the boundary layer of order one is not visible through the norm of L²(0,T;H)$L^2(0,T;H)$.     

Int-decomposable algebras

Let D be a Dedekind domain with fraction field k. Let A be a D-algebra that, as a D-module, is free of finite rank. Let B be the extension of A to a k-algebra. The set of integer-valued polynomials over A   is defined to be Int(A)={f∈B[x]|f(A)⊆A}$\mathrm{Int}(A)=\{f\in B[x]|f(A)\subseteq A\}$. Restricting the coefficients to elements of k  , we obtain the commutative ring _Intk(A)={f∈k[x]|f(A)⊆A}${\mathrm{Int}}_k(A)=\{f\in k[x]|f(A)\subseteq A\}$; this makes Int(A)$\mathrm{Int}(A)$ a left _Intk(A)${\mathrm{Int}}_k(A)$-module. Previous researchers have noted instances when a D-module basis for A   is also an _Intk(A)${\mathrm{Int}}_k(A)$-basis for Int(A)$\mathrm{Int}(A)$. We classify all the D-algebras A   with this property. Along the way, we prove results regarding Int(A)$\mathrm{Int}(A)$, its localizations at primes of D, and finite residue rings of A.     

Projective modules over overrings of polynomial rings and a question of Quillen

Let (R,m,K)$(R,\mathfrak{m},K)$ be a regular local ring containing a field k   such that either char k=0$k=0$ or char k=p$k=p$ and tr-deg K/_Fp?1$K/{\mathbb{F}}_p?1$. Let _g1,…,_gt$g_1,\dots ,g_t$ be regular parameters of R   which are linearly independent modulo m²${\mathfrak{m}}^2$. Let A=_Rg1?gt[_Y1,…,_Ym,_f1(_l1)⁻¹,…,_fn(_ln)⁻¹]$A=R_{g_1?g_t}[Y_1,\dots ,Y_m,f_1{(l_1)}^{-1},\dots ,f_n{(l_n)}^{-1}]$, where _fi(T)∈k[T]$f_i(T)\in k[T]$ and _li=_ai1Y1+?+_aimYm$l_i=a_{i1}{Y}_1+?+a_{im}{Y}_m$ with (_ai1,…,_aim)∈k^m−(0)$(a_{i1},\dots ,a_{im})\in k^m-(0)$. Then every projective A-module of rank ?t   is free. Laurent polynomial case _fi(_li)=_Yi$f_i(l_i)=Y_i$ of this result is due to Popescu.