A family of orthonormal polynomials on the unit ball $B^d$ of $\RR^d$ with respect to the inner product $$
< f,g >
= \int_{B^d}Δ[(1-\|x\|^2) f(x)] Δ[(1-\|x\|) g(x)] dx, $$ where $Δ$ is the Laplace operator, is constructed explicitly.
This work is a continuation of the recent study by the authors on approximation theory over the sphere and the ball. The main results define new Sobolev spaces on these domains and study polynomial approximations for functions in these spaces, including simultaneous approximation by polynomials and relation between best approximation to a function and to its derivatives.
For every system $\{ p_n(z) \}_{n=0}^\infty$ of OPRL or OPUC, we construct Sobolev orthogonal polynomials $y_n(z)$, with explicit integral representations involving $p_n$. Two concrete families of Sobolev orthogonal polynomials (depending on an arbitrary number of complex parameters) which are generalized eigenvalues of a difference operator (in $n$) and generalized eigenvalues of a differential operator (in $n$) are given. Applications of a general connection between Sobolev orthogonal polynomials and orthogonal systems of functions in the direct sum of scalar $L^2_μ$ spaces are discussed.
We analyse a family of mutually orthogonal polynomials on the unit ball with respect to an inner product which involves the outward normal derivatives on the sphere. Using their representation in terms of spherical harmonics, algebraic and analytic properties will be deduced. First, we deduce explicit connection formulas relating classical multivariate ball polynomials and our family of Sobolev orthogonal polynomials. Then explicit representations for the norms and the kernels will be obtained. Finally, the asymptotic behaviour of the corresponding Christoffel functions is studied.
An explicit family of polynomials on the unit ball $B^d$ of $\RR^d$ is constructed, so that it is an orthonormal family with respect to the inner product $$ < f,g > = ρ\int_{B^d}\nabla f(x)\cdot \nabla g(x) dx + \CL (fg), $$ where $ρ>0$, $\nabla$ is the gradient, and $\CL(fg)$ is either the inner product on the sphere $S^{d-1}$ or $f(0)g(0)$.
We develop a theory of Sobolev orthogonal polynomials on the Sierpiński gasket ($SG$). These orthogonal polynomials arise through the Gram-Schmidt orthogonalisation process applied on the set of monomials on $SG$ using several notions of a Sobolev inner products. After establishing some recurrence relations for these orthogonal polynomials, we give estimates for their $L^2$, $L^\infty$ and Sobolev norms, and study their asymptotic behaviour. Finally, we study the properties of zero sets of polynomials and develop fast computational tools to explore applications to quadrature and interpolation.
In the paper we study the multipliers of Fourier series in polynomials orthogonal in continuous-discrete Sobolev's spaces. Multiplier Theorem for Fourier-Sobolev series is obtained. This result is based on the representation of the Fejér kernel, on the construction of the "humpbacked majorant" and weighted estimates of maximal functions.
For the weight function $W_μ(x) = (1-|x|^2)^μ$, $μ> -1$, $λ> 0$ and $b_μ$ a normalizing constant, a family of mutually orthogonal polynomials on the unit ball with respect to the inner product $$ \la f,g \ra = {b_μ[\int_{\BB^d} f(x) g(x) W_μ(x) dx + λ\int_{\BB^d} \nabla f(x) \cdot \nabla g(x) W_μ(x) dx]} $$ are constructed in terms of spherical harmonics and a sequence of Sobolev orthog onal polynomials of one variable. The latter ones, hence, the orthogonal polynomials with respect to $\la \cdot,\cdot\ra$, can be generated through a recursive formula.
The aim of this paper is to study differential properties of orthogonal polynomials with respect to a discrete Laguerre-Sobolev bilinear form with mass point at zero. In particular we construct the orthogonal polynomials using certain Casorati determinants. Using this construction, we prove that they are eigenfunctions of a differential operator (which will be explicitly constructed). Moreover, the order of this differential operator is explicitly computed in terms of the matrix which defines the discrete Laguerre-Sobolev bilinear form.
We investigate the asymptotic properties of orthogonal polynomials for a class of inner products including the discrete Sobolev inner products $\langle h,g \rangle = \int hg\, dμ+ \sum_{j=1}^m \sum_{i=0}^{N_j} M_{j,i} h^{(i)}(c_j) g^{(i)}(c_j)$, where $μ$ is a certain type of complex measure on the real line, and $c_j$ are complex numbers in the complement of $\supp(μ)$. The Sobolev orthogonal polynomials are compared with the orthogonal polynomials corresponding to the measure $μ$.
The aim of this paper is to study differential properties of orthogonal polynomials with respect to a discrete Jacobi-Sobolev bilinear form with mass point at $-1$ and/or $+1$. In particular, we construct the orthogonal polynomials using certain Casorati determinants. Using this construction, we prove that when the Jacobi parameters $α$ and $β$ are nonnegative integers the Jacobi-Sobolev orthogonal polynomials are eigenfunctions of a differential operator of finite order (which will be explicitly constructed). Moreover, the order of this differential operator is explicitly computed in terms of…
We present a new family $\left\{ S_{n}(x;q)\right\} _{n\geq 0}$ of monic polynomials in $x$, orthogonal with respect to a Sobolev-type inner product related to the $q$-Hermite I orthogonal polynomials, involving a first-order $q$-derivative on a mass-point $α\in \mathbb{R}$ located out of the corresponding orthogonality interval $[-1,1]$, for some fixed real number $q \in (0, 1)$. We present connection formulas, and the annihilation operator for this non-standard orthogonal polynomial family.
Sobolev orthogonal polynomials have been studied extensively in the past 20 years. The research in this field has sprawled into several directions and generates a plethora of publications. This paper contains a survey of the main developments up to now. The goal is to identify main ideas and developments in the field, which hopefully will lend a structure to the mountainous publications and help future research.
We study approximation properties of weighted $\mathrm{L}^2$-orthogonal projectors onto spaces of polynomials of bounded degree in the Euclidean unit ball, where the weight is of the reflection-invariant form $(1-\lVert x \rVert^2)^α\prod_{i=1}^d \lvert x_i \rvert^{γ_i}$, $α, γ_1, \dots, γ_d > -1$. Said properties are measured in Dunkl-Sobolev-type norms in which the same weighted $\mathrm{L}^2$ norm is used to control all the involved differential-difference Dunkl operators, such as those appearing in the Sturm-Liouville characterization of similarly weighted $\mathrm{L}^2$-orthogonal polynom…
We study approximation properties of weighted $L^2$-orthogonal projectors onto spaces of polynomials of bounded degree in the Euclidean unit ball, where the weight is of the generalized Gegenbauer form $x \mapsto (1-\|x\|^2)^α$, $α> -1$. Said properties are measured in Sobolev-type norms in which the same weighted $L^2$ norm is used to control all the involved weak derivatives. The method of proof does not rely on any particular basis of orthogonal polynomials, which allows for a short, streamlined and dimension-independent exposition.
In this contribution we deal with a varying discrete Sobolev inner product involving the Jacobi weight. Our aim is to study the asymptotic properties of the corresponding orthogonal polynomials and the behavior of their zeros. We are interested in Mehler-Heine type formulae because they describe the essential differences from the point of view of the asymptotic behavior between these Sobolev orthogonal polynomials and the Jacobi ones. Moreover, this asymptotic behavior provides an approximation of the zeros of the Sobolev polynomials in terms of the zeros of other well-known special functions.…
The q-Hermite I-Sobolev type polynomials of higher order are consider for their study. Their hypergeometric representation is provided together with further useful properties such as several structure relations which give rise to a three-term recurrence relation of their elements. Two different q-difference equations satisfied by the q-Hermite I-Sobolev type polynomials of higher order are also established.
In this paper we study the following family of hypergeometric polynomials: $y_n(x) = \frac{ (-1)^ρ}{ n! } x^n {}_2 F_0(-n,ρ;-;-\frac{1}{x})$, depending on a parameter $ρ\in\mathbb{N}$. Differential equations of orders $ρ+1$ and $2$ for these polynomials are given. A recurrence relation for $y_n$ is derived as well. Polynomials $y_n$ are Sobolev orthogonal polynomials on the unit circle with an explicit matrix measure.
In this paper we present a survey about analytic properties of polynomials orthogonal with respect to a weighted Sobolev inner product such that the vector of measures has an unbounded support. In particular, we are focused in the study of the asymptotic behaviour of such polynomials as well as in the distribution of their zeros. Some open problems as well as some new directions for a future research are formulated.
In this paper we propose a way to construct classical type Sobolev orthogonal polynomials. We consider two families of hypergeometric polynomials: ${}_2 F_2(-n,1;q,r;x)$ and ${}_3 F_2(-n,n-1+a+b,1;a,c;x)$ ($a,b,c,q,r>0$, $n=0,1,...$), which generalize Laguerre and Jacobi polynomials, respectively. These polynomials satisfy higher-order differential equations of the following form: $L y + λ_n D y = 0$, where $L,D$ are linear differential operators with polynomial coefficients not depending on $n$. For positive integer values of the parameters $r,c$ these polynomials are Sobolev orthogonal polyn…
We prove fractional Hardy--Sobolev--Maz'ya inequality for balls and a half-space, partially answering the open problem posed by Frank and Seiringer [arXiv:0906.1561v1 [math.FA], 2009] We note that for half-spaces this inequality has been recently obtained by Sloane [arXiv:1004.4828v1 [math.FA], 2010].
Let the Sobolev-type inner product <f,g> = \int fg d mu_0+ int f' g' d mu_1 with mu_0 = w + M delta_c, mu_1= N delta_c where w is the Jacobi weight, c is either 1 or -1 and M, N >= 0. We obtain estimates and asymptotic properties on [-1,1] for the polynomials orthonormal with respect to <.,.> and their kernels. We also compare these polynomials with Jacobi orthonormal polynomials.
The Jacobi polynomials on the simplex are orthogonal polynomials with respect to the weight function $W_\bg(x) = x_1^{\g_1} ... x_d^{\g_d} (1- |x|)^{\g_{d+1}}$ when all $\g_i > -1$ and they are eigenfunctions of a second order partial differential operator $L_\bg$. The singular cases that some, or all, $\g_1,...,\g_{d+1}$ are -1 are studied in this paper. Firstly a complete basis of polynomials that are eigenfunctions of $L_\bg$ in each singular case is found. Secondly, these polynomials are shown to be orthogonal with respect to an inner product which is explicitly determined. This inner prod…
In this contribution we deal with sequences of polynomials orthogonal with respect to a Sobolev type inner product. A banded symmetric operator is associated with such a sequence of polynomials according to the higher order difference equation they satisfy. Taking into account the Darboux transformation of the corresponding matrix we deduce the connection with a sequence of orthogonal polynomials associated with a Christoffel perturbation of the measure involved in the standard part of the Sobolev inner product. A connection with matrix orthogonal polynomials is stated. The Laguerre-Sobolev ty…
In this paper we deal with polynomials orthogonal with respect to an inner product involving derivatives, that is, a Sobolev inner product. Indeed, we consider Sobolev type polynomials which are orthogonal with respect to $$(f,g)=\int fg dμ+\sum_{i=0}^r M_i f^{(i)}(0) g^{(i)}(0), \quad M_i \ge 0,$$ where $μ$ is a certain probability measure with unbounded support. For these polynomials, we obtain the relative asymptotics with respect to orthogonal polynomials related to $μ$, Mehler--Heine type asymptotics and their consequences about the asymptotic behaviour of the zeros. To establish these re…
We consider the discrete Sobolev inner product $$(f,g)_S=\int f(x)g(x)dμ+Mf^{(j)}(c)g^{(j)}(c), \quad j\in \mathbb{N}\cup\{0\}, \quad c\in\mathbb{R}, \quad M>0, $$ where $μ$ is a classical continuous measure with support on the real line (Jacobi, Laguerre or Hermite). The orthonormal polynomials with respect to this Sobolev inner product are eigenfunctions of a differential operator and obtaining the asymptotic behavior of the corresponding eigenvalues is the principal goal of this paper.
Fourier transform of multivariate orthogonal polynomials on the unit ball are obtained. By using Parseval's identity, a new family of multivariate orthogonal functions are introduced. The results are expressed in terms of the continuous Hahn polynomials.
We say that the polynomial sequence $(Q^{(λ)}_n)$ is a semiclassical Sobolev polynomial sequence when it is orthogonal with respect to the inner product $$ <p, r>_S=<{\bf u} ,{p\, r}> +λ<{\bf u}, {{\mathscr D}p \,{\mathscr D}r}>, $$ where ${\bf u}$ is a semiclassical linear functional, ${\mathscr D}$ is the differential, the difference or the $q$--difference operator, and $λ$ is a positive constant. In this paper we get algebraic and differential/difference properties for such polynomials as well as algebraic relations between them and the polynomial sequence orthogonal with respect to the sem…
In this paper, we investigate optimal linear approximations ($n$-approximation numbers ) of the embeddings from the Sobolev spaces $H^r\ (r>0)$ for various equivalent norms and the Gevrey type spaces $G^{α,β}\ (α,β>0)$ on the sphere $\Bbb S^d$ and on the ball $\Bbb B^d$, where the approximation error is measured in the $L_2$-norm. We obtain preasymptotics, asymptotics, and strong equivalences of the above approximation numbers as a function in $n$ and the dimension $d$. We emphasis that all equivalence constants in the above preasymptotics and asymptotics are independent of the dimension $d$ a…
In this paper we obtain some practical criteria to bound the multiplication operator in Sobolev spaces with respect to measures in curves. As a consequence of these results, we characterize the weighted Sobolev spaces with bounded multiplication operator, for a large class of weights. To have bounded multiplication operator has important consequences in Approximation Theory: it implies the uniform bound of the zeros of the corresponding Sobolev orthogonal polynomials, and this fact allows to obtain the asymptotic behavior of Sobolev orthogonal polynomials. We also obtain some non-trivial resul…
In this contribution we deal with sequences of monic polynomials orthogonal with respect to the Freud Sobolev-type inner product \begin{equation*} \left\langle p,q\right\rangle _{s}=\int_{\mathbb{R}}p(x)q(x)e^{-x^{4}}dx+M_{0}p(0)q(0)+M_{1}p^{\prime }(0)q^{\prime }(0), \end{equation*}% where $p,q$ are polynomials, $M_{0}$ and $M_{1}$ are nonnegative real numbers. Connection formulas between these polynomials and Freud polynomials are deduced and, as a consequence, a five term recurrence relation for such polynomials is obtained. The location of their zeros as well as their asymptotic behavior i…
The purpose of this work is to analyse a family of mutually orthogonal polynomials on the unit ball with respect to an inner product which includes an additional term on the sphere. First, we will get connection formulas relating classical multivariate orthogonal polynomials on the ball with our family of orthogonal polynomials. Then, using the representation of these polynomials in terms of spherical harmonics, algebraic and differential properties will be deduced.
In this paper we deal with a family of non--standard polynomials orthogonal with respect to an inner product involving differences. This type of inner product is the so--called $Δ$--Sobolev inner product. Concretely, we consider the case in which both measures appearing in the inner product correspond to the Pascal distribution (the orthogonal polynomials associated to this distribution are known as Meixner polynomials). The aim of this work is to obtain a generating function for the $Δ$--Meixner--Sobolev orthogonal polynomials and, by using a limit process, recover a generating function for L…
Orthogonal polynomials on the product domain $[a_1,b_1] \times [a_2,b_2]$ with respect to the inner product $$ \langle f,g \rangle_S = \int_{a_1}^{b_1} \int_{a_2}^{b_2} \nabla f(x,y)\cdot \nabla g(x,y)\, w_1(x)w_2(y) \,dx\, dy + λf(c_1,c_2)g(c_1,c_2) $$ are constructed, where $w_i$ is a weight function on $[a_i,b_i]$ for $i = 1, 2$, $λ> 0$, and $(c_1, c_2)$ is a fixed point. The main result shows how an orthogonal basis for such an inner product can be constructed for certain weight functions, in particular, for product Laguerre and product Gegenbauer weight functions, which serve as primary e…
We investigate the uniform asymptotic of some Sobolev orthogonal polynomials. Three term recurrence relation is given, moreover we give a recurrence relation between the so-called Sobolev orthogonal polynomials and Freud orthogonal polynomials.
In this paper, the authors characterize Sobolev spaces $W^{α,p}({\mathbb R}^n)$ with the smoothness order $α\in(0,2]$ and $p\in(\max\{1, \frac{2n}{2α+n}\},\infty)$, via the Lusin area function and the Littlewood-Paley $g_λ^\ast$-function in terms of centered ball averages. The authors also show that the condition $p\in(\max\{1, \frac{2n}{2α+n}\},\infty)$ is nearly sharp in the sense that these characterizations are no longer true when $p\in (1,\max\{1, \frac{2n}{2α+n}\})$. These characterizations provide a new possible way to introduce fractional Sobolev spaces with smoothness order in $(1,2]$…
We consider a general discrete Sobolev inner product involving the Hahn difference operator, so this includes the well--known difference operators $\mathscr{D}_{q}$ and $Δ$ and, as a limit case, the derivative operator. The objective is twofold. On the one hand, we construct the ladder operators for the corresponding nonstandard orthogonal polynomials and we obtain the second--order difference equation satisfied by these polynomials. On the other hand, we generalise some related results appeared in the literature as we are working in a more general framework. Moreover, we will show that all th…
In this article, the authors establish a new characterization of the Musielak--Orlicz--Sobolev space on $\mathbb{R}^n$, which includes the classical Orlicz--Sobolev space, the weighted Sobolev space and the variable exponent Sobolev space as special cases, in terms of sharp ball averaging functions. Even in a special case, namely, the variable exponent Sobolev space, the obtained result in this article improves the corresponding result obtained by P. Hästö and A. M. Ribeiro [Commun. Contemp. Math. 19 (2017), 1650022, 13 pp] via weakening the assumption $f\in L^1(\mathbb R^n)$ into $f\in L_{\ma…
This contribution deals with the sequence $\{\mathbb{U}_{n}^{(a)}(x;q,j)\}_{n\geq 0}$ of monic polynomials, orthogonal with respect to a Sobolev-type inner product related to the Al-Salam--Carlitz I orthogonal polynomials, and involving an arbitrary number of $q$-derivatives on the two boundaries of the corresponding orthogonality interval. We provide several versions of the corresponding connection formulas, ladder operators, and several versions of the second order $q$-difference equations satisfied by polynomials in this sequence. As a novel contribution to the literature, we provide certai…
Orthogonal polynomials and expansions are studied for the weight function $h_κ^2(x) \|x\|^{2ν} (1-\|x\|^2)^{μ-1/2}$ on the unit ball of $\mathbb{R}^d$, where $h_κ$ is a reflection invariant function, and for related weight function on the simplex of $\mathbb{R}^d$. A concise formula for the reproducing kernels of orthogonal subspaces is derived and used to study summability of the Fourier orthogonal expansions.
It turned out that the partial sums $g_n(z) = \sum_{k=0}^n \frac{(a_1)_k ... (a_p)_k}{(b_1)_k ... (b_q)_k} \frac{z^k}{k!}$, of the generalized hypergeometric series ${}_p F_q(a_1,...,a_p; b_1,...,b_q;z)$, with parameters $a_j,b_l\in\mathbb{C}\backslash\{ 0,-1,-2,... \}$, are Sobolev orthogonal polynomials. The corresponding monic polynomials $G_n(z)$ are polynomials of $R_I$ type, and therefore they are related to biorthogonal rational functions. Polynomials $g_n$ possess a differential equation (in $z$), and a recurrence relation (in $n$). We study integral representations for $g_n$, and some…
In this paper we study modified kernel polynomials: $u_n(x) = \sum_{k=0}^n c_k g_k(x)$, depending on parameters $c_k>0$, where $\{ g_k \}_0^\infty$ are orthonormal polynomials on the real line. Besides kernel polynomials with $c_k = g_k(t_0)>0$, for example, $c_k$ may be chosen to be some other solutions of the corresponding second-order difference equation of $g_k$. It is shown that all these polynomials satisfy a $4$-th order recurrence relation. The cases with $g_k$ being Jacobi or Laguerre polynomials are of a special interest. Suitable choices of parameters $c_k$ imply $u_n$ to be Sobolev…
In this contribution we consider sequences of monic polynomials orthogonal with respect to a Sobolev-type inner product \[ \langle f,g \rangle _{S}:= \langle {\bf u}, f g\rangle +N (\mathscr D_q f)(α) (\mathscr D _{q}g)(α),\qquad α\in \mathbb R, \quad N\ge 0, \] where $\bf u$ is a $q$-classical linear functional and $\mathscr D _{q}$ is the $q$-derivative operator. We obtain some algebraic properties of these polynomials such as an explicit representation, a five-term recurrence relation as well as a second order linear $q$-difference holonomic equation fulfilled by such polynomials. We presen…
We introduce and develop a theory of orthogonality with respect to Sobolev inner products on the real line for sequences of functions with a tridiagonal, skew-Hermitian differentiation matrix. While a theory of such L2-orthogonal systems is well established, Sobolev orthogonality requires new concepts and their analysis. We characterise such systems completely as appropriately weighed Fourier transforms of orthogonal polynomials and present a number of illustrative examples, inclusive of a Sobolev-orthogonal system whose leading N coefficients can be computed in $\mathcal{O}(N \log N)$ operati…
Let $L_{q,μ}$, $1\leq q\leq\infty$, denotes the weighted $L_q$ space of functions on the unit ball $\Bbb B^d$ with respect to weight $(1-\|x\|_2^2)^{μ-\frac12},\,μ\ge 0$, and let $W_{2,μ}^r$ be the weighted Sobolev space on $\Bbb B^d$ with a Gaussian measure $ν$. We investigate the probabilistic linear $(n,δ)$-widths $λ_{n,δ}(W_{2,μ}^r,ν,L_{q,μ})$ and the $p$-average linear $n$-widths $λ_n^{(a)}(W_{2,μ}^r,μ,L_{q,μ})_p$, and obtain their asymptotic orders for all $1\le q\le \infty$ and $0<p<\infty$.
We consider the following discrete Sobolev inner product involving the Gegenbauer weight $$(f,g)_S:=\int_{-1}^1f(x)g(x)(1-x^2)^αdx+M\big[f^{(j)}(-1)g^{(j)}(-1)+f^{(j)}(1)g^{(j)}(1)\big],$$ where $α>-1,$ $j\in \mathbb{N}\cup \{0\},$ and $M>0.$ Let $\{Q_n^{(α,M,j)}\}_{n\geq0}$ be the sequence of orthogonal polynomials with respect to the above inner product. These polynomials are eigenfunctions of a differential operator $\mathbf{T}. $ We establish the asymptotic behavior of the corresponding eigenvalues. Furthermore, we calculate the exact value $$r_0 = \lim_{n\rightarrow \infty}\frac{\log \lef…
We obtain the asymptotic orders of entropy numbers of Sobolev classes on the unit sphere with Dunkl weight which associates with the finite reflection group. Moreover, the asymptotic order of entropy numbers of weighted Sobolev classes on the unit ball and on the standard simplex are discussed.
Let $μ_0$ and $μ_1$ be measures supported on an unbounded interval and $S_{n,λ_n}$ the extremal varying Sobolev polynomial which minimizes \begin{equation*} < P, P >_{λ_n}=\int P^2 dμ_0 + λ_n \int P'^2 dμ_1, \quad λ_n >0 \end{equation*} \noindent in the class of all monic polynomials of degree $n$. The goal of this paper is twofold. On one hand, we discuss how to balance both terms of this inner product, that is, how to choose a sequence $(λ_n)$ such that both measures $μ_0$ and $μ_1$ play a role in the asymptotics of $(S_{n, λ_n}).$ On the other, we apply such ideas to the case when both $μ_0…
Orthogonal polynomials of degree $n$ with respect to the weight function $W_μ(x) = (1-\|x\|^2)^μ$ on the unit ball in $\RR^d$ are known to satisfy the partial differential equation $$ [ Δ- \la x, \nabla \ra^2 - (2 μ+d) \la x, \nabla \ra \right ] P = -n(n+2 μ+d) P $$ for $μ> -1$. The singular case of $μ= -1,-2, ...$ is studied in this paper. Explicit polynomial solutions are constructed and the equation for $ν= -2,-3,...$ is shown to have complete polynomial solutions if the dimension $d$ is odd. The orthogonality of the solution is also discussed.
In this paper we consider sequences of polynomials orthogonal with respect to certain discrete Laguerre-Sobolev inner product, with two perturbations (involving derivatives) located inside the oscillatory region for the classical Laguerre polynomials. We focus our attention on the representation of these polynomials in terms of the classical Laguerre polynomials and deduce the coefficients of their corresponding five-term recurrence relation, as well as the asymptotic behavior of these coefficients when the degree of the polynomials tends to infinity. Also, the outer relative asymptotics of or…
Let $p\in(1,\infty)$ and $q\in[1,\infty)$. In this article, the authors characterize the Triebel-Lizorkin space ${F}^α_{p,q}(\mathbb{R}^n)$ with smoothness order $α\in(0,2)$ via the Lusin-area function and the $g_λ^*$-function in terms of difference between $f(x)$ and its average $B_tf(x):=\frac1{|B(x,t)|}\int_{B(x,t)}f(y)\,dy$ over a ball $B(x,t)$ centered at $x\in\mathbb{R}^n$ with radius $t\in(0,1)$. As an application, the authors obtain a series of characterizations of $F^α_{p,\infty}(\mathbb{R}^n)$ via pointwise inequalities, involving ball averages, in spirit close to Hajłasz gradients, …