Adjoint of a form with TrialFunction & LinearSolver for a form with Function instead

See: fem.Function vs ufl.TrialFunctions - #2 by dokken

It depends on what you want to achieve.
The third argument is what is inserted as the perturbation variable after differentiation.