% SIAM Shared Information Template
% This is information that is shared between the main document and any
% supplement. If no supplement is required, then this information can
% be included directly in the main document.


% Packages and macros go here
\usepackage{lipsum}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{epstopdf}
\usepackage{algorithmic}
\ifpdf
  \DeclareGraphicsExtensions{.eps,.pdf,.png,.jpg}
\else
  \DeclareGraphicsExtensions{.eps}
\fi

\usepackage{bm}
\usepackage{extarrows}
\usepackage{stmaryrd}
\usepackage{amssymb}
\usepackage{tikz-cd}
\usepackage{relsize}%
%\usepackage[ruled,vlined]{algorithm2e}


% Add a serial/Oxford comma by default.
\newcommand{\creflastconjunction}{, and~}

% Used for creating new theorem and remark environments
\newsiamremark{remark}{Remark}
\newsiamremark{example}{Example}
\newsiamremark{hypothesis}{Hypothesis}
\crefname{hypothesis}{Hypothesis}{Hypotheses}
\newsiamthm{claim}{Claim}

% Sets running headers as well as PDF title and authors
%\headers{Equivalent Finite Difference for any lattice Boltzmann method}{T. Bellotti, B. Graille, and M. Massot}
\headers{Finite Difference formulation of any lattice Boltzmann scheme}{T. Bellotti, B. Graille, and M. Massot}

% Title. If the supplement option is on, then "Supplementary Material"
% is automatically inserted before the title.
%% First title we thought
%\title{Equivalent Finite Difference scheme for any lattice Boltzmann method via an algebraic characterization}
\title{Finite Difference formulation of any lattice Boltzmann scheme}

% Authors: full names plus addresses.
\author{Thomas Bellotti\thanks{CMAP, CNRS, \'Ecole polytechnique, Institut Polytechnique de Paris, 91128 Palaiseau Cedex, France. 
(\email{thomas.bellotti@polytechnique.edu}), (\email{marc.massot@polytechnique.edu}).} \and Benjamin Graille\thanks{Institut de Math\'ematique d'Orsay,  Universit\'e Paris-Saclay, 91405 Orsay Cedex, France. 
(\email{benjamin.graille@universite-paris-saclay.fr}).} \and Marc Massot\footnotemark[1]}

\usepackage{amsopn}
\DeclareMathOperator{\diag}{diag}

