Demonstration of Operator Algebras and Kron
Let M, D, F be matrix-based, diagonal-matrix-based, and function-based SciMLOperators respectively. Here are some examples of composing operators in order to build more complex objects and using their operations.
using SciMLOperators, LinearAlgebra
N = 4
function f(v, u, p, t)
u .* v
end
function f(w, v, u, p, t)
w .= u .* v
end
u = rand(4)
p = nothing # parameter struct
t = 0.0 # time
M = MatrixOperator(rand(N, N))
D = DiagonalOperator(rand(N))
F = FunctionOperator(f, zeros(N), zeros(N); u, p, t)FunctionOperator(4 × 4)Then, the following codes just work.
L1 = 2M + 3F + LinearAlgebra.I + rand(N, N)
L2 = D * F * M'
L3 = kron(M, D, F)
L4 = lu(M) \ D
L5 = [M; D]' * [M F; F D] * [F; D]((((MatrixOperator(4 × 4) * MatrixOperator(4 × 4)) + (DiagonalOperator(4 × 4) * FunctionOperator(4 × 4))) * FunctionOperator(4 × 4)) + (((MatrixOperator(4 × 4) * FunctionOperator(4 × 4)) + (DiagonalOperator(4 × 4) * DiagonalOperator(4 × 4))) * DiagonalOperator(4 × 4)))Each L# can be applied to AbstractVectors of appropriate sizes:
v = rand(N)
w = L1(v, u, p, t) # == L1 * v
v_kron = rand(N^3)
w_kron = L3(v_kron, u, p, t) # == L3 * v_kron64-element reshape(transpose(::Matrix{Float64}), 64) with eltype Float64:
0.15350456775199292
0.9175978114329402
0.3093282219407162
1.2058249762838262
0.06703603046528742
0.41147278500740064
0.08397080309748377
0.11378065621422805
0.16285845477283595
0.8264791836051948
⋮
0.14569148162182666
0.1487876353684251
0.9437993021486517
0.3482719910442455
0.638369275904897
0.07333424187061219
0.591791133538722
0.1600538473591074
0.320340119922766For mutating operator evaluations, call cache_operator to generate an in-place cache, so the operation is nonallocating.
α, β = rand(2)
# allocate cache
L2 = cache_operator(L2, u)
L4 = cache_operator(L4, u)
# allocation-free evaluation
L2(w, v, u, p, t) # == mul!(w, L2, v)
L4(w, v, u, p, t, α, β) # == mul!(w, L4, v, α, β)4-element Vector{Float64}:
-0.9149980113816095
-3.748857076903164
10.485077482226874
-3.9449263215911357