% This file ``lxsample.tex''is a sample \LaTeX (2.09) file
% for papers in the Proceedings "TM \& SF, Varna'96"
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle[12pt]{article}
\textwidth15cm
\textheight22.6cm
\voffset=-1.9cm
\hoffset=-1.3cm
\baselineskip=18pt
\parindent=18pt
\parskip=3pt plus 2pt minus 3pt
\pagestyle{empty}
% ------------- macro \fnote for acknowledgements footnote
\catcode`@=11     %to allow use of @ as a letter; reset at the end
\font\fnotefont=cmr10 scaled 1200
\def\fnote#1#2{\let\@sf\empty % parameter #2 (the text) is read later
  \ifhmode\edef\@sf{\spacefactor=\the\spacefactor}\/\fi
  {$\,^{#1}$}\@sf\vfootnote{#1}{#2}}
\def\vfootnote#1#2{\insert\footins\bgroup
  \interlinepenalty\interfootnotelinepenalty
  \splittopskip=\ht\strutbox % top baseline for broken footnotes
  \splitmaxdepth=\dp\strutbox \floatingpenalty=20000
  \ifdim\lastskip<2truept \removelastskip\vskip 2truept\fi
  \leftskip=\parindent \rightskip=0pt \spaceskip=0pt \xspaceskip=0pt
  \baselineskip=11pt\parindent=0pt\fnotefont
  \textindent{$\,^{#1}$}#2 \footstrut\vskip 3truept \egroup}
\def\footstrut{\vbox to\splittopskip{}}
% ----------- layout definitions (titles, theorems, proofs etc)
% use macro \title to make sections' titles
% like this: \title{\centerline{1. Introduction}}
\def\title#1\par{\vskip 18pt
                 {\bf #1}
                 \vskip 12pt}
% use macros \proposition for making theorems, lemmas, etc.
% example: \theorem{2.1} Each multiple....
% gives: \par...\bigskip {\sc Theorem 2.1.}\enspace {\sl Each ...}
\long\outer\def\proposition#1 #2 \par{\medbreak\bigskip
    {{\sc Proposition #1.}\enspace {\sl #2}}\par
}
\long\outer\def\theorem#1 #2 \par{\medbreak\bigskip
    {{\sc Theorem #1.}\enspace {\sl #2}}\par
}
\outer\def\lemma#1 #2\par{\medbreak\bigskip
    {{\sc Lemma #1.}\enspace {\sl #2}}\par
}
\outer\def\corollary#1 #2 \par{\medbreak\bigskip
    {{\sc Corollary #1.}\enspace {\sl #2}}\par
}
% use macros \definition, \example to get:
% \bigskip {\sc Definition 1.2.}\enspace Let $m\ge1$ be...
\long\outer\def\definition#1{\medbreak\bigskip
    {\sc Definition #1.}\enspace
}
\long\outer\def\example#1{\medbreak\bigskip
    {\sc Example #1.}\enspace
}
% macro \proof
\outer\def\proof{ P r o o f.\enspace}
% --------- specific font for the heading

\font\head=cmbx10 scaled 1728  % i.e. \magstep3

% ========== END OF DEFINITIONS ===============================
% It follows a part of a sample paper ...
% Attention: Some of the equations ans paragraphs here are surrounded
% by \vskip-*pt, \vskip-*pt to get negative vertical breaks
% ONLY in order to shorten the present sample to two output pages.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}

% the macro below is to make heading ``TM \& SF, Varna'96''...
\vbox to 4.5cm {
{\bf
{\head
  \centerline{Transform Methods \& Special Functions, Varna'96}
  \centerline{}
}
\centerline{Proceedings of Second International Workshop, 23 - 30
August 1996}
\centerline{}
\vskip 5mm
\hrule
}
\vfill
}

% If you have problems with above macro for the heading,
% omit it and produce an empty space of 4.5 cm for the heading
% by the next line command:
%\vbox to 4.5cm {}

{\bf
\centerline{GENERALIZED FRACTIONAL CALCULUS,}
\vskip 6pt
\centerline{SPECIAL FUNCTIONS AND INTEGRAL TRANSFORMS}
}

\vskip 18pt

\centerline{V. S. Kiryakova$^*$}

\fnote {} {$^*$ Partially supported by the Ministry of Science
and Education under Project MM 433$\slash$94.}

\title{
\centerline{Abstract}
}

In this survey paper we review the main ideas, results and
applications of a {\it generalized fractional calculus\/} developed
in the author's monograph [16]. This generalization of the classical
fractional calculus is based on the {\it essential use of the special
functions (Meijer's $G$- and $H$-functions)} as kernel-functions ...

\vskip 6pt

{\it Mathematics Subject Classification}: 26A33 (main), 33C, 44

{\it Key Words and Phrases}: fractional calculus,
Meijer's $G$- and Fox's $H$-functions

\vskip 6pt
\title{
\centerline{1. Introduction}
}

The generalized fractional calculus presented here is based
on the notion of {\it generalized operators of fractional
integration\/} of Riemann-Liouville and Weyl type
\vskip -22pt
$$
I f(x) = x^{\delta} \int \limits _0^1 \Phi (\sigma) \sigma^{\gamma}
f(x\sigma) d\sigma\ \ ;\ \ W f(x) = x^{\delta} \int \limits_1^{\infty}
\Phi({\frac 1 {\sigma}}) \sigma^{- \gamma -1} f(x\sigma) d\sigma
\eqno{(1.1)}
$$
\vskip -12pt
\noindent
(Kalla [11]), where $\Phi (\sigma)$ is an arbitrary
elementary or special kernel-function ...

\vskip -6pt

\definition{1.1} (see ...) By a {\it Meijer's $G$-function \/}
we mean the generalized hypergeometric function defined by means
of the contour integral
\vskip -16pt
$$
G_{p,q}^{m,n} \left[ \sigma \left|
\begin{array} {c}
(a_k)_1^p \\ (b_k)_1^q \\ \end{array}
\right.\right] = \frac 1{2\pi i} \int\limits_{\cal{L}}
\frac {\prod_{k=1}^m \Gamma(b_k-s)
\prod_{j=1}^n \Gamma\left(1-a_j+s\right)}
{\prod_{k=m+1}^q \Gamma(1-b_k+s)
\prod_{j=n+1}^p \Gamma\left(a_j-s\right)} \sigma^s \, ds ,
\eqno{(1.2)}
$$
\vskip -14pt \noindent
where ....

\vskip -6pt

\definition{1.2} Let $m \ge  1$ be integer, $\beta > 0,
\gamma_1,...,\gamma_m$ and $\delta_1 \ge 0,...,\delta_m \ge 0$
be arbitrary real numbers. By  a {\it generalized
(multiple) Erd\'elyi-Kober operator of integration\/}
of multiorder $\delta = (\delta_1,...,\delta_m)$
we mean an integral operator
\vskip -17pt
$$
I_{\beta,m}^{(\gamma_k),(\delta_k)} f(x) = \int\limits_0^1
G_{m,m}^{m,0} \left[ \sigma \left|
\begin{array} {c}
(\gamma_k+\delta_k)_1^m \\ (\gamma_k)_1^m \\
\end{array}
\right.\right] f(x\sigma^{\frac 1 {\beta}}) \, d\sigma.
\eqno{(1.6)}
$$
\vskip -15pt \noindent
Then, ....

\title{
\centerline{2. Basic results of the generalized fractional calculus}
}

The main {\it functional spaces} ....

\vskip -18pt

\theorem{2.1} Each multiple E.-K. fractional integral (1.6)
preserves the power functions in $C_{\alpha}, \alpha \ge
\max\limits_k \left[-\beta\left(\gamma_k + 1\right)\right]$
up to a constant multiplier:
\vskip -24pt
$$
I_{\left(\beta_k\right), m}^{\left(\gamma_k\right), \left(\delta_k\right)}
\left\{x^p\right\} = c_p x^p,\
p > \alpha, \quad  {\rm where\ } c_p = \prod\limits_{k=1}^m
{\frac {\Gamma \left(\gamma_k + {\frac p {\beta_k}} + 1\right)}
{\Gamma \left(\gamma_k + \delta_k + {\frac p {\beta_k}} + 1\right)}}
\eqno{(2.1)}
$$
\vskip -15pt  \noindent
and it is an invertible mapping
$
I_{\left(\beta_k\right), m}^{\left(\gamma_k\right), \left(\delta_k\right)}:
C_{\alpha} \longrightarrow C_{\alpha}^{\left(\eta_1 + \dots + \eta_m\right)}
\subset C_{\alpha}
$ ...

\proof First we verify the correctness of ....

\title{
\centerline{3. Applications to the generalized hypergeometric functions}
\centerline{and Laplace type integral transforms}
}

\vskip -6pt
.......
\vskip -22pt

\corollary{3.5}
Let all the differences $a_k - b_k = \eta_k, k=1,\dots,p$ be
nonnegative integers. Then, the differintegral operator in (3.15)
turns into a differential operator $D_{\eta}$ of integer order
$\eta = \eta_1 + \dots + \eta_k \ge 0$ and of form (1.12), namely:
\vskip -18pt
$$
_pF_p \left(b_1 + \eta_1, \dots, b_p + \eta_p;
b_1, \dots, b_p; x \right)
= Q_p (x) \left\{ \exp x\right\}.
\eqno{(3.18)}
$$
\vskip -6pt

Differential representation (3.18) gives an example how differential
formulas for the ``spherical'' g.h.f-s introduced in [16] can be
used for explicit calculation ...

\vskip -18pt

\example{3.8} In particular, for $m = \beta = 2$,
$\gamma_{1,2} = \pm {\frac {\nu} 2}$  ...


\title{
\centerline{References}
}

\leftskip 2pc
\parindent -2pc

% example for article
[15] \ {\hbox {V. S. K i r y a k o v a}}, Poisson and Rodrigues
type differential formulas for the $_pF_q$-functions. {\it Atti
Sem. Mat. Fis. Univ. Modena} {\bf 39} (1990), 311-322.

% example for book
[16] \ {\hbox{V. S. K i r y a k o v a}}, \ \
{\it Generalized Fractional Calculus and Applications}. \
Longman, Harlow (1994).

\vskip 1.5cm

$^{*}$) {\it address follows in 2-3 lines ... }

%example:

% $^{*}$) {\it Institute of Mathematics, Bulgarian Academy of Sciences}

% {\it 1090 Sofia -- BULGARIA}

% {\it e-mail: virginia@math.acad.bg}

\end{document}
%================ END OF FILE ``lxsample.tex''==============