\usepackage{scalerel,stackengine}
\stackMath
\newcommand\reallywidehat[1]{%
\savestack{\tmpbox}{\stretchto{%
  \scaleto{%
    \scalerel*[\widthof{\ensuremath{#1}}]{\kern-.6pt\bigwedge\kern-.6pt}%
    {\rule[-\textheight/2]{1ex}{\textheight}}%WIDTH-LIMITED BIG WEDGE
  }{\textheight}% 
}{0.5ex}}%
\stackon[1pt]{#1}{\tmpbox}%
}

\newcommand{\commentThomas}[1]{\textcolor{red}{#1}}
\newcommand{\lbm}{lattice Boltzmann~}
\newcommand{\fd}{Finite Difference~}
\newcommand{\spatialdimensionality}{d}
\newcommand{\spacevariable}{x}
\newcommand{\freqvariable}{\xi}
\newcommand{\timevariable}{n}
\newcommand{\latticevelocity}{\lambda}
\newcommand{\spacestep}{\Delta x}
\newcommand{\timestep}{\Delta t}
\newcommand{\matricial}[1]{\bm{#1}}
\newcommand{\vectorial}[1]{\bm{#1}}
\newcommand{\reals}{\mathbb{R}}
\newcommand{\naturals}{\mathbb{N}}
\newcommand{\relatives}{\mathbb{Z}}
\newcommand{\complex}{\mathbb{C}}
\newcommand{\scaling}{\Sigma}
\newcommand{\definitionequality}{:=}
\newcommand{\velocityletter}{e}
\newcommand{\normalizedvelocityletter}{c}
\newcommand{\velocitynumber}{q}
\newcommand{\populationindex}{j}
\newcommand{\shiftoperator}[1]{T_{\spacestep}^{#1}}
%\newcommand{\shiftoperator}[1]{S_{\spacestep}^{#1}}
%\newcommand{\lattice}{\spacestep \relatives^{\spatialdimensionality}}
\newcommand{\lattice}{\mathcal{L}}
%\newcommand{\fourier}[1]{\reallywidehat{#1}}
\newcommand{\fourier}[1]{\hat{#1}}

\newcommand{\imag}{\imath}%
%\newcommand{\shiftoperatorfourier}[1]{\fourier{T}_{\spacestep}^{#1}}
\newcommand{\shiftoperatorfourier}[1]{\fourier{T}\vphantom{T}^{#1}_{\spacestep}}
%\newcommand{\shiftoperatorfourier}[1]{\fourier{S}_{\spacestep}^{#1}}
\newcommand{\momentsmatrix}{\matricial{M}}
\newcommand{\lineargroup}{\text{GL}}
\newcommand{\distributionletter}{f}
\newcommand{\momentletter}{m}
\newcommand{\collided}{\star}
\newcommand{\identity}{I}
\newcommand{\relaxationmatrix}{\matricial{S}}
\newcommand{\atequilibrium}{\text{eq}}
\newcommand{\matrixspace}{\mathcal{M}}
\newcommand{\rank}{\text{rank}}
\newcommand{\consmomentsnumber}{N}
\newcommand{\diagmatrix}{\text{diag}}
\newcommand{\relaxparletter}{s}
\newcommand{\nontrivialnumber}{Q}
\newcommand{\streammoments}{\matricial{T}}
\newcommand{\schememoments}{\matricial{A}}
\newcommand{\schemeequil}{\matricial{B}}
\newcommand{\matrixlinearequi}{\matricial{E}}
\newcommand{\setfinitedifferenceoperators}{\mathcal{D}^{\spatialdimensionality}_{\spacestep}}
\newcommand{\setfinitedifferenceoperatorsfourier}{\fourier{\mathcal{D}}\vphantom{\mathcal{D}}^{\spatialdimensionality}_{\spacestep}}
\newcommand{\sumoperators}{+}
\newcommand{\prodoperators}{\circ}
%\newcommand{\basicx}{x}
\newcommand{\basicx}{\mathsf{x}}
\newcommand{\basicy}{\mathsf{y}}
\newcommand{\basicz}{\mathsf{z}}
\newcommand{\determinant}{\text{det}}
\newcommand{\charactpolynomial}{\mathlarger{\mathlarger{\chi}}}
\newcommand{\minimalpolynomial}{\mu}
\newcommand{\minimalannpolynomial}{\nu}
\newcommand{\minimalannrowpolynomial}{\tilde{\minimalannpolynomial}}
\newcommand{\polynomialunknown}{X}
\newcommand{\degree}{\text{deg}}
\newcommand{\scheme}[2]{$\text{D}_{#1}\text{Q}_{#2}$}
\newcommand{\conj}[1]{\overline{#1}}
\newcommand{\avglink}{\mathsf{A}}
\newcommand{\difflink}{\mathsf{D}}
\newcommand{\coeffminimal}{\omega}
\newcommand{\coeffcharact}{\gamma}
\newcommand{\coeffannminimal}{\psi}
\newcommand{\matrixminannpol}{\matricial{V}}
\newcommand{\kernel}{\text{ker}}
\newcommand{\equilibriumrowvc}{\vectorial{e}}
\newcommand{\avgaxis}{\mathcal{A}_{\text{a}}}
\newcommand{\avgdiag}{\mathcal{A}_{\text{d}}}
\newcommand{\indicemoments}{i}
\newcommand{\indiceconserved}{\indicemoments}
\newcommand{\schememomentsother}{\matricial{A}^{\diamond}}
\newcommand{\slavemoments}[1]{\vectorial{\momentletter}_{\neg #1}}
\newcommand{\momentsslaverowvc}{\vectorial{\ell}}
\newcommand{\bigO}[1]{\mathcal{O}(#1)}
\newcommand{\integerinterval}[2]{\llbracket #1, #2 \rrbracket}
\newcommand{\averageaxis}{\mathsf{A}_{\text{a}}}
\newcommand{\averagediagonal}{\mathsf{A}_{\text{d}}}
\newcommand{\genericfunction}{f}
\newcommand{\coeffgenericfinitedifference}{\alpha}
\newcommand{\transpose}[1]{#1^{\intercal}}
\newcommand{\odevariable}{y}
\newcommand{\odeinitialdatum}{\hat{\odevariable}}
\newcommand{\numbercoupleslinkscheme}{W}
\newcommand{\symmetric}[1]{\text{Sym}(#1)}
\newcommand{\antisymmetric}[1]{\text{AntiSym}(#1)}
\newcommand{\linearequilvector}{\vectorial{\epsilon}}
\newcommand{\canonicalbasisvector}{\vectorial{e}}
\newcommand{\adjugate}{\text{adj}}
\newcommand{\genericcommutativering}{\mathcal{R}}
\newcommand{\ellpspace}[1]{L^{#1}}
\newcommand{\elltwospace}{\ellpspace{2}}
\newcommand{\suppmat}{Supplementary Material}
\newcommand{\amplificationpolynomial}{\Phi}
\newcommand{\coeffamplificationpoly}{\varphi}
\newcommand{\rootamplificationpoly}{g}
\newcommand{\groupunitsshiftoperators}{\mathcal{T}^{\spatialdimensionality}_{\spacestep}}
\newcommand{\groupunitsshiftoperatorsfourier}{\fourier{\mathcal{T}}\vphantom{\mathcal{T}}^{\spatialdimensionality}_{\spacestep}}
\newcommand{\genericunit}{\mathsf{T}}
\newcommand{\genericfinitedifference}{\mathsf{D}}
\newcommand{\generatorset}[1]{\langle #1 \rangle}
\newcommand{\genericnonzerooperatorone}{\bigstar}
\newcommand{\genericnonzerooperatortwo}{\blacktriangle}
\newcommand{\truncationmatrixmoment}{\matricial{C}}
\newcommand{\truncationmatrixmomentsslave}{\matricial{D}}
\newcommand{\cutmatrix}[3]{#1|_{[#2, #3]}}
\newcommand{\cutmatrixtrimmed}[3]{#1 [#2, #3]}
\newcommand{\setoflines}{I}
\newcommand{\setofcolumns}{J}
\newcommand{\indiceslines}{i}
\newcommand{\indicescolumns}{j}
\newcommand{\genericmatrix}{\matricial{C}}
\newcommand{\genericmatrixtwo}{\matricial{D}}
\newcommand{\setcardinality}[1]{|#1|}
\newcommand{\indicetimeshift}{k}
\newcommand{\indicepolynomials}{\indicetimeshift}
\newcommand{\firstcolumnequilibriummatrix}{\vectorial{b}_1}
\newcommand{\oforder}{\sim}
\newcommand{\thup}[1]{#1$^{\text{th}}$}
\newcommand{\cutmatrixsquare}[2]{#1_{#2}}
\newcommand{\cutmatrixsquaretrimmed}[2]{#1[#2]}
\newcommand{\fouriertransformletter}{\mathcal{F}}
\newcommand{\fouriertransform}[1]{\fouriertransformletter[#1]}
\newcommand{\spectrum}[1]{\sigma(#1)}
\newcommand{\cfl}{\mathtt{C}}
\newcommand{\foueriernumber}{\mathtt{D}}
\newcommand{\evaluationOperator}{\mathcal{E}}
\newcommand{\coscomp}{\gamma}
\newcommand{\fdvariable}{u}

\newcommand{\timeshiftoperator}{\tau}
\newcommand{\schememomentsplustime}{\schememoments_{\timeshiftoperator}}
\newcommand{\coeffcharactplustime}{\coeffcharact^{\timeshiftoperator}}
\newcommand{\schememomentsplustimeseveral}[1]{\schememoments_{\timeshiftoperator, #1}}

%%% Local Variables: 
%%% mode:latex
%%% TeX-master: "ex_article"
%%% End: 